electrodb 1.8.4 → 1.10.1

package/index.d.ts

@@ -1,1551 +1,3 @@
-type Flatten<T> = T extends any[]
-  ? T
-  : T extends object
-    ? {[Key in keyof T]: Flatten<T[Key]>}
-    : T;
-
-declare const WhereSymbol: unique symbol;
-declare const UpdateDataSymbol: unique symbol;
-
-export interface ElectroError extends Error {
-    readonly name: 'ElectroError';
-    readonly code: number;
-    readonly date: number;
-    readonly isElectroError: boolean;
-    ref: {
-        readonly code: number;
-        readonly section: string;
-        readonly name: string;
-        readonly sym: unique symbol;
-    }
-}
-
-interface ElectroValidationErrorFieldReference<T extends Error = Error> {
-    /**
-     * The json path to the attribute that had a validation error
-     */
-    readonly field: string;
-
-    /**
-     * A description of the validation error for that attribute
-     */
-    readonly reason: string;
-
-    /**
-     * Index of the value passed (present only in List attribute validation errors)
-     */
-    readonly index: number | undefined;
-
-    /**
-     * The error thrown from the attribute's validate callback (if applicable)
-     */
-    readonly cause: T | undefined;
-}
-
-export interface ElectroValidationError<T extends Error = Error> extends ElectroError {
-    readonly fields: ReadonlyArray<ElectroValidationErrorFieldReference<T>>;
-}
-
-interface ReadOnlyAttribute {
-    readonly readOnly: true;
-}
-
-interface RequiredAttribute {
-    readonly required: true;
-}
-
-interface HiddenAttribute {
-    readonly hidden: true;
-}
-
-interface DefaultedAttribute {
-    readonly default: any;
-}
-
-type NestedBooleanAttribute = {
-    readonly type: "boolean";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: boolean, item: any) => boolean | undefined | void;
-    readonly set?: (val?: boolean, item?: any) => boolean | undefined | void;
-    readonly default?: boolean | (() => boolean);
-    readonly validate?: ((val: boolean) => boolean) | ((val: boolean) => void) | ((val: boolean) => string | void);
-    readonly field?: string;
-}
-
-type BooleanAttribute = {
-    readonly type: "boolean";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: boolean, item: any) => boolean | undefined | void;
-    readonly set?: (val?: boolean, item?: any) => boolean | undefined | void;
-    readonly default?: boolean | (() => boolean);
-    readonly validate?: ((val: boolean) => boolean) | ((val: boolean) => void) | ((val: boolean) => string | void);
-    readonly field?: string;
-    readonly label?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedNumberAttribute = {
-    readonly type: "number";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: number, item: any) => number | undefined | void;
-    readonly set?: (val?: number, item?: any) => number | undefined | void;
-    readonly default?: number | (() => number);
-    readonly validate?: ((val: number) => boolean) | ((val: number) => void) | ((val: number) => string | void);
-    readonly field?: string;
-}
-
-type NumberAttribute = {
-    readonly type: "number";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: number, item: any) => number | undefined | void;
-    readonly set?: (val?: number, item?: any) => number | undefined | void;
-    readonly default?: number | (() => number);
-    readonly validate?: ((val: number) => boolean) | ((val: number) => void) | ((val: number) => string | void);
-    readonly field?: string;
-    readonly label?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedStringAttribute = {
-    readonly type: "string";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: string, item: any) => string | undefined | void;
-    readonly set?: (val?: string, item?: any) => string | undefined | void;
-    readonly default?: string | (() => string);
-    readonly validate?: ((val: string) => boolean) | ((val: string) => void) | ((val: string) => string | void) | RegExp;
-    readonly field?: string;
-}
-
-type StringAttribute = {
-    readonly type: "string";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: string, item: any) => string | undefined | void;
-    readonly set?: (val?: string, item?: any) => string | undefined | void;
-    readonly default?: string | (() => string);
-    readonly validate?: ((val: string) => boolean) | ((val: string) => void) | ((val: string) => string | void) | RegExp;
-    readonly field?: string;
-    readonly label?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedEnumAttribute = {
-    readonly type: ReadonlyArray<string>;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: any, item: any) => any | undefined | void;
-    readonly set?: (val?: any, item?: any) => any | undefined | void;
-    readonly default?: string | (() => string);
-    readonly validate?: ((val: any) => boolean) | ((val: any) => void) | ((val: any) => string | void);
-    readonly field?: string;
-    readonly label?: string;
-}
-
-
-type EnumAttribute = {
-    readonly type: ReadonlyArray<string>;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: any, item: any) => any | undefined | void;
-    readonly set?: (val?: any, item?: any) => any | undefined | void;
-    readonly default?: string | (() => string);
-    readonly validate?: ((val: any) => boolean) | ((val: any) => void) | ((val: any) => string | void);
-    readonly field?: string;
-    readonly label?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedAnyAttribute = {
-    readonly type: "any";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: any, item: any) => any | undefined | void;
-    readonly set?: (val?: any, item?: any) => any | undefined | void;
-    readonly default?: any | (() => any);
-    readonly validate?: ((val: any) => boolean) | ((val: any) => void) | ((val: any) => string | void);
-    readonly field?: string;
-}
-
-type AnyAttribute = {
-    readonly type: "any";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: any, item: any) => any | undefined | void;
-    readonly set?: (val?: any, item?: any) => any | undefined | void;
-    readonly default?: any | (() => any);
-    readonly validate?: ((val: any) => boolean) | ((val: any) => void) | ((val: any) => string | void);
-    readonly field?: string;
-    readonly label?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedMapAttribute = {
-    readonly type: "map";
-    readonly properties: {
-        readonly [name: string]: NestedAttributes;
-    };
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Record<string, any>, item: any) => Record<string, any> | undefined | void;
-    readonly set?: (val?: Record<string, any>, item?: any) => Record<string, any> | undefined | void;
-    readonly default?: Record<string, any> | (() => Record<string, any>);
-    readonly validate?: ((val: Record<string, any>) => boolean) | ((val: Record<string, any>) => void) | ((val: Record<string, any>) => string | void);
-    readonly field?: string;
-}
-
-type MapAttribute = {
-    readonly type: "map";
-    readonly properties: {
-        readonly [name: string]: NestedAttributes;
-    };
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Record<string, any>, item: any) => Record<string, any> | undefined | void;
-    readonly set?: (val?: Record<string, any>, item?: any) => Record<string, any> | undefined | void;
-    readonly default?: Record<string, any> | (() => Record<string, any>);
-    readonly validate?: ((val: Record<string, any>) => boolean) | ((val: Record<string, any>) => void) | ((val: Record<string, any>) => string | void);
-    readonly field?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedStringListAttribute = {
-    readonly type: "list";
-    readonly items: {
-        readonly type: "string";
-        readonly required?: boolean;
-        readonly hidden?: boolean;
-        readonly readOnly?: boolean;
-        readonly get?: (val: string, item: any) => string | undefined | void;
-        readonly set?: (val?: string, item?: any) => string | undefined | void;
-        readonly default?: string | (() => string);
-        readonly validate?: ((val: string) => boolean) | ((val: string) => void) | ((val: string) => string | void) | RegExp;
-        readonly field?: string;
-    };
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<string>, item: any) => Array<string> | undefined | void;
-    readonly set?: (val?: Array<string>, item?: any) => Array<string> | undefined | void;
-    readonly default?: Array<string> | (() => Array<string>);
-    readonly validate?: ((val: Array<string>) => boolean) | ((val: Array<string>) => void) | ((val: Array<string>) => string | void);
-}
-
-type StringListAttribute = {
-    readonly type: "list";
-    readonly items: {
-        readonly type: "string";
-        readonly required?: boolean;
-        readonly hidden?: boolean;
-        readonly readOnly?: boolean;
-        readonly get?: (val: string, item: any) => string | undefined | void;
-        readonly set?: (val?: string, item?: any) => string | undefined | void;
-        readonly default?: string | (() => string);
-        readonly validate?: ((val: string) => boolean) | ((val: string) => void) | ((val: string) => string | void) | RegExp;
-        readonly field?: string;
-    }
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<string>, item: any) => Array<string> | undefined | void;
-    readonly set?: (val?: Array<string>, item?: any) => Array<string> | undefined | void;
-    readonly default?: Array<string> | (() => Array<string>);
-    readonly validate?: ((val: Array<string>) => boolean) | ((val: Array<string>) => void) | ((val: Array<string>) => string | void);
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedNumberListAttribute = {
-    readonly type: "list";
-    readonly items: NestedNumberAttribute;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<number>, item: any) => Array<number> | undefined | void;
-    readonly set?: (val?: Array<number>, item?: any) => Array<number> | undefined | void;
-    readonly default?: Array<number> | (() => Array<number>);
-    readonly validate?: ((val: Array<number>) => boolean) | ((val: Array<number>) => void) | ((val: Array<number>) => string | void);
-    readonly field?: string;
-}
-
-type NumberListAttribute = {
-    readonly type: "list";
-    readonly items: NestedNumberAttribute;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<number>, item: any) => Array<number> | undefined | void;
-    readonly set?: (val?: Array<number>, item?: any) => Array<number> | undefined | void;
-    readonly default?: Array<number> | (() => Array<number>);
-    readonly validate?: ((val: Array<number>) => boolean) | ((val: Array<number>) => void) | ((val: Array<number>) => string | void);
-    readonly field?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedMapListAttribute = {
-    readonly type: "list";
-    readonly items: NestedMapAttribute;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Record<string, any>[], item: any) => Record<string, any>[] | undefined | void;
-    readonly set?: (val?: Record<string, any>[], item?: any) => Record<string, any>[] | undefined | void;
-    readonly default?: Record<string, any>[] | (() => Record<string, any>[]);
-    readonly validate?: ((val: Record<string, any>[]) => boolean) | ((val: Record<string, any>[]) => void) | ((val: Record<string, any>[]) => string | void);
-    readonly field?: string;
-}
-
-type MapListAttribute = {
-    readonly type: "list";
-    readonly items: NestedMapAttribute;
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Record<string, any>[], item: any) => Record<string, any>[] | undefined | void;
-    readonly set?: (val?: Record<string, any>[], item?: any) => Record<string, any>[] | undefined | void;
-    readonly default?: Record<string, any>[] | (() => Record<string, any>[]);
-    readonly validate?: ((val: Record<string, any>[]) => boolean) | ((val: Record<string, any>[]) => void) | ((val: Record<string, any>[]) => string | void);
-    readonly field?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedStringSetAttribute = {
-    readonly type: "set";
-    readonly items: "string";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<string>, item: any) => Array<string> | undefined | void;
-    readonly set?: (val?: Array<string>, item?: any) => Array<string> | undefined | void;
-    readonly default?: Array<string> | (() => Array<string>);
-    readonly validate?: ((val: Array<string>) => boolean) | ((val: Array<string>) => void) | ((val: Array<string>) => string | void) | RegExp;
-    readonly field?: string;
-}
-
-type StringSetAttribute = {
-    readonly type: "set";
-    readonly items: "string";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<string>, item: any) => Array<string> | undefined | void;
-    readonly set?: (val?: Array<string>, item?: any) => Array<string> | undefined | void;
-    readonly default?: Array<string> | (() => Array<string>);
-    readonly validate?: ((val: Array<string>) => boolean) | ((val: Array<string>) => void) | ((val: Array<string>) => string | void) | RegExp;
-    readonly field?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type NestedNumberSetAttribute = {
-    readonly type: "set";
-    readonly items: "number";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<number>, item: any) => Array<number> | undefined | void;
-    readonly set?: (val?: Array<number>, item?: any) => Array<number> | undefined | void;
-    readonly default?: Array<number> | (() => Array<number>);
-    readonly validate?: ((val: Array<number>) => boolean) | ((val: Array<number>) => void) | ((val: Array<number>) => string | void);
-    readonly field?: string;
-}
-
-type NumberSetAttribute = {
-    readonly type: "set";
-    readonly items: "number";
-    readonly required?: boolean;
-    readonly hidden?: boolean;
-    readonly readOnly?: boolean;
-    readonly get?: (val: Array<number>, item: any) => Array<number> | undefined | void;
-    readonly set?: (val?: Array<number>, item?: any) => Array<number> | undefined | void;
-    readonly default?: Array<number> | (() => Array<number>);
-    readonly validate?: ((val: Array<number>) => boolean) | ((val: Array<number>) => void) | ((val: Array<number>) => string | void);
-    readonly field?: string;
-    readonly watch?: ReadonlyArray<string> | "*";
-}
-
-type Attribute =
-    BooleanAttribute
-    | NumberAttribute
-    | StringAttribute
-    | EnumAttribute
-    | AnyAttribute
-    | MapAttribute
-    | StringSetAttribute
-    | NumberSetAttribute
-    | StringListAttribute
-    | NumberListAttribute
-    | MapListAttribute;
-
-type NestedAttributes =
-    NestedBooleanAttribute
-    | NestedNumberAttribute
-    | NestedStringAttribute
-    | NestedAnyAttribute
-    | NestedMapAttribute
-    | NestedStringListAttribute
-    | NestedNumberListAttribute
-    | NestedMapListAttribute
-    | NestedStringSetAttribute
-    | NestedNumberSetAttribute
-    | NestedEnumAttribute
-
-type Attributes<A extends string> = {
-    readonly [a in A]: Attribute
-}
-
-type SecondaryIndex = {
-    readonly index: string;
-    readonly pk: {
-        readonly field: string;
-        readonly composite: ReadonlyArray<string>;
-        readonly template?: string;
-    }
-    readonly sk?: {
-        readonly field: string;
-        readonly composite: ReadonlyArray<string>;
-        readonly template?: string;
-    }
-}
-
-type IndexWithSortKey = {
-    readonly sk: {
-        readonly field: string;
-        readonly composite: ReadonlyArray<string>;
-        readonly template?: string;
-    }
-}
-
-type AccessPatternCollection<C extends string> = C | ReadonlyArray<C>;
-
-type Schema<A extends string, F extends A, C extends string> = {
-    readonly model: {
-        readonly entity: string;
-        readonly service: string;
-        readonly version: string;
-    }
-    readonly attributes: {
-        readonly [a in A]: Attribute
-    };
-    readonly indexes: {
-        [accessPattern: string]: {
-            readonly index?: string;
-            readonly collection?: C | ReadonlyArray<C>;
-            readonly pk: {
-                readonly casing?: "upper" | "lower" | "none" | "default";
-                readonly field: string;
-                readonly composite: ReadonlyArray<F>;
-                readonly template?: string;
-            }
-            readonly sk?: {
-                readonly casing?: "upper" | "lower" | "none" | "default";
-                readonly field: string;
-                readonly composite: ReadonlyArray<F>;
-                readonly template?: string;
-            }
-        }
-    }
-};
-
-type IndexCollections<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [i in keyof S["indexes"]]: S["indexes"][i]["collection"] extends
-        AccessPatternCollection<infer Name>
-            ? Name
-            : never
-}[keyof S["indexes"]];
-
-type EntityCollections<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [N in IndexCollections<A,F,C,S>]: {
-        [i in keyof S["indexes"]]: S["indexes"][i]["collection"] extends AccessPatternCollection<infer Name>
-            ? Name extends N
-                ? i
-                : never
-            : never
-    }[keyof S["indexes"]];
-}
-
-type ItemAttribute<A extends Attribute> =
-    A["type"] extends infer R
-        ? R extends "string" ? string
-        : R extends "number" ? number
-            : R extends "boolean" ? boolean
-                : R extends ReadonlyArray<infer E> ? E
-                    : R extends "map"
-                        ? "properties" extends keyof A
-                            ? {
-                                [P in keyof A["properties"]]:
-                                A["properties"][P] extends infer M
-                                    ? M extends Attribute
-                                        ? ItemAttribute<M>
-                                        : never
-                                    : never
-                            }
-                            : never
-                        : R extends "list"
-                            ? "items" extends keyof A
-                                ? A["items"] extends infer I
-                                    ? I extends Attribute
-                                        ? Array<ItemAttribute<I>>
-                                        : never
-                                    : never
-                                : never
-                            : R extends "set"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends "string" ? string[]
-                                            : I extends "number" ? number[]
-                                                : never
-                                        : never
-                                    : never
-                                : R extends "any" ? any
-                                    : never
-        : never
-
-type ReturnedAttribute<A extends Attribute> =
-    A extends HiddenAttribute ? never
-        : A["type"] extends infer R
-        ? R extends "string" ? string
-        : R extends "number" ? number
-            : R extends "boolean" ? boolean
-                : R extends ReadonlyArray<infer E> ? E
-                    : R extends "map"
-                        ? "properties" extends keyof A
-                            ?
-                            TrimmedAttributes<{
-                                [P in keyof A["properties"]]: A["properties"][P] extends infer M
-                                    ? M extends Attribute
-                                        ? M extends RequiredAttribute | DefaultedAttribute
-                                            ? ReturnedAttribute<M>
-                                            : ReturnedAttribute<M> | undefined
-                                        : never
-                                    : never
-                            }>
-                            : never
-                        : R extends "list"
-                            ? "items" extends keyof A
-                                ? A["items"] extends infer I
-                                    ? I extends Attribute
-                                        ? ReturnedAttribute<I>[]
-                                        : never
-                                    : never
-                                : never
-                            : R extends "set"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends "string" ? string[]
-                                            : I extends "number" ? number[]
-                                                : never
-                                        : never
-                                    : never
-                                : R extends "any" ? any
-                                    : never
-        : never
-
-type UndefinedKeys<T> = {
-    [P in keyof T]: undefined extends T[P] ? P: never
-}[keyof T]
-
-type TrimmedAttributes<A extends Attributes<any>> =
-    Partial<Pick<A, UndefinedKeys<A>>> & Omit<A, UndefinedKeys<A>>
-
-type CreatedAttribute<A extends Attribute> =
-    A["type"] extends infer R
-    ? R extends "string" ? string
-        : R extends "number" ? number
-            : R extends "boolean" ? boolean
-                : R extends ReadonlyArray<infer E> ? E
-                    : R extends "map"
-                        ? "properties" extends keyof A
-                            ? TrimmedAttributes<{
-                                [P in keyof A["properties"]]: A["properties"][P] extends infer M
-                                    ? M extends Attribute
-                                        ? M extends DefaultedAttribute
-                                            ? CreatedAttribute<M> | undefined
-                                            : M extends RequiredAttribute
-                                                ? CreatedAttribute<M>
-                                                : CreatedAttribute<M> | undefined
-                                        : never
-                                : never
-                            }>
-                            : never
-                        : R extends "list"
-                            ? "items" extends keyof A
-                                ? A["items"] extends infer I
-                                    ? I extends Attribute
-                                        ? CreatedAttribute<I>[]
-                                        : never
-                                    : never
-                                : never
-                            : R extends "set"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends "string" ? string[]
-                                            : I extends "number" ? number[]
-                                                : never
-                                        : never
-                                    : never
-                                : R extends "any" ? any
-                                    : never
-    : never
-
-type ReturnedItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>,Attr extends S["attributes"]> = {
-    [a in keyof Attr]: ReturnedAttribute<Attr[a]>
-}
-
-type CreatedItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>,Attr extends S["attributes"]> = {
-    [a in keyof Attr]: CreatedAttribute<Attr[a]>
-}
-
-type EditableItemAttribute<A extends Attribute> =
-    A extends ReadOnlyAttribute
-        ? never
-        : A["type"] extends infer R
-            ? R extends "string" ? string
-            : R extends "number" ? number
-                : R extends "boolean" ? boolean
-                    : R extends ReadonlyArray<infer E> ? E
-                        : R extends "map"
-                            ? "properties" extends keyof A
-                                ? TrimmedAttributes<{
-                                    [P in keyof A["properties"]]:
-                                    A["properties"][P] extends infer M
-                                        ? M extends Attribute
-                                            ? EditableItemAttribute<M>
-                                            : never
-                                        : never
-                                }>
-                                : never
-                            : R extends "list"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends Attribute
-                                            ? Array<EditableItemAttribute<I>>
-                                            : never
-                                        : never
-                                    : never
-                                : R extends "set"
-                                    ? "items" extends keyof A
-                                        ? A["items"] extends infer I
-                                            ? I extends "string" ? string[]
-                                                : I extends "number" ? number[]
-                                                    : never
-                                            : never
-                                        : never
-                                    : R extends "any" ? any
-                                        : never
-            : never    
-            
-type UpdatableItemAttribute<A extends Attribute> =
-    A extends ReadOnlyAttribute
-        ? never
-        : A["type"] extends infer R
-            ? R extends "string" ? string
-            : R extends "number" ? number
-                : R extends "boolean" ? boolean
-                    : R extends ReadonlyArray<infer E> ? E
-                        : R extends "map"
-                            ? "properties" extends keyof A
-                                ? {
-                                    [P in keyof A["properties"]]?:
-                                    A["properties"][P] extends infer M
-                                        ? M extends Attribute
-                                            ? UpdatableItemAttribute<M>
-                                            : never
-                                        : never
-                                }
-                                : never
-                            : R extends "list"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends Attribute
-                                            ? Array<UpdatableItemAttribute<I>>
-                                            : never
-                                        : never
-                                    : never
-                                : R extends "set"
-                                    ? "items" extends keyof A
-                                        ? A["items"] extends infer I
-                                            ? I extends "string" ? string[]
-                                                : I extends "number" ? number[]
-                                                    : never
-                                            : never
-                                        : never
-                                    : R extends "any" ? any
-                                        : never
-            : never
-
-type RemovableItemAttribute<A extends Attribute> =
-    A extends ReadOnlyAttribute | RequiredAttribute
-        ? never
-        : A["type"] extends infer R
-        ? R extends "string" ? string
-            : R extends "number" ? number
-                : R extends "boolean" ? boolean
-                    : R extends ReadonlyArray<infer E> ? E
-                        : R extends "map"
-                            ? "properties" extends keyof A
-                                ? {
-                                    [P in keyof A["properties"]]?:
-                                    A["properties"][P] extends infer M
-                                        ? M extends Attribute
-                                            ? UpdatableItemAttribute<M>
-                                            : never
-                                        : never
-                                }
-                                : never
-                            : R extends "list"
-                                ? "items" extends keyof A
-                                    ? A["items"] extends infer I
-                                        ? I extends Attribute
-                                            ? Array<UpdatableItemAttribute<I>>
-                                            : never
-                                        : never
-                                    : never
-                                : R extends "set"
-                                    ? "items" extends keyof A
-                                        ? A["items"] extends infer I
-                                            ? I extends "string" ? string[]
-                                                : I extends "number" ? number[]
-                                                    : never
-                                            : never
-                                        : never
-                                    : R extends "any" ? any
-                                        : never
-        : never
-
-type Item<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, Attr extends Attributes<A>> = {
-    [a in keyof Attr]: ItemAttribute<Attr[a]>
-}
-
-type ItemTypeDescription<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [a in keyof S["attributes"]]: S["attributes"][a]["type"] extends infer R
-        ? R
-        : never
-}
-
-type RequiredAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = ExtractKeysOfValueType<{
-    [a in keyof S["attributes"]]: S["attributes"][a]["required"] extends infer R
-        ? R extends true ? true
-            : false
-        : never;
-}, true>
-
-type HiddenAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = ExtractKeysOfValueType<{
-    [a in keyof S["attributes"]]: S["attributes"][a]["hidden"] extends infer R
-        ? R extends true
-            ? true
-            : false
-        : never;
-}, true>
-
-type ReadOnlyAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = ExtractKeysOfValueType<{
-    [a in keyof S["attributes"]]: S["attributes"][a]["readOnly"] extends infer R
-        ? R extends true
-            ? true
-            : false
-        : never;
-}, true>
-
-type ExtractKeysOfValueType<T, K> = {
-    [I in keyof T]: T[I] extends K ? I : never
-}[keyof T];
-
-type TableIndexes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [i in keyof S["indexes"]]: S["indexes"][i] extends infer I
-        ? I extends SecondaryIndex
-            ? "secondary"
-            : "table"
-        : never;
-};
-
-type TableIndexName<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = ExtractKeysOfValueType<TableIndexes<A,F,C,S>, "table">;
-
-type PKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [i in keyof S["indexes"]]: S["indexes"][i]["pk"]["composite"][number];
-}
-
-type SKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [i in keyof S["indexes"]]: S["indexes"][i] extends IndexWithSortKey
-        ? S["indexes"][i]["sk"]["composite"][number]
-        : never;
-}
-
-type TableIndexPKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = Pick<PKCompositeAttributes<A,F,C,S>, TableIndexName<A,F,C,S>>;
-
-type TableIndexSKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = Pick<SKCompositeAttributes<A,F,C,S>, TableIndexName<A,F,C,S>>;
-
-type IndexPKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends keyof S["indexes"]> = Pick<PKCompositeAttributes<A,F,C,S>,I>;
-
-type IndexSKCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends keyof S["indexes"]> = Pick<SKCompositeAttributes<A,F,C,S>,I>;
-
-type TableIndexPKAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = Pick<Item<A,F,C,S,S["attributes"]>, TableIndexPKCompositeAttributes<A,F,C,S>[TableIndexName<A,F,C,S>]>;
-
-type TableIndexSKAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = TableIndexSKCompositeAttributes<A,F,C,S>[TableIndexName<A,F,C,S>] extends keyof S["attributes"]
-    ? Pick<Item<A,F,C,S,S["attributes"]>, TableIndexSKCompositeAttributes<A,F,C,S>[TableIndexName<A,F,C,S>]>
-    : Item<A,F,C,S,S["attributes"]>;
-
-type IndexPKAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends keyof S["indexes"]> = Pick<Item<A,F,C,S,S["attributes"]>, IndexPKCompositeAttributes<A,F,C,S,I>[I]>;
-
-type IndexSKAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends keyof S["indexes"]> = IndexSKCompositeAttributes<A,F,C,S,I>[I] extends keyof S["attributes"]
-    ? Pick<Item<A,F,C,S,S["attributes"]>, IndexSKCompositeAttributes<A,F,C,S,I>[I]>
-    : Item<A,F,C,S,S["attributes"]>;
-
-type TableIndexCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = TableIndexPKAttributes<A,F,C,S> & Partial<TableIndexSKAttributes<A,F,C,S>>;
-
-type AllTableIndexCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = TableIndexPKAttributes<A,F,C,S> & TableIndexSKAttributes<A,F,C,S>;
-
-type IndexCompositeAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends keyof S["indexes"]> = IndexPKAttributes<A,F,C,S,I> & Partial<IndexSKAttributes<A,F,C,S,I>>;
-
-type TableItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    AllTableIndexCompositeAttributes<A,F,C,S> &
-    Pick<ReturnedItem<A,F,C,S,S["attributes"]>, RequiredAttributes<A,F,C,S>> &
-    Partial<Omit<ReturnedItem<A,F,C,S,S["attributes"]>, RequiredAttributes<A,F,C,S>>>
-
-type ResponseItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Omit<TableItem<A,F,C,S>, HiddenAttributes<A,F,C,S>>
-
-type RequiredPutItems<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [Attribute in keyof S["attributes"]]:
-    "default" extends keyof S["attributes"][Attribute]
-        ? false
-        : "required" extends keyof S["attributes"][Attribute]
-            ? true extends S["attributes"][Attribute]["required"]
-                ? true
-                    : Attribute extends keyof TableIndexCompositeAttributes<A,F,C,S>
-                        ? true
-                        : false
-            : Attribute extends keyof TableIndexCompositeAttributes<A,F,C,S>
-                ? true
-                : false
-}
-
-type PutItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Pick<CreatedItem<A,F,C,S,S["attributes"]>, ExtractKeysOfValueType<RequiredPutItems<A,F,C,S>,true>>
-    & Partial<CreatedItem<A,F,C,S,S["attributes"]>>
-
-type UpdateData<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Omit<{
-        [Attr in keyof S["attributes"]]: EditableItemAttribute<S["attributes"][Attr]>
-    }, keyof AllTableIndexCompositeAttributes<A,F,C,S> | ReadOnlyAttributes<A,F,C,S>>
-
-type SetItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    // UpdatableItemAttribute
-    Omit<{
-        [Attr in keyof S["attributes"]]?: UpdatableItemAttribute<S["attributes"][Attr]>
-    }, keyof AllTableIndexCompositeAttributes<A,F,C,S> | ReadOnlyAttributes<A,F,C,S>>
-
-// type RemoveItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-//     Array<keyof SetItem<A,F,C,S>>
-type RemoveItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Array< keyof Omit<{
-        [Attr in keyof S["attributes"]]?: RemovableItemAttribute<S["attributes"][Attr]>
-    }, keyof AllTableIndexCompositeAttributes<A,F,C,S> | ReadOnlyAttributes<A,F,C,S> | RequiredAttributes<A,F,C,S>>>
-
-type AppendItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Partial<{
-        [P in ExtractKeysOfValueType<ItemTypeDescription<A,F,C,S>, "list" | "any">]?: P extends keyof SetItem<A,F,C,S>
-            ? SetItem<A,F,C,S>[P]
-            : never
-    }>
-
-type AddItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Partial<{
-        [P in ExtractKeysOfValueType<ItemTypeDescription<A,F,C,S>, "number" | "any" | "set">]?: P extends keyof SetItem<A,F,C,S>
-            ? SetItem<A,F,C,S>[P]
-            : never
-    }>
-
-type SubtractItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Partial<{
-        [P in ExtractKeysOfValueType<ItemTypeDescription<A,F,C,S>, "number" | "any">]?: P extends keyof SetItem<A,F,C,S>
-            ? SetItem<A,F,C,S>[P]
-            : never
-    }>
-
-type DeleteItem<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> =
-    Partial<{
-        [P in ExtractKeysOfValueType<ItemTypeDescription<A,F,C,S>, "any" | "set">]?: P extends keyof SetItem<A,F,C,S>
-            ? SetItem<A,F,C,S>[P]
-            : never
-    }>
-
-export type WhereAttributeSymbol<T extends any> =
-    { [WhereSymbol]: void }
-    & T extends string ? T
-        : T extends number ? T
-        : T extends boolean ? T
-        : T extends {[key: string]: any}
-            ? {[key in keyof T]: WhereAttributeSymbol<T[key]>}
-            : T extends ReadonlyArray<infer A>
-                ? ReadonlyArray<WhereAttributeSymbol<A>>
-                : T extends Array<infer I>
-                    ? Array<WhereAttributeSymbol<I>>
-                    : T
-
-type WhereAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Item<A,F,C,S,S["attributes"]>> = {
-    [Attr in keyof I]: WhereAttributeSymbol<I[Attr]>
-}
-
-export type DataUpdateAttributeSymbol<T extends any> = 
-    { [UpdateDataSymbol]: void } 
-    & T extends string ? T
-    : T extends number ? T
-    : T extends boolean ? T
-    : T extends {[key: string]: any}
-        ? {[key in keyof T]: DataUpdateAttributeSymbol<T[key]>}
-            : T extends ReadonlyArray<infer A>
-                ? ReadonlyArray<DataUpdateAttributeSymbol<A>>
-                : T extends Array<infer I>
-                    ? Array<DataUpdateAttributeSymbol<I>>
-                    : [T] extends [never]
-                        ? never
-                        : T
-
-type DataUpdateAttributeValues<A extends DataUpdateAttributeSymbol<any>> =
-    A extends DataUpdateAttributeSymbol<infer T>
-        ? T extends string ? T
-        : T extends number ? T
-        : T extends boolean ? T
-        : T extends {[key: string]: any}
-        ? {[key in keyof T]?: DataUpdateAttributeValues<T[key]>}
-        : T extends ReadonlyArray<infer A> ? ReadonlyArray<DataUpdateAttributeValues<A>>
-        : T extends Array<infer I> ? Array<DataUpdateAttributeValues<I>>
-        : [T] extends [never]
-        ? never
-        : T
-    : never
-
-type DataUpdateAttributes<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends UpdateData<A,F,C,S>> = {
-    [Attr in keyof I]: DataUpdateAttributeSymbol<I[Attr]>
-}
-
-type WhereOperations<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Item<A,F,C,S,S["attributes"]>> = {
-    eq: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    ne: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    gt: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    lt: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    gte: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    lte: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    between: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T, value2: T) => string;
-    begins: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    exists: <A extends WhereAttributeSymbol<any>>(attr: A) => string;
-    notExists: <A extends WhereAttributeSymbol<any>>(attr: A) => string;
-    contains: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    notContains: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    value: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: A extends WhereAttributeSymbol<infer V> ? V : never) => A extends WhereAttributeSymbol<infer V> ? V : never;
-    name: <A extends WhereAttributeSymbol<any>>(attr: A) => string;
-};
-
-type DataUpdateOperations<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends UpdateData<A,F,C,S>> = {
-    set: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: DataUpdateAttributeValues<A>) => any;
-    remove: <T, A extends DataUpdateAttributeSymbol<T>>(attr: [T] extends [never] ? never : A) => any;
-    append: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: DataUpdateAttributeValues<A> extends Array<any> ? DataUpdateAttributeValues<A> : never) => any;
-    add: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: A extends DataUpdateAttributeSymbol<infer V> ? V extends number | Array<any> ? V : [V] extends [any] ? V : never : never ) => any;
-    subtract: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: A extends DataUpdateAttributeSymbol<infer V> ? V extends number ? V : [V] extends [any] ? V : never : never ) => any;
-    delete: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: A extends DataUpdateAttributeSymbol<infer V> ? V extends Array<any> ? V : [V] extends [any] ? V : never : never ) => any;
-    del:    <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: A extends DataUpdateAttributeSymbol<infer V> ? V extends Array<any> ? V : never : never ) => any;
-    value: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: DataUpdateAttributeValues<A>) => Required<DataUpdateAttributeValues<A>>;
-    name: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A) => any;
-    ifNotExists: <T, A extends DataUpdateAttributeSymbol<T>>(attr: A, value: DataUpdateAttributeValues<A>) => any;
-};
-
-type WhereCallback<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Item<A,F,C,S,S["attributes"]>> =
-    <W extends WhereAttributes<A,F,C,S,I>>(attributes: W, operations: WhereOperations<A,F,C,S,I>) => string;
-
-type DataUpdateCallback<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends UpdateData<A,F,C,S>> =
-    <W extends DataUpdateAttributes<A,F,C,S,I>>(attributes: W, operations: DataUpdateOperations<A,F,C,S,I>) => any;
-
-type ReturnValues = "default" | "none" | 'all_old' | 'updated_old' | 'all_new' | 'updated_new';
-
-interface QueryOptions {
-    raw?: boolean;
-    table?: string;
-    limit?: number;
-    params?: object;
-    includeKeys?: boolean;
-    originalErr?: boolean;
-    ignoreOwnership?: boolean;
-    pages?: number;
-    listeners?: Array<EventListener>;
-    logger?: EventListener;
-}
-
-// subset of QueryOptions
-interface ParseOptions {
-    ignoreOwnership?: boolean;
-}
-
-interface UpdateQueryOptions extends QueryOptions {
-    response?: "default" | "none" | 'all_old' | 'updated_old' | 'all_new' | 'updated_new';
-}
-
-interface UpdateQueryParams {
-    response?: "default" | "none" | 'all_old' | 'updated_old' | 'all_new' | 'updated_new';
-    table?: string;
-    params?: object;
-    originalErr?: boolean;
-}
-
-interface DeleteQueryOptions extends QueryOptions {
-    response?: "default" | "none" | 'all_old';
-}
-
-interface PutQueryOptions extends QueryOptions {
-    response?: "default" | "none" | 'all_old';
-}
-
-interface ParamOptions {
-    params?: object;
-    table?: string;
-    limit?: number;
-    response?: "default" | "none" | 'all_old' | 'updated_old' | 'all_new' | 'updated_new';
-}
-
-interface PaginationOptions extends QueryOptions {
-    pager?: "raw" | "item" | "named";
-    limit?: number;
-}
-
-interface BulkOptions extends QueryOptions {
-    unprocessed?: "raw" | "item";
-    concurrency?: number;
-}
-
-type OptionalDefaultEntityIdentifiers = {
-    __edb_e__?: string;
-    __edb_v__?: string;
-}
-
-type GoRecord<ResponseType, Options = QueryOptions> = <T = ResponseType>(options?: Options) => Promise<T>;
-
-type PageRecord<ResponseType, CompositeAttributes> = (page?: (CompositeAttributes & OptionalDefaultEntityIdentifiers) | null, options?: PaginationOptions) => Promise<[
-    (CompositeAttributes & OptionalDefaultEntityIdentifiers) | null,
-    ResponseType
-]>;
-
-type ParamRecord<Options = ParamOptions> = <P>(options?: Options) => P;
-
-type RecordsActionOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, Items, IndexCompositeAttributes> = {
-    go: GoRecord<Items>;
-    params: ParamRecord;
-    page: PageRecord<Items,IndexCompositeAttributes>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,RecordsActionOptions<A,F,C,S,Items,IndexCompositeAttributes>>;
-}
-
-type SingleRecordOperationOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, ResponseType> = {
-    go: GoRecord<ResponseType, QueryOptions>;
-    params: ParamRecord<QueryOptions>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,SingleRecordOperationOptions<A,F,C,S,ResponseType>>;
-};
-
-type PutRecordOperationOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, ResponseType> = {
-    go: GoRecord<ResponseType, PutQueryOptions>;
-    params: ParamRecord<PutQueryOptions>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,PutRecordOperationOptions<A,F,C,S,ResponseType>>;
-};
-
-type UpdateRecordOperationOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, ResponseType> = {
-    go: GoRecord<ResponseType, UpdateQueryOptions>;
-    params: ParamRecord<UpdateQueryParams>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,PutRecordOperationOptions<A,F,C,S,ResponseType>>;
-};
-
-type DeleteRecordOperationOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, ResponseType> = {
-    go: GoRecord<ResponseType, DeleteQueryOptions>;
-    params: ParamRecord<DeleteQueryOptions>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,DeleteRecordOperationOptions<A,F,C,S,ResponseType>>;
-};
-
-type BulkRecordOperationOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, ResponseType> = {
-    go: GoRecord<ResponseType, BulkOptions>;
-    params: ParamRecord<BulkOptions>;
-};
-
-type SetRecordActionOptions<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, SetAttr,IndexCompositeAttributes,TableItem> = {
-    go: GoRecord<Partial<TableItem>, UpdateQueryOptions>;
-    params: ParamRecord<UpdateQueryParams>;
-    set: SetRecord<A,F,C,S, SetItem<A,F,C,S>,IndexCompositeAttributes,TableItem>;
-    remove: SetRecord<A,F,C,S, Array<keyof SetItem<A,F,C,S>>,IndexCompositeAttributes,TableItem>;
-    add: SetRecord<A,F,C,S, AddItem<A,F,C,S>,IndexCompositeAttributes,TableItem>;
-    subtract: SetRecord<A,F,C,S, SubtractItem<A,F,C,S>,IndexCompositeAttributes,TableItem>;
-    append: SetRecord<A,F,C,S, AppendItem<A,F,C,S>,IndexCompositeAttributes,TableItem>;
-    delete: SetRecord<A,F,C,S, DeleteItem<A,F,C,S>,IndexCompositeAttributes,TableItem>;
-    data: DataUpdateMethodRecord<A,F,C,S, Item<A,F,C,S,S["attributes"]>,IndexCompositeAttributes,TableItem>;
-    where: WhereClause<A,F,C,S, Item<A,F,C,S,S["attributes"]>,SetRecordActionOptions<A,F,C,S,SetAttr,IndexCompositeAttributes,TableItem>>;
-}
-
-type SetRecord<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, SetAttr, IndexCompositeAttributes, TableItem> = (properties: SetAttr) => SetRecordActionOptions<A,F,C,S, SetAttr, IndexCompositeAttributes, TableItem>;
-type RemoveRecord<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, RemoveAttr, IndexCompositeAttributes, TableItem> = (properties: RemoveAttr) => SetRecordActionOptions<A,F,C,S, RemoveAttr, IndexCompositeAttributes, TableItem>;
-type DataUpdateMethodRecord<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, SetAttr, IndexCompositeAttributes, TableItem> =
-    DataUpdateMethod<A,F,C,S, UpdateData<A,F,C,S>, SetRecordActionOptions<A,F,C,S, SetAttr, IndexCompositeAttributes, TableItem>>
-
-type WhereClause<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Item<A,F,C,S,S["attributes"]>, T> = (where: WhereCallback<A,F,C,S,I>) => T;
-
-type DataUpdateMethod<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends UpdateData<A,F,C,S>, T> = (update: DataUpdateCallback<A,F,C,S,I>) => T;
-
-type QueryOperations<A extends string, F extends A, C extends string, S extends Schema<A,F,C>, CompositeAttributes, TableItem, IndexCompositeAttributes> = {
-    between: (skCompositeAttributesStart: CompositeAttributes, skCompositeAttributesEnd: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    gt: (skCompositeAttributes: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    gte: (skCompositeAttributes: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    lt: (skCompositeAttributes: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    lte: (skCompositeAttributes: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    begins: (skCompositeAttributes: CompositeAttributes) => RecordsActionOptions<A,F,C,S, Array<TableItem>,IndexCompositeAttributes>;
-    go: GoRecord<Array<TableItem>>;
-    params: ParamRecord;
-    page: PageRecord<Array<TableItem>,IndexCompositeAttributes>;
-    where: WhereClause<A,F,C,S,Item<A,F,C,S,S["attributes"]>,RecordsActionOptions<A,F,C,S,Array<TableItem>,IndexCompositeAttributes>>
-}
-
-type Queries<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> = {
-    [I in keyof S["indexes"]]: <CompositeAttributes extends IndexCompositeAttributes<A,F,C,S,I>>(composite: CompositeAttributes) =>
-        IndexSKAttributes<A,F,C,S,I> extends infer SK
-            // If there is no SK, dont show query operations (when an empty array is provided)
-            ? [keyof SK] extends [never]
-                ? RecordsActionOptions<A,F,C,S, ResponseItem<A,F,C,S>[], AllTableIndexCompositeAttributes<A,F,C,S> & Required<CompositeAttributes>>
-                // If there is no SK, dont show query operations (When no PK is specified)
-                : S["indexes"][I] extends IndexWithSortKey
-                    ? QueryOperations<
-                        A,F,C,S,
-                        // Omit the composite attributes already provided
-                        Omit<Partial<IndexSKAttributes<A,F,C,S,I>>, keyof CompositeAttributes>,
-                        ResponseItem<A,F,C,S>,
-                        AllTableIndexCompositeAttributes<A,F,C,S> & Required<CompositeAttributes> & SK
-                        >
-                    : RecordsActionOptions<A,F,C,S, ResponseItem<A,F,C,S>[], AllTableIndexCompositeAttributes<A,F,C,S> & Required<CompositeAttributes> & SK>
-            : never
-}
-
-type DocumentClientMethod = (parameters: any) => {promise: () => Promise<any>};
-
-type DocumentClient = {
-    get: DocumentClientMethod;
-    put: DocumentClientMethod;
-    delete: DocumentClientMethod;
-    update: DocumentClientMethod;
-    batchWrite: DocumentClientMethod;
-    batchGet: DocumentClientMethod;
-    scan: DocumentClientMethod;
-    transactGet: DocumentClientMethod;
-    transactWrite: DocumentClientMethod;
-} | {
-    send: (command: any) => Promise<any>;
-}
-
-type ElectroDBMethodTypes = "put" | "get" | "query" | "scan" | "update" | "delete" | "remove" | "patch" | "create" | "batchGet" | "batchWrite";
-
-interface ElectroQueryEvent<P extends any = any> {
-    type: 'query';
-    method: ElectroDBMethodTypes;
-    config: any;
-    params: P;
-}
-
-interface ElectroResultsEvent<R extends any = any> {
-    type: 'results';
-    method: ElectroDBMethodTypes;
-    config: any;
-    results: R;
-    success: boolean;
-}
-
-type ElectroEvent = 
-    ElectroQueryEvent
-    | ElectroResultsEvent;
-
-type ElectroEventType = Pick<ElectroEvent, 'type'>;
-
-type EventListener = (event: ElectroEvent) => void;
-
-// todo: coming soon, more events!
-// | {
-//     name: "error";
-//     type: "configuration_error" | "invalid_query" | "dynamodb_client";
-//     message: string;
-//     details: ElectroError;
-// } | {
-//     name: "error";
-//     type: "user_defined";
-//     message: string;
-//     details: ElectroValidationError;
-// } | {
-//     name: "warn";
-//     type: "deprecation_warning" | "optimization_suggestion";
-//     message: string;
-//     details: any;
-// } | {
-//     name: "info";
-//     type: "client_updated" | "table_overwritten";
-//     message: string;
-//     details: any;
-// };
-
-type EntityConfiguration = {
-    table?: string;
-    client?: DocumentClient;
-    listeners?: Array<EventListener>;
-    logger?: EventListener;
-};
-
-type ServiceConfiguration = {
-    table?: string;
-    client?: DocumentClient;
-    listeners?: Array<EventListener>;
-    logger?: EventListener;
-};
-
-type ParseSingleInput = {
-    Item?: {[key: string]: any}
-} | {
-    Attributes?: {[key: string]: any}
-} | null;
-
-type ParseMultiInput = {
-    Items?: {[key: string]: any}[]
-}
-
-export class Entity<A extends string, F extends A, C extends string, S extends Schema<A,F,C>> {
-    readonly schema: S;
-    constructor(schema: S, config?: EntityConfiguration);
-    get(key: AllTableIndexCompositeAttributes<A,F,C,S>): SingleRecordOperationOptions<A,F,C,S, ResponseItem<A,F,C,S> | null>;
-    get(key: AllTableIndexCompositeAttributes<A,F,C,S>[]): BulkRecordOperationOptions<A,F,C,S, [Array<ResponseItem<A,F,C,S>>, Array<AllTableIndexCompositeAttributes<A,F,C,S>>]>;
-    delete(key: AllTableIndexCompositeAttributes<A,F,C,S>): DeleteRecordOperationOptions<A,F,C,S, ResponseItem<A,F,C,S>>;
-    delete(key: AllTableIndexCompositeAttributes<A,F,C,S>[]): BulkRecordOperationOptions<A,F,C,S, AllTableIndexCompositeAttributes<A,F,C,S>[]>;
-    remove(key: AllTableIndexCompositeAttributes<A,F,C,S>): DeleteRecordOperationOptions<A,F,C,S, ResponseItem<A,F,C,S>>;
-    update(key: AllTableIndexCompositeAttributes<A,F,C,S>): {
-        set: SetRecord<A,F,C,S, SetItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        remove: RemoveRecord<A,F,C,S, RemoveItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        add: SetRecord<A,F,C,S, AddItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        subtract: SetRecord<A,F,C,S, SubtractItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        append: SetRecord<A,F,C,S, AppendItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        delete: SetRecord<A,F,C,S, DeleteItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        data: DataUpdateMethodRecord<A,F,C,S, Item<A,F,C,S,S["attributes"]>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-    };
-    patch(key: AllTableIndexCompositeAttributes<A,F,C,S>): {
-        set: SetRecord<A,F,C,S, SetItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        remove: RemoveRecord<A,F,C,S, RemoveItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        add: SetRecord<A,F,C,S, AddItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        subtract: SetRecord<A,F,C,S, SubtractItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        append: SetRecord<A,F,C,S, AppendItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        delete: SetRecord<A,F,C,S, DeleteItem<A,F,C,S>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-        data: DataUpdateMethodRecord<A,F,C,S, Item<A,F,C,S,S["attributes"]>, TableIndexCompositeAttributes<A,F,C,S>, ResponseItem<A,F,C,S>>;
-    };
-    put(record: PutItem<A,F,C,S>): PutRecordOperationOptions<A,F,C,S, ResponseItem<A,F,C,S>>;
-    put(record: PutItem<A,F,C,S>[]): BulkRecordOperationOptions<A,F,C,S, AllTableIndexCompositeAttributes<A,F,C,S>[]>;
-    create(record: PutItem<A,F,C,S>): PutRecordOperationOptions<A,F,C,S, ResponseItem<A,F,C,S>>;
-    find(record: Partial<Item<A,F,C,S,S["attributes"]>>): RecordsActionOptions<A,F,C,S, ResponseItem<A,F,C,S>[], AllTableIndexCompositeAttributes<A,F,C,S>>;
-    match(record: Partial<Item<A,F,C,S,S["attributes"]>>): RecordsActionOptions<A,F,C,S, ResponseItem<A,F,C,S>[], AllTableIndexCompositeAttributes<A,F,C,S>>;
-    scan: RecordsActionOptions<A,F,C,S, ResponseItem<A,F,C,S>[], TableIndexCompositeAttributes<A,F,C,S>>
-    query: Queries<A,F,C,S>;
-    parse(item: ParseSingleInput, options?: ParseOptions): ResponseItem<A,F,C,S> | null;
-    parse(item: ParseMultiInput, options?: ParseOptions): ResponseItem<A,F,C,S>[];
-    setIdentifier(type: "entity" | "version", value: string): void;
-    client: any;
-}
-
-type AllCollectionNames<E extends {[name: string]: Entity<any, any, any, any>}> = {
-    [Name in keyof E]:
-    E[Name] extends Entity<infer A, infer F, infer C, infer S>
-        ? {
-            [Collection in keyof EntityCollections<A,F,C,S>]: Collection
-        }[keyof EntityCollections<A,F,C,S>]
-        : never
-}[keyof E];
-
-type AllEntityAttributeNames<E extends {[name: string]: Entity<any, any, any, any>}> = {
-    [Name in keyof E]: {
-        [A in keyof E[Name]["schema"]["attributes"]]: A
-    }[keyof E[Name]["schema"]["attributes"]]
-}[keyof E];
-
-type AllEntityAttributes<E extends {[name: string]: Entity<any, any, any, any>}> = {
-    [Attr in AllEntityAttributeNames<E>]: {
-        [Name in keyof E]: Attr extends keyof E[Name]["schema"]["attributes"]
-            ? ItemAttribute<E[Name]["schema"]["attributes"][Attr]>
-            : never
-    }[keyof E];
-};
-
-type CollectionAssociations<E extends {[name: string]: Entity<any, any, any, any>}> = {
-    [Collection in AllCollectionNames<E>]: {
-        [Name in keyof E]: E[Name] extends Entity<infer A, infer F, infer C, infer S>
-            ? Collection extends keyof EntityCollections<A,F,C,S>
-                ? Name
-                : never
-            : never
-    }[keyof E];
-}
-
-type CollectionAttributes<E extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<E>> = {
-    [Collection in keyof Collections]: {
-        [EntityName in keyof E]: E[EntityName] extends Entity<infer A, infer F, infer C, infer S>
-            ? EntityName extends Collections[Collection]
-                ? keyof S["attributes"]
-                : never
-            : never
-    }[keyof E]
-}
-
-type CollectionWhereOperations = {
-    eq: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    ne: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    gt: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    lt: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    gte: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    lte: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    between: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T, value2: T) => string;
-    begins: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    exists: <T, A extends WhereAttributeSymbol<T>>(attr: A) => string;
-    notExists: <T, A extends WhereAttributeSymbol<T>>(attr: A) => string;
-    contains: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    notContains: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    value: <T, A extends WhereAttributeSymbol<T>>(attr: A, value: T) => string;
-    name: <T, A extends WhereAttributeSymbol<T>>(attr: A) => string;
-}
-
-type CollectionWhereCallback<E extends {[name: string]: Entity<any, any, any, any>}, I extends Partial<AllEntityAttributes<E>>> =
-    <W extends {[A in keyof I]: WhereAttributeSymbol<I[A]>}>(attributes: W, operations: CollectionWhereOperations) => string;
-
-type CollectionWhereClause<E extends {[name: string]: Entity<any, any, any, any>}, A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Partial<AllEntityAttributes<E>>, T> = (where: CollectionWhereCallback<E, I>) => T;
-
-type WhereRecordsActionOptions<E extends {[name: string]: Entity<any, any, any, any>}, A extends string, F extends A, C extends string, S extends Schema<A,F,C>, I extends Partial<AllEntityAttributes<E>>, Items, IndexCompositeAttributes> = {
-    go: GoRecord<Items>;
-    params: ParamRecord;
-    page: PageRecord<Items,IndexCompositeAttributes>;
-    where: CollectionWhereClause<E,A,F,C,S,I, WhereRecordsActionOptions<E,A,F,C,S,I,Items,IndexCompositeAttributes>>;
-}
-
-type CollectionIndexKeys<Entities extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<Entities>> = {
-    [Collection in keyof Collections]: {
-        [EntityResultName in Collections[Collection]]:
-            EntityResultName extends keyof Entities
-                ? Entities[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                    ? keyof TableIndexCompositeAttributes<A, F, C, S>
-                    : never
-                : never
-    }[Collections[Collection]]
-}
-
-type CollectionPageKeys<Entities extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<Entities>> = {
-    [Collection in keyof Collections]: {
-        [EntityResultName in Collections[Collection]]:
-            EntityResultName extends keyof Entities
-                ? Entities[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                    ? keyof Parameters<Entities[EntityResultName]["query"][
-                        Collection extends keyof EntityCollections<A,F,C,S>
-                            ? EntityCollections<A,F,C,S>[Collection]
-                            : never
-                    ]>[0]
-                    : never
-                : never
-    }[Collections[Collection]]
-}
-
-type CollectionIndexAttributes<Entities extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<Entities>> = {
-    [Collection in keyof CollectionIndexKeys<Entities, Collections>]: {
-        [key in CollectionIndexKeys<Entities, Collections>[Collection]]:
-            key extends keyof AllEntityAttributes<Entities>
-                ? AllEntityAttributes<Entities>[key]
-                : never
-    }
-}
-
-type CollectionPageAttributes<Entities extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<Entities>> = {
-    [Collection in keyof CollectionPageKeys<Entities, Collections>]: {
-        [key in CollectionPageKeys<Entities, Collections>[Collection]]:
-            key extends keyof AllEntityAttributes<Entities>
-                ? AllEntityAttributes<Entities>[key]
-                : never
-    }
-}
-
-type OptionalPropertyNames<T> =
-    { [K in keyof T]: undefined extends T[K] ? K : never }[keyof T];
-
-// Common properties from L and R with undefined in R[K] replaced by type in L[K]
-type SpreadProperties<L, R, K extends keyof L & keyof R> =
-    { [P in K]: L[P] | Exclude<R[P], undefined> };
-
-type Id<T> = {[K in keyof T]: T[K]} // see note at bottom*
-
-// Type of { ...L, ...R }
-type Spread<L, R> = Id<
-    // Properties in L that don't exist in R
-    & Pick<L, Exclude<keyof L, keyof R>>
-    // Properties in R with types that exclude undefined
-    & Pick<R, Exclude<keyof R, OptionalPropertyNames<R>>>
-    // Properties in R, with types that include undefined, that don't exist in L
-    & Pick<R, Exclude<OptionalPropertyNames<R>, keyof L>>
-    // Properties in R, with types that include undefined, that exist in L
-    & SpreadProperties<L, R, OptionalPropertyNames<R> & keyof L>
-    >;
-
-
-
-type CollectionQueries<E extends {[name: string]: Entity<any, any, any, any>}, Collections extends CollectionAssociations<E>> = {
-    [Collection in keyof Collections]: {
-        [EntityName in keyof E]:
-            EntityName extends Collections[Collection]
-                ? (params:
-                       RequiredProperties<
-                           Parameters<
-                               E[EntityName]["query"][
-                                   E[EntityName] extends Entity<infer A, infer F, infer C, infer S>
-                                       ? Collection extends keyof EntityCollections<A,F,C,S>
-                                        ? EntityCollections<A,F,C,S>[Collection]
-                                        : never
-                                       : never
-                               ]
-                           >[0]
-                       >) => {
-                    go: GoRecord<{
-                        [EntityResultName in Collections[Collection]]:
-                            EntityResultName extends keyof E
-                                ? E[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                                    ? ResponseItem<A,F,C,S>[]
-                                    : never
-                                : never
-                    }>;
-                    params: ParamRecord;
-                    page: {
-                        [EntityResultName in Collections[Collection]]: EntityResultName extends keyof E
-                            ? Pick<AllEntityAttributes<E>, Extract<AllEntityAttributeNames<E>, CollectionAttributes<E,Collections>[Collection]>> extends Partial<AllEntityAttributes<E>>
-                                ?
-                                    PageRecord<
-                                        {
-                                            [EntityResultName in Collections[Collection]]:
-                                            EntityResultName extends keyof E
-                                                ? E[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                                                    ? ResponseItem<A,F,C,S>[]
-                                                    : never
-                                                : never
-                                        },
-                                        Partial<
-                                            Spread<
-                                                Collection extends keyof CollectionPageAttributes<E, Collections>
-                                                    ? CollectionPageAttributes<E, Collections>[Collection]
-                                                    : {},
-                                                Collection extends keyof CollectionIndexAttributes<E, Collections>
-                                                    ? CollectionIndexAttributes<E, Collections>[Collection]
-                                                    : {}
-                                            >
-                                        >
-                                    >
-                                : never
-                            : never
-                    }[Collections[Collection]];
-                    where: {
-                        [EntityResultName in Collections[Collection]]: EntityResultName extends keyof E
-                                ? E[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                                    ? Pick<AllEntityAttributes<E>, Extract<AllEntityAttributeNames<E>, CollectionAttributes<E,Collections>[Collection]>> extends Partial<AllEntityAttributes<E>>
-                                        ? CollectionWhereClause<E,A,F,C,S,
-                                            Pick<AllEntityAttributes<E>, Extract<AllEntityAttributeNames<E>, CollectionAttributes<E,Collections>[Collection]>>,
-                                            WhereRecordsActionOptions<E,A,F,C,S,
-                                                Pick<AllEntityAttributes<E>, Extract<AllEntityAttributeNames<E>, CollectionAttributes<E,Collections>[Collection]>>,
-                                                    {
-                                                        [EntityResultName in Collections[Collection]]:
-                                                            EntityResultName extends keyof E
-                                                                ? E[EntityResultName] extends Entity<infer A, infer F, infer C, infer S>
-                                                                    ? ResponseItem<A,F,C,S>[]
-                                                                    : never
-                                                                : never
-                                                    },
-                                                    Partial<
-                                                        Spread<
-                                                            Collection extends keyof CollectionPageAttributes<E, Collections>
-                                                                ? CollectionPageAttributes<E, Collections>[Collection]
-                                                                : {},
-                                                            Collection extends keyof CollectionIndexAttributes<E, Collections>
-                                                                ? CollectionIndexAttributes<E, Collections>[Collection]
-                                                                : {}
-                                                            >
-                                                    >
-                                                >>
-                                        : never
-                                    : never
-                                : never
-                    }[Collections[Collection]];
-                }
-                : never
-    }[keyof E];
-}
-
-type RequiredProperties<T> = Pick<T, {[K in keyof T]-?: {} extends Pick<T, K> ? never : K }[keyof T]>
-
-export class Service<E extends {[name: string]: Entity<any, any, any, any>}> {
-    entities: E;
-    collections: CollectionQueries<E, CollectionAssociations<E>>
-    constructor(entities: E, config?: ServiceConfiguration);
-}
-
-export type EntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? ResponseItem<A, F, C, S>
-        : never;
-
-export type CreateEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? PutItem<A, F, C, S>
-        : never;
-
-export type UpdateEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? Partial<ResponseItem<A,F,C,S>>
-        : never;
-
-export type UpdateAddEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? AddItem<A, F, C, S>
-        : never;
-
-export type UpdateSubtractEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? SubtractItem<A, F, C, S>
-        : never;
-
-export type UpdateAppendEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? AppendItem<A, F, C, S>
-        : never;
-
-export type UpdateRemoveEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? RemoveItem<A, F, C, S>
-        : never;
-
-export type UpdateDeleteEntityItem<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? DeleteItem<A, F, C, S>
-        : never;
-
-export type EntityRecord<E extends Entity<any, any, any, any>> =
-    E extends Entity<infer A, infer F, infer C, infer S>
-        ? Item<A,F,C,S,S["attributes"]>
-        : never;
-
-export type CollectionItem<SERVICE extends Service<any>, COLLECTION extends keyof SERVICE["collections"]> =
-    SERVICE extends Service<infer E> ? Pick<{
-        [EntityName in keyof E]: E[EntityName] extends Entity<infer A, infer F, infer C, infer S>
-            ? COLLECTION extends keyof CollectionAssociations<E>
-                ? EntityName extends CollectionAssociations<E>[COLLECTION]
-                    ? ResponseItem<A,F,C,S>[]
-                    : never
-                : never
-            : never
-        }, COLLECTION extends keyof CollectionAssociations<E>
-            ? CollectionAssociations<E>[COLLECTION]
-            : never>
-    : never
+export * from './src/entity';
+export * from './src/service';
+export * from './src/types';