alinea/dist/core/Infer.d.ts

Headless git-based CMS

import type { Expand, UnionOfValues } from 'alinea/core/util/Types';
import type { EntryFields } from './EntryFields.js';
import type { Expr } from './Expr.js';
import type { Field } from './Field.js';
import type { InferProjection } from './Graph.js';
import type { ListRow } from './shape/ListShape.js';
import type { Type } from './Type.js';
type QueryList<T> = Expand<UnionOfValues<{
    [K in keyof T]: {
        _type: K;
    } & Type.Infer<T[K]>;
}>>;
export type InferQueryValue<T> = T extends Array<Type<infer X>> ? InferQueryValue<X> : T extends Type<infer Fields> ? Type.Infer<Fields> : T extends Expr<infer QueryValue> ? QueryValue : T extends Record<string, Type> ? QueryList<T> : InferProjection<T>;
type StoredList<T> = Expand<UnionOfValues<{
    [K in keyof T]: {
        _type: K;
    } & StoredRow<T[K]>;
}>>;
export type StoredRow<Definition> = {
    [K in keyof Definition as Definition[K] extends Field<any> ? K : never]: Definition[K] extends Field<infer T> ? T : never;
};
export type InferStoredValue<T> = T extends Type<infer Fields> ? StoredRow<Fields> : T extends Field<infer StoredValue> ? StoredValue : T extends Record<string, Type> ? StoredList<T> : {};
export type Infer<T> = InferQueryValue<T>;
export declare namespace Infer {
    type Entry<T extends Type, TypeName extends string = string> = InferQueryValue<T> & Omit<EntryFields, '_type'> & {
        _type: TypeName;
    };
    type ListItem<T extends Type, TypeName extends string = string> = InferQueryValue<T> & Omit<ListRow, '_type'> & {
        _type: TypeName;
    };
}
export {};