shapedef 1.0.0

package/dist/esm/shape.d.ts

@@ -0,0 +1,169 @@
+import { Prettify, TupleOf } from "./common/types";
+export declare const ShapeBrandSymbol: unique symbol;
+export type ShapeBrandSymbol = typeof ShapeBrandSymbol;
+export type ShapeAnnotation = {
+    name?: string;
+    title?: string;
+    description?: string;
+    optional?: boolean;
+    primary?: boolean;
+    unique?: boolean;
+    min?: number;
+    max?: number;
+    format?: string;
+    pattern?: string;
+    uniqueWithin?: boolean;
+    defaultValue?: any;
+    foreign?: {
+        shapeName: string;
+        fieldName: string;
+    };
+};
+export type PhantomShape = {
+    out: any;
+};
+export type LooseShape = {
+    type: string;
+    __phantom: PhantomShape;
+    anno: ShapeAnnotation;
+};
+export type OutputOfShape<T> = [
+    T
+] extends [LooseShape] ? T["__phantom"]["out"] : never;
+export type AnnoOfShape<T> = [T] extends [LooseShape] ? T["anno"] : never;
+export type ShapeIsOptional<T> = [
+    AnnoOfShape<T>["optional"]
+] extends [true] ? true : false;
+export type AnnotateShape<T extends LooseShape, Anno extends ShapeAnnotation> = T & {
+    anno: T["anno"] & Anno;
+};
+export interface ShapeBase<Type extends string> extends LooseShape {
+    type: Type;
+    [ShapeBrandSymbol]: true;
+}
+export interface ShapeWithOutput<Type extends string, Out> extends ShapeBase<Type> {
+    __phantom: {
+        out: Out;
+    };
+}
+export interface ShapeFloat extends ShapeWithOutput<"float", number> {
+}
+export interface ShapeInt extends ShapeWithOutput<"int", number> {
+}
+export interface ShapeNumber extends ShapeWithOutput<"number", number> {
+}
+export interface ShapeBool extends ShapeWithOutput<"bool", boolean> {
+}
+export interface ShapeStr extends ShapeWithOutput<"str", string> {
+}
+export interface ShapeDate extends ShapeWithOutput<"date", Date> {
+}
+export interface ShapeNil extends ShapeWithOutput<"nil", null> {
+}
+export interface ShapeUnknown extends ShapeWithOutput<"unknown", unknown> {
+}
+export interface ShapeLiteralFloat<Value extends number = number> extends ShapeWithOutput<"literal-float", Value> {
+    value: Value;
+}
+export interface ShapeLiteralInt<Value extends number = number> extends ShapeWithOutput<"literal-int", Value> {
+    value: Value;
+}
+export interface ShapeLiteralNumber<Value extends number = number> extends ShapeWithOutput<"literal-number", Value> {
+    value: Value;
+}
+export interface ShapeLiteralBool<Value extends boolean = boolean> extends ShapeWithOutput<"literal-bool", Value> {
+    value: Value;
+}
+export interface ShapeLiteralStr<Value extends string = string> extends ShapeWithOutput<"literal-str", Value> {
+    value: Value;
+}
+export interface ShapeRef<Name extends string = string, Hint extends Shape = ShapeUnknown> extends ShapeBase<"ref"> {
+    name: Name;
+    hint?: Hint;
+    __phantom: {
+        out: unknown;
+    };
+}
+export interface ShapeArray<Item extends Shape = Shape> extends ShapeBase<"array"> {
+    item: Item;
+    __phantom: {
+        out: Array<OutputOfShape<Item>>;
+    };
+}
+export interface ShapeTuple<out Items extends TupleOf<Shape> = TupleOf<Shape>> extends ShapeBase<"tuple"> {
+    tup: Items;
+    __phantom: {
+        out: {
+            -readonly [P in keyof Items]: Items[P];
+        };
+    };
+}
+export interface ShapeMapping<Rec extends Record<string, Shape> = Record<string, Shape>> extends ShapeBase<"mapping"> {
+    rec: Rec;
+    __phantom: {
+        out: Prettify<{
+            -readonly [P in keyof Rec as [ShapeIsOptional<Rec[P]>] extends [true] ? never : P]: OutputOfShape<Rec[P]>;
+        } & {
+            -readonly [P in keyof Rec as [ShapeIsOptional<Rec[P]>] extends [true] ? P : never]?: OutputOfShape<Rec[P]>;
+        }>;
+    };
+}
+export interface ShapeVector<Dims extends number = number> extends ShapeWithOutput<"vector", number[]> {
+    dims: Dims;
+}
+export interface ShapeUnion<out Ofs extends TupleOf<Shape> | Array<Shape> = TupleOf<Shape> | Array<Shape>> extends ShapeWithOutput<"union", OutputOfShape<Ofs[number]>> {
+    ofs: Ofs;
+}
+export type Shape = ShapeFloat | ShapeInt | ShapeNumber | ShapeBool | ShapeStr | ShapeDate | ShapeNil | ShapeUnknown | ShapeLiteralFloat | ShapeLiteralInt | ShapeLiteralNumber | ShapeLiteralBool | ShapeLiteralStr | ShapeRef | ShapeArray | ShapeMapping | ShapeTuple | ShapeVector | ShapeUnion;
+export declare function isShape(x: unknown): x is Shape;
+export declare namespace shapes {
+    function float(): ShapeFloat;
+    function int(): ShapeInt;
+    function number(): ShapeNumber;
+    function bool(): ShapeBool;
+    function str(): ShapeStr;
+    function date(): ShapeDate;
+    function nil(): ShapeNil;
+    function unknown(): ShapeUnknown;
+    function literalFloat<Value extends number>(value: Value): ShapeLiteralFloat<Value>;
+    function literalInt<Value extends number>(value: Value): ShapeLiteralInt<Value>;
+    function literalNumber<Value extends number>(value: Value): ShapeLiteralNumber<Value>;
+    function literalBool<Value extends boolean>(value: Value): ShapeLiteralBool<Value>;
+    function literalStr<Value extends string>(value: Value): ShapeLiteralStr<Value>;
+    function literal<Value extends number>(value: Value): ShapeLiteralNumber<Value>;
+    function literal<Value extends boolean>(value: Value): ShapeLiteralBool<Value>;
+    function literal<Value extends string>(value: Value): ShapeLiteralStr<Value>;
+    function literal(value: number | boolean | string): ShapeLiteralNumber | ShapeLiteralBool | ShapeLiteralStr;
+    function ref<Name extends string, Hint extends Shape = ShapeUnknown>(name: Name, hint?: Hint): ShapeRef<Name, Hint>;
+    function array<Item extends Shape>(item: Item): ShapeArray<Item>;
+    function tuple<Items extends TupleOf<Shape>>(...items: Items): ShapeTuple<Items>;
+    function mapping<Rec extends Record<string, Shape>>(rec: Rec): ShapeMapping<Rec>;
+    function vector<Dims extends number>(dims: Dims): ShapeVector<Dims>;
+    function union<Ofs extends Array<Shape>>(...ofs: Ofs): ShapeUnion<Ofs>;
+    function union<Ofs extends TupleOf<Shape>>(...ofs: Ofs): ShapeUnion<Ofs>;
+}
+export declare namespace annotate {
+    function by<S extends Shape, Anno extends ShapeAnnotation>(shape: S, anno: Anno): AnnotateShape<S, Anno>;
+    function optional<S extends Shape>(shape: S): AnnotateShape<S, {
+        optional: true;
+    }>;
+    function primary<S extends Shape>(shape: S): AnnotateShape<S, {
+        primary: true;
+    }>;
+    function unique<S extends Shape>(shape: S): AnnotateShape<S, {
+        unique: true;
+    }>;
+    function named<S extends Shape, Name extends string>(shape: S, name: Name): AnnotateShape<S, {
+        name: Name;
+    }>;
+    function foreign<S extends Shape, ShapeName extends string, FieldName extends string>(shape: S, shapeName: ShapeName, fieldName: FieldName): AnnotateShape<S, {
+        foreign: {
+            shapeName: ShapeName;
+            fieldName: FieldName;
+        };
+    }>;
+    function auto(x: unknown, options?: {
+        preferLiterals?: boolean;
+    }): Shape;
+}
+//# sourceMappingURL=shape.d.ts.map

package/dist/esm/shape.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.d.ts","sourceRoot":"","sources":["../../src/shape.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAGnD,eAAO,MAAM,gBAAgB,eAAkB,CAAC;AAChD,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC;AAEvD,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,YAAY,CAAC,EAAE,GAAG,CAAC;IACnB,OAAO,CAAC,EAAE;QACR,SAAS,EAAE,MAAM,CAAC;QAClB,SAAS,EAAE,MAAM,CAAC;KACnB,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,GAAG,EAAE,GAAG,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,YAAY,CAAC;IACxB,IAAI,EAAE,eAAe,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,CAAC,IACzB;IAAC,CAAC;CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;AAE3D,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;AAE1E,MAAM,MAAM,eAAe,CAAC,CAAC,IAC3B;IAAC,WAAW,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC;CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAE7D,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,eAAe,IAC1B,CAAC,GAAG;IAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,CAAA;CAAE,CAAC;AAEnC,MAAM,WAAW,SAAS,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,UAAU;IAChE,IAAI,EAAE,IAAI,CAAC;IACX,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe,CAC9B,IAAI,SAAS,MAAM,EACnB,GAAG,CACH,SAAQ,SAAS,CAAC,IAAI,CAAC;IACvB,SAAS,EAAE;QAAE,GAAG,EAAE,GAAG,CAAA;KAAE,CAAC;CACzB;AAED,MAAM,WAAW,UAAW,SAAQ,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC;CAAG;AACvE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;CAAG;AACnE,MAAM,WAAW,WAAY,SAAQ,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC;CAAG;AACzE,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC;CAAG;AACtE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC;CAAG;AACnE,MAAM,WAAW,SAAU,SAAQ,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC;CAAG;AACnE,MAAM,WAAW,QAAS,SAAQ,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC;CAAG;AACjE,MAAM,WAAW,YAAa,SAAQ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;CAAG;AAE5E,MAAM,WAAW,iBAAiB,CAChC,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,eAAe,EAAE,KAAK,CAAC;IAC/C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,eAAe,CAC9B,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC;IAC7C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,kBAAkB,CACjC,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,gBAAgB,EAAE,KAAK,CAAC;IAChD,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,gBAAgB,CAC/B,KAAK,SAAS,OAAO,GAAG,OAAO,CAC/B,SAAQ,eAAe,CAAC,cAAc,EAAE,KAAK,CAAC;IAC9C,KAAK,EAAE,KAAK,CAAC;CACd;AACD,MAAM,WAAW,eAAe,CAC9B,KAAK,SAAS,MAAM,GAAG,MAAM,CAC7B,SAAQ,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC;IAC7C,KAAK,EAAE,KAAK,CAAC;CACd;AAED,MAAM,WAAW,QAAQ,CACvB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,IAAI,SAAS,KAAK,GAAG,YAAY,CACjC,SAAQ,SAAS,CAAC,KAAK,CAAC;IACxB,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,CAAC,EAAE,IAAI,CAAC;IACZ,SAAS,EAAE;QAAE,GAAG,EAAE,OAAO,CAAA;KAAE,CAAC;CAC7B;AAED,MAAM,WAAW,UAAU,CACzB,IAAI,SAAS,KAAK,GAAG,KAAK,CAC1B,SAAQ,SAAS,CAAC,OAAO,CAAC;IAC1B,IAAI,EAAE,IAAI,CAAC;IACX,SAAS,EAAE;QAAE,GAAG,EAAE,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA;KAAE,CAAC;CAChD;AAED,MAAM,WAAW,UAAU,CACzB,GAAG,CAAC,KAAK,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,CACjD,SAAQ,SAAS,CAAC,OAAO,CAAC;IAC1B,GAAG,EAAE,KAAK,CAAC;IACX,SAAS,EAAE;QAAE,GAAG,EAAE;YAAE,CAAC,UAAU,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC;SAAE,CAAA;KAAE,CAAC;CAChE;AAED,MAAM,WAAW,YAAY,CAC3B,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CACzD,SAAQ,SAAS,CAAC,SAAS,CAAC;IAC5B,GAAG,EAAE,GAAG,CAAC;IACT,SAAS,EAAE;QACT,GAAG,EAAE,QAAQ,CACX;YACE,CAAC,UAAU,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnE,KAAK,GACL,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC5B,GAAG;YACF,CAAC,UAAU,CAAC,IAAI,MAAM,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACnE,CAAC,GACD,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACjC,CACF,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,WAAW,CAC1B,IAAI,SAAS,MAAM,GAAG,MAAM,CAC5B,SAAQ,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;IAC3C,IAAI,EAAE,IAAI,CAAC;CACZ;AAED,MAAM,WAAW,UAAU,CACzB,GAAG,CAAC,GAAG,SAAS,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAC7E,SAAQ,eAAe,CAAC,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5D,GAAG,EAAE,GAAG,CAAC;CACV;AAED,MAAM,MAAM,KAAK,GACb,UAAU,GACV,QAAQ,GACR,WAAW,GACX,SAAS,GACT,QAAQ,GACR,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,iBAAiB,GACjB,eAAe,GACf,kBAAkB,GAClB,gBAAgB,GAChB,eAAe,GACf,QAAQ,GACR,UAAU,GACV,YAAY,GACZ,UAAU,GACV,WAAW,GACX,UAAU,CAAC;AASf,wBAAgB,OAAO,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,KAAK,CAK9C;AAED,yBAAiB,MAAM,CAAC;IACtB,SAAgB,KAAK,IAAI,UAAU,CAMlC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,MAAM,IAAI,WAAW,CAMpC;IAED,SAAgB,IAAI,IAAI,SAAS,CAMhC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,IAAI,IAAI,SAAS,CAMhC;IAED,SAAgB,GAAG,IAAI,QAAQ,CAM9B;IAED,SAAgB,OAAO,IAAI,YAAY,CAMtC;IAED,SAAgB,YAAY,CAAC,KAAK,SAAS,MAAM,EAC/C,KAAK,EAAE,KAAK,GACX,iBAAiB,CAAC,KAAK,CAAC,CAO1B;IAED,SAAgB,UAAU,CAAC,KAAK,SAAS,MAAM,EAC7C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAOxB;IAED,SAAgB,aAAa,CAAC,KAAK,SAAS,MAAM,EAChD,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,KAAK,CAAC,CAO3B;IAED,SAAgB,WAAW,CAAC,KAAK,SAAS,OAAO,EAC/C,KAAK,EAAE,KAAK,GACX,gBAAgB,CAAC,KAAK,CAAC,CAOzB;IAED,SAAgB,UAAU,CAAC,KAAK,SAAS,MAAM,EAC7C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAOxB;IAED,SAAgB,OAAO,CAAC,KAAK,SAAS,MAAM,EAC1C,KAAK,EAAE,KAAK,GACX,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7B,SAAgB,OAAO,CAAC,KAAK,SAAS,OAAO,EAC3C,KAAK,EAAE,KAAK,GACX,gBAAgB,CAAC,KAAK,CAAC,CAAC;IAC3B,SAAgB,OAAO,CAAC,KAAK,SAAS,MAAM,EAC1C,KAAK,EAAE,KAAK,GACX,eAAe,CAAC,KAAK,CAAC,CAAC;IAC1B,SAAgB,OAAO,CACrB,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,MAAM,GAC/B,kBAAkB,GAAG,gBAAgB,GAAG,eAAe,CAAC;IAS3D,SAAgB,GAAG,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,KAAK,GAAG,YAAY,EACxE,IAAI,EAAE,IAAI,EACV,IAAI,CAAC,EAAE,IAAI,GACV,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAYtB;IAED,SAAgB,KAAK,CAAC,IAAI,SAAS,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAOtE;IAED,SAAgB,KAAK,CAAC,KAAK,SAAS,OAAO,CAAC,KAAK,CAAC,EAChD,GAAG,KAAK,EAAE,KAAK,GACd,UAAU,CAAC,KAAK,CAAC,CAOnB;IAED,SAAgB,OAAO,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EACvD,GAAG,EAAE,GAAG,GACP,YAAY,CAAC,GAAG,CAAC,CAOnB;IAED,SAAgB,MAAM,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAOzE;IAED,SAAgB,KAAK,CAAC,GAAG,SAAS,KAAK,CAAC,KAAK,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC9E,SAAgB,KAAK,CAAC,GAAG,SAAS,OAAO,CAAC,KAAK,CAAC,EAC9C,GAAG,GAAG,EAAE,GAAG,GACV,UAAU,CAAC,GAAG,CAAC,CAAC;CAWpB;AAED,yBAAiB,QAAQ,CAAC;IACxB,SAAgB,EAAE,CAAC,CAAC,SAAS,KAAK,EAAE,IAAI,SAAS,eAAe,EAC9D,KAAK,EAAE,CAAC,EACR,IAAI,EAAE,IAAI,GACT,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAQxB;IAED,SAAgB,QAAQ,CAAC,CAAC,SAAS,KAAK,EACtC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,CAAC,CAEtC;IAED,SAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,EACrC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,OAAO,EAAE,IAAI,CAAA;KAAE,CAAC,CAErC;IAED,SAAgB,MAAM,CAAC,CAAC,SAAS,KAAK,EACpC,KAAK,EAAE,CAAC,GACP,aAAa,CAAC,CAAC,EAAE;QAAE,MAAM,EAAE,IAAI,CAAA;KAAE,CAAC,CAEpC;IAED,SAAgB,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,IAAI,SAAS,MAAM,EACxD,KAAK,EAAE,CAAC,EACR,IAAI,EAAE,IAAI,GACT,aAAa,CAAC,CAAC,EAAE;QAAE,IAAI,EAAE,IAAI,CAAA;KAAE,CAAC,CAElC;IAED,SAAgB,OAAO,CACrB,CAAC,SAAS,KAAK,EACf,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EAExB,KAAK,EAAE,CAAC,EACR,SAAS,EAAE,SAAS,EACpB,SAAS,EAAE,SAAS,GACnB,aAAa,CACd,CAAC,EACD;QAAE,OAAO,EAAE;YAAE,SAAS,EAAE,SAAS,CAAC;YAAC,SAAS,EAAE,SAAS,CAAA;SAAE,CAAA;KAAE,CAC5D,CAEA;IAED,SAAgB,IAAI,CAClB,CAAC,EAAE,OAAO,EACV,OAAO,GAAE;QACP,cAAc,CAAC,EAAE,OAAO,CAAC;KACrB,GACL,KAAK,CA6BP;CACF"}

package/dist/esm/shape.js

@@ -0,0 +1,258 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.annotate = exports.shapes = exports.ShapeBrandSymbol = void 0;
+exports.isShape = isShape;
+const common_1 = require("./common");
+const phantom_1 = require("./phantom");
+exports.ShapeBrandSymbol = Symbol("Shape");
+const createPhantom = () => {
+    return { __phantom: { out: phantom_1.Phantom }, [exports.ShapeBrandSymbol]: true };
+};
+function isShape(x) {
+    return ((0, common_1.has)(x, exports.ShapeBrandSymbol) &&
+        x[exports.ShapeBrandSymbol] === true);
+}
+var shapes;
+(function (shapes) {
+    function float() {
+        return {
+            type: "float",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.float = float;
+    function int() {
+        return {
+            type: "int",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.int = int;
+    function number() {
+        return {
+            type: "number",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.number = number;
+    function bool() {
+        return {
+            type: "bool",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.bool = bool;
+    function str() {
+        return {
+            type: "str",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.str = str;
+    function date() {
+        return {
+            type: "date",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.date = date;
+    function nil() {
+        return {
+            type: "nil",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.nil = nil;
+    function unknown() {
+        return {
+            type: "unknown",
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.unknown = unknown;
+    function literalFloat(value) {
+        return {
+            type: "literal-float",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalFloat = literalFloat;
+    function literalInt(value) {
+        return {
+            type: "literal-int",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalInt = literalInt;
+    function literalNumber(value) {
+        return {
+            type: "literal-number",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalNumber = literalNumber;
+    function literalBool(value) {
+        return {
+            type: "literal-bool",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalBool = literalBool;
+    function literalStr(value) {
+        return {
+            type: "literal-str",
+            value: value,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.literalStr = literalStr;
+    function literal(value) {
+        if (typeof value === "number")
+            return literalNumber(value);
+        if (typeof value === "boolean")
+            return literalBool(value);
+        return literalStr(value);
+    }
+    shapes.literal = literal;
+    function ref(name, hint) {
+        return {
+            type: "ref",
+            name: name,
+            anno: {},
+            ...(hint ?
+                {
+                    hint: hint,
+                }
+                : {}),
+            ...createPhantom(),
+        };
+    }
+    shapes.ref = ref;
+    function array(item) {
+        return {
+            type: "array",
+            item: item,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.array = array;
+    function tuple(...items) {
+        return {
+            type: "tuple",
+            tup: items,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.tuple = tuple;
+    function mapping(rec) {
+        return {
+            type: "mapping",
+            rec: rec,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.mapping = mapping;
+    function vector(dims) {
+        return {
+            type: "vector",
+            dims: dims,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.vector = vector;
+    function union(...ofs) {
+        return {
+            type: "union",
+            ofs: ofs,
+            anno: {},
+            ...createPhantom(),
+        };
+    }
+    shapes.union = union;
+})(shapes || (exports.shapes = shapes = {}));
+var annotate;
+(function (annotate) {
+    function by(shape, anno) {
+        return {
+            ...shape,
+            anno: {
+                ...anno,
+                ...shape.anno,
+            },
+        };
+    }
+    annotate.by = by;
+    function optional(shape) {
+        return by(shape, { optional: true });
+    }
+    annotate.optional = optional;
+    function primary(shape) {
+        return by(shape, { primary: true });
+    }
+    annotate.primary = primary;
+    function unique(shape) {
+        return by(shape, { unique: true });
+    }
+    annotate.unique = unique;
+    function named(shape, name) {
+        return by(shape, { name: name });
+    }
+    annotate.named = named;
+    function foreign(shape, shapeName, fieldName) {
+        return by(shape, { foreign: { shapeName, fieldName } });
+    }
+    annotate.foreign = foreign;
+    function auto(x, options = {}) {
+        if (isShape(x))
+            return x;
+        if (x === null)
+            return shapes.nil();
+        if (typeof x === "undefined")
+            return shapes.unknown();
+        if (typeof x === "number")
+            return options.preferLiterals ? shapes.literalNumber(x) : shapes.number();
+        if (typeof x === "string")
+            return options.preferLiterals ? shapes.literalStr(x) : shapes.str();
+        if (typeof x === "boolean")
+            return options.preferLiterals ? shapes.literalBool(x) : shapes.bool();
+        if (x instanceof Date)
+            return shapes.date();
+        if (Array.isArray(x)) {
+            if (x.length <= 0)
+                return shapes.array(shapes.unknown());
+            if (x.length === 1)
+                return shapes.array(auto(x[0], options));
+            const types = new Set(x.map((v) => typeof v));
+            return shapes.array(types.size === 1 ?
+                auto(x[0], options)
+                : shapes.union(...x.map((v) => auto(v, options))));
+        }
+        if ((0, common_1.isPlainObject)(x)) {
+            return shapes.mapping(Object.fromEntries(Object.entries(x).map(([k, v]) => [k, auto(v, options)])));
+        }
+        return shapes.unknown();
+    }
+    annotate.auto = auto;
+})(annotate || (exports.annotate = annotate = {}));
+//# sourceMappingURL=shape.js.map

package/dist/esm/shape.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../src/shape.ts"],"names":[],"mappings":";;;AAkLA,0BAKC;AAvLD,qCAA8C;AAE9C,uCAAmD;AAEtC,QAAA,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;AAuKhD,MAAM,aAAa,GAAG,GAGpB,EAAE;IACF,OAAO,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,iBAAO,EAAE,EAAE,CAAC,wBAAgB,CAAC,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC,CAAC;AAEF,SAAgB,OAAO,CAAC,CAAU;IAChC,OAAO,CACL,IAAA,YAAG,EAAC,CAAC,EAAE,wBAAgB,CAAC;QACvB,CAAqC,CAAC,wBAAgB,CAAC,KAAK,IAAI,CAClE,CAAC;AACJ,CAAC;AAED,IAAiB,MAAM,CAmNtB;AAnND,WAAiB,MAAM;IACrB,SAAgB,KAAK;QACnB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,YAAK,QAMpB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,MAAM;QACpB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,aAAM,SAMrB,CAAA;IAED,SAAgB,IAAI;QAClB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,WAAI,OAMnB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,IAAI;QAClB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,WAAI,OAMnB,CAAA;IAED,SAAgB,GAAG;QACjB,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,UAAG,MAMlB,CAAA;IAED,SAAgB,OAAO;QACrB,OAAO;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IANe,cAAO,UAMtB,CAAA;IAED,SAAgB,YAAY,CAC1B,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,mBAAY,eAS3B,CAAA;IAED,SAAgB,UAAU,CACxB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,iBAAU,aASzB,CAAA;IAED,SAAgB,aAAa,CAC3B,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,oBAAa,gBAS5B,CAAA;IAED,SAAgB,WAAW,CACzB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,cAAc;YACpB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,kBAAW,cAS1B,CAAA;IAED,SAAgB,UAAU,CACxB,KAAY;QAEZ,OAAO;YACL,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK;YACZ,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,iBAAU,aASzB,CAAA;IAcD,SAAgB,OAAO,CACrB,KAAgC;QAEhC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC;QAC1D,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IANe,cAAO,UAMtB,CAAA;IAED,SAAgB,GAAG,CACjB,IAAU,EACV,IAAW;QAEX,OAAO;YACL,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,CAAC,IAAI,CAAC,CAAC;gBACR;oBACE,IAAI,EAAE,IAAI;iBACX;gBACH,CAAC,CAAC,EAAE,CAAC;YACL,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAfe,UAAG,MAelB,CAAA;IAED,SAAgB,KAAK,CAAqB,IAAU;QAClD,OAAO;YACL,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAPe,YAAK,QAOpB,CAAA;IAED,SAAgB,KAAK,CACnB,GAAG,KAAY;QAEf,OAAO;YACL,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,KAAK;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,YAAK,QASpB,CAAA;IAED,SAAgB,OAAO,CACrB,GAAQ;QAER,OAAO;YACL,IAAI,EAAE,SAAS;YACf,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,cAAO,UAStB,CAAA;IAED,SAAgB,MAAM,CAAsB,IAAU;QACpD,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IAPe,aAAM,SAOrB,CAAA;IAMD,SAAgB,KAAK,CACnB,GAAG,GAAQ;QAEX,OAAO;YACL,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,GAAG;YACR,IAAI,EAAE,EAAE;YACR,GAAG,aAAa,EAAE;SACnB,CAAC;IACJ,CAAC;IATe,YAAK,QASpB,CAAA;AACH,CAAC,EAnNgB,MAAM,sBAAN,MAAM,QAmNtB;AAED,IAAiB,QAAQ,CAyFxB;AAzFD,WAAiB,QAAQ;IACvB,SAAgB,EAAE,CAChB,KAAQ,EACR,IAAU;QAEV,OAAO;YACL,GAAG,KAAK;YACR,IAAI,EAAE;gBACJ,GAAG,IAAI;gBACP,GAAG,KAAK,CAAC,IAAI;aACd;SACF,CAAC;IACJ,CAAC;IAXe,WAAE,KAWjB,CAAA;IAED,SAAgB,QAAQ,CACtB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAJe,iBAAQ,WAIvB,CAAA;IAED,SAAgB,OAAO,CACrB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAJe,gBAAO,UAItB,CAAA;IAED,SAAgB,MAAM,CACpB,KAAQ;QAER,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACrC,CAAC;IAJe,eAAM,SAIrB,CAAA;IAED,SAAgB,KAAK,CACnB,KAAQ,EACR,IAAU;QAEV,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;IACnC,CAAC;IALe,cAAK,QAKpB,CAAA;IAED,SAAgB,OAAO,CAKrB,KAAQ,EACR,SAAoB,EACpB,SAAoB;QAKpB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC;IAbe,gBAAO,UAatB,CAAA;IAED,SAAgB,IAAI,CAClB,CAAU,EACV,UAEI,EAAE;QAEN,IAAI,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC,GAAG,EAAE,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;QACtD,IAAI,OAAO,CAAC,KAAK,QAAQ;YACvB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5E,IAAI,OAAO,CAAC,KAAK,QAAQ;YACvB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QACtE,IAAI,OAAO,CAAC,KAAK,SAAS;YACxB,OAAO,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACxE,IAAI,CAAC,YAAY,IAAI;YAAE,OAAO,MAAM,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;YACzD,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;YAC7D,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC9C,OAAO,MAAM,CAAC,KAAK,CACjB,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;gBAChB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC;gBACrB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAClD,CAAC;QACJ,CAAC;QACD,IAAI,IAAA,sBAAa,EAAC,CAAC,CAAC,EAAE,CAAC;YACrB,OAAO,MAAM,CAAC,OAAO,CACnB,MAAM,CAAC,WAAW,CAChB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CACzD,CACF,CAAC;QACJ,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,EAAE,CAAC;IAC1B,CAAC;IAlCe,aAAI,OAkCnB,CAAA;AACH,CAAC,EAzFgB,QAAQ,wBAAR,QAAQ,QAyFxB"}

package/dist/esm/translations/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./translation";
+export * from "./typescript";
+export * from "./postgres";
+//# sourceMappingURL=index.d.ts.map

package/dist/esm/translations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/translations/index.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/dist/esm/translations/index.js

@@ -0,0 +1,20 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+__exportStar(require("./translation"), exports);
+__exportStar(require("./typescript"), exports);
+__exportStar(require("./postgres"), exports);
+//# sourceMappingURL=index.js.map

package/dist/esm/translations/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/translations/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,gDAA8B;AAC9B,+CAA6B;AAC7B,6CAA2B"}

package/dist/esm/translations/postgres.d.ts

@@ -0,0 +1,3 @@
+import { TranslationFunc } from "./translation";
+export declare const postgres: TranslationFunc<string>;
+//# sourceMappingURL=postgres.d.ts.map

package/dist/esm/translations/postgres.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.d.ts","sourceRoot":"","sources":["../../../src/translations/postgres.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AA+DhD,eAAO,MAAM,QAAQ,EAAE,eAAe,CAAC,MAAM,CAQ5C,CAAC"}

package/dist/esm/translations/postgres.js

@@ -0,0 +1,72 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.postgres = void 0;
+const pgType = (shape) => {
+    switch (shape.type) {
+        case "int":
+            return "INTEGER";
+        case "float":
+            return "DOUBLE PRECISION";
+        case "number":
+            return "NUMERIC";
+        case "str":
+            return "TEXT";
+        case "bool":
+            return "BOOLEAN";
+        case "date":
+            return "TIMESTAMPTZ";
+        case "nil":
+            return "NULL";
+        case "unknown":
+            return "JSONB";
+        case "literal-int":
+        case "literal-float":
+        case "literal-number":
+            return "NUMERIC";
+        case "literal-str":
+            return "TEXT";
+        case "literal-bool":
+            return "BOOLEAN";
+        case "ref":
+            return shape.name;
+        case "array": {
+            const inner = pgType(shape.item);
+            return inner === "JSONB" ? "JSONB" : `${inner}[]`;
+        }
+        case "tuple":
+            return "JSONB";
+        case "union":
+            return "JSONB";
+        case "vector":
+            return `vector(${shape.dims})`;
+        case "mapping":
+            return "JSONB";
+    }
+};
+const pgColumnDef = (colName, shape) => {
+    const parts = [colName, pgType(shape)];
+    if (shape.anno.primary) {
+        parts.push("PRIMARY KEY");
+    }
+    else if (!shape.anno.optional) {
+        parts.push("NOT NULL");
+    }
+    if (shape.anno.unique && !shape.anno.primary) {
+        parts.push("UNIQUE");
+    }
+    if (shape.anno.foreign) {
+        parts.push(`REFERENCES ${shape.anno.foreign.shapeName}(${shape.anno.foreign.fieldName})`);
+    }
+    return parts.join(" ");
+};
+const postgres = (shape) => {
+    if (shape.type === "mapping" && shape.anno.name) {
+        const cols = Object.entries(shape.rec)
+            .map(([k, v]) => `  ${pgColumnDef(k, v)}`)
+            .join(",\n");
+        return `CREATE TABLE IF NOT EXISTS ${shape.anno.name} (\n${cols}\n)`;
+    }
+    return pgType(shape);
+};
+exports.postgres = postgres;
+//# sourceMappingURL=postgres.js.map

package/dist/esm/translations/postgres.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"postgres.js","sourceRoot":"","sources":["../../../src/translations/postgres.ts"],"names":[],"mappings":";;;AAGA,MAAM,MAAM,GAAG,CAAC,KAAY,EAAU,EAAE;IACtC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,kBAAkB,CAAC;QAC5B,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,aAAa,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;QACjB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe,CAAC;QACrB,KAAK,gBAAgB;YACnB,OAAO,SAAS,CAAC;QACnB,KAAK,aAAa;YAChB,OAAO,MAAM,CAAC;QAChB,KAAK,cAAc;YACjB,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,IAAI,CAAC;QACpB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACjC,OAAO,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC;QACpD,CAAC;QACD,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,UAAU,KAAK,CAAC,IAAI,GAAG,CAAC;QACjC,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAE,KAAY,EAAU,EAAE;IAC5D,MAAM,KAAK,GAAa,CAAC,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACjD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5B,CAAC;SAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CACR,cAAc,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,CAC9E,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC,CAAC;AAEK,MAAM,QAAQ,GAA4B,CAAC,KAAK,EAAE,EAAE;IACzD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;aACzC,IAAI,CAAC,KAAK,CAAC,CAAC;QACf,OAAO,8BAA8B,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,IAAI,KAAK,CAAC;IACvE,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AARW,QAAA,QAAQ,YAQnB"}

package/dist/esm/translations/translation.d.ts

@@ -0,0 +1,3 @@
+import { Shape } from "../shape";
+export type TranslationFunc<T extends any = any> = (shape: Shape) => T;
+//# sourceMappingURL=translation.d.ts.map

package/dist/esm/translations/translation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation.d.ts","sourceRoot":"","sources":["../../../src/translations/translation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,KAAK,KAAK,CAAC,CAAC"}

package/dist/esm/translations/translation.js

@@ -0,0 +1,3 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=translation.js.map

package/dist/esm/translations/translation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"translation.js","sourceRoot":"","sources":["../../../src/translations/translation.ts"],"names":[],"mappings":""}

package/dist/esm/translations/typescript.d.ts

@@ -0,0 +1,3 @@
+import { TranslationFunc } from "./translation";
+export declare const typescript: TranslationFunc<string>;
+//# sourceMappingURL=typescript.d.ts.map

package/dist/esm/translations/typescript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typescript.d.ts","sourceRoot":"","sources":["../../../src/translations/typescript.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAyIhD,eAAO,MAAM,UAAU,EAAE,eAAe,CAAC,MAAM,CAE9C,CAAC"}