liminal 0.4.1 → 1.0.0-beta.2

package/esm/core/None.d.ts

@@ -0,0 +1,52 @@
+import { Type } from "./Type.js";
+declare const None_base: {
+    new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+        ""?: [Native, From, Into] | undefined;
+        readonly typeName: "None";
+        readonly source: Source | import("./Type.js").TypeSource;
+        ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+        into<O extends Into>(into: import("./Type.js").Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): import("./Bool.js").bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends import("./Type.js").Factory<T_1>>(this: T_1, match: M): import("./Bool.js").bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends import("./Type.js").Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends import("./Type.js").Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends import("./Type.js").Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends import("./Type.js").Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    make<Name extends string>(name: Name): {
+        new <Source_1, Native_1 = never, From_1 = Native_1, Into_1 extends Type<any, any, any, any, any> = never>(source: Source_1 | import("./Type.js").TypeSource): {
+            ""?: [Native_1, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source_1 | import("./Type.js").TypeSource;
+            ctor: new (source: Source_1 | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: import("./Type.js").Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): import("./Bool.js").bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends import("./Type.js").Factory<T_7>>(this: T_7, match: M_5): import("./Bool.js").bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends import("./Type.js").Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends import("./Type.js").Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends import("./Type.js").Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends import("./Type.js").Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class None extends None_base<NoneSource, undefined> {
+}
+export type NoneSource = NoneSource.Intrinsic;
+export declare namespace NoneSource {
+    const Intrinsic_base: {
+        new (): {
+            readonly tag: "Default";
+        };
+    };
+    export class Intrinsic extends Intrinsic_base {
+    }
+    export {};
+}
+export declare const none: None;
+export {};
+//# sourceMappingURL=None.d.ts.map

package/esm/core/None.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"None.d.ts","sourceRoot":"","sources":["../../src/core/None.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhC,qBAAa,IAAK,SAAQ,UAAkB,UAAU,EAAE,SAAS,CAAC;CAAG;AAErE,MAAM,MAAM,UAAU,GAAG,UAAU,CAAC,SAAS,CAAA;AAC7C,yBAAiB,UAAU,CAAC;;;;;;IAC1B,MAAM,OAAO,SAAU,SAAQ,cAAiB;KAAG;;CACpD;AAED,eAAO,MAAM,IAAI,MAAuC,CAAA"}

package/esm/core/None.js

@@ -0,0 +1,12 @@
+import { Tagged } from "../util/Tagged.js";
+import { Type } from "./Type.js";
+export class None extends Type.make("None") {
+}
+export var NoneSource;
+(function (NoneSource) {
+    class Intrinsic extends Tagged("Default") {
+    }
+    NoneSource.Intrinsic = Intrinsic;
+})(NoneSource || (NoneSource = {}));
+export const none = new None(new NoneSource.Intrinsic());
+//# sourceMappingURL=None.js.map

package/esm/core/None.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"None.js","sourceRoot":"","sources":["../../src/core/None.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,OAAO,IAAK,SAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAwB;CAAG;AAGrE,MAAM,KAAW,UAAU,CAE1B;AAFD,WAAiB,UAAU;IACzB,MAAa,SAAU,SAAQ,MAAM,CAAC,SAAS,CAAC;KAAG;IAAtC,oBAAS,YAA6B,CAAA;AACrD,CAAC,EAFgB,UAAU,KAAV,UAAU,QAE1B;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC,CAAA"}

package/esm/core/State.d.ts

@@ -0,0 +1,16 @@
+import { Effect } from "./Effect.js";
+import { Factory, Type } from "./Type.js";
+export type State<T extends Type = any> = {
+    (): Effect<never, T>;
+    (setter: StateSetter<T>): Effect<never, T>;
+    tag: "State";
+    type: Factory<T>;
+};
+export declare function State<T extends Type>(type: Factory<T>): State<T>;
+export declare class StateEffect<T extends Type> extends Effect<never, T> {
+    readonly state: State<T>;
+    setter?: StateSetter<T>;
+    constructor(state: State<T>, setter?: StateSetter<T>);
+}
+export type StateSetter<T> = T | ((value: T) => T);
+//# sourceMappingURL=State.d.ts.map

package/esm/core/State.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"State.d.ts","sourceRoot":"","sources":["../../src/core/State.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEzC,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,IAAI,GAAG,GAAG,IAAI;IACxC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IACpB,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;IAC1C,GAAG,EAAE,OAAO,CAAA;IACZ,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACjB,CAAA;AAED,wBAAgB,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAQhE;AAED,qBAAa,WAAW,CAAC,CAAC,SAAS,IAAI,CAAE,SAAQ,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAEnD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAD5B,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;gBACV,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;CAM9D;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA"}

package/esm/core/State.js

@@ -0,0 +1,22 @@
+import { Effect } from "./Effect.js";
+export function State(type) {
+    const state = Object.assign((setter) => {
+        return new StateEffect(state, setter);
+    }, {
+        tag: "State",
+        type,
+    });
+    return state;
+}
+export class StateEffect extends Effect {
+    state;
+    constructor(state, setter) {
+        super();
+        this.state = state;
+        this.yields = [this];
+        this.result = new state.type(this);
+        if (setter)
+            this.setter = setter;
+    }
+}
+//# sourceMappingURL=State.js.map

package/esm/core/State.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"State.js","sourceRoot":"","sources":["../../src/core/State.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAUpC,MAAM,UAAU,KAAK,CAAiB,IAAgB;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,MAAuB,EAAE,EAAE;QACtD,OAAO,IAAI,WAAW,CAAI,KAAK,EAAE,MAAM,CAAC,CAAA;IAC1C,CAAC,EAAE;QACD,GAAG,EAAE,OAAgB;QACrB,IAAI;KACL,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,OAAO,WAA4B,SAAQ,MAAgB;IAE1C;IAArB,YAAqB,KAAe,EAAE,MAAuB;QAC3D,KAAK,EAAE,CAAA;QADY,UAAK,GAAL,KAAK,CAAU;QAElC,IAAI,CAAC,MAAM,GAAG,CAAC,IAAa,CAAC,CAAA;QAC7B,IAAI,CAAC,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAClC,IAAI,MAAM;YAAE,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IAClC,CAAC;CACF"}

package/esm/core/String.d.ts

@@ -0,0 +1,41 @@
+import { Type } from "./Type.js";
+declare const String_base: {
+    new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: import("./Type.js").TypeSource | Source): {
+        ""?: [Native, From, Into] | undefined;
+        readonly typeName: "String";
+        readonly source: import("./Type.js").TypeSource | Source;
+        ctor: new (source: import("./Type.js").TypeSource | Source) => any;
+        into<O extends Into>(into: import("./Type.js").Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): import("./Bool.js").bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends import("./Type.js").Factory<T_1>>(this: T_1, match: M): import("./Bool.js").bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends import("./Type.js").Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends import("./Type.js").Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends import("./Type.js").Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends import("./Type.js").Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    make<Name extends string>(name: Name): {
+        new <Source_1, Native_1 = never, From_1 = Native_1, Into_1 extends Type<any, any, any, any, any> = never>(source: Source_1 | import("./Type.js").TypeSource): {
+            ""?: [Native_1, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source_1 | import("./Type.js").TypeSource;
+            ctor: new (source: Source_1 | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: import("./Type.js").Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): import("./Bool.js").bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends import("./Type.js").Factory<T_7>>(this: T_7, match: M_5): import("./Bool.js").bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends import("./Type.js").Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends import("./Type.js").Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends import("./Type.js").Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends import("./Type.js").Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: import("./Type.js").Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class String extends String_base<StringSource, string, string> {
+}
+export type StringSource = never;
+export {};
+//# sourceMappingURL=String.d.ts.map

package/esm/core/String.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"String.d.ts","sourceRoot":"","sources":["../../src/core/String.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEhC,qBAAa,MAAO,SAAQ,YAAoB,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC;CAAG;AAEhF,MAAM,MAAM,YAAY,GAAG,KAAK,CAAA"}

package/esm/core/String.js

@@ -0,0 +1,4 @@
+import { Type } from "./Type.js";
+export class String extends Type.make("String") {
+}
+//# sourceMappingURL=String.js.map

package/esm/core/String.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"String.js","sourceRoot":"","sources":["../../src/core/String.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,OAAO,MAAO,SAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAA+B;CAAG"}

package/esm/core/Struct.d.ts

@@ -0,0 +1,58 @@
+import { Flatten } from "../util/Flatten.js";
+import { Key } from "./Key.js";
+import { Factory, Type, TypeSource } from "./Type.js";
+export interface Struct<F extends FieldTypes = any> extends InstanceType<ReturnType<typeof Struct<F>>> {
+}
+export declare function Struct<const F extends FieldTypes>(fieldTypes: F): {
+    new (source: TypeSource): {
+        fieldTypes: F;
+        fields: Fields<F>;
+        ""?: [{ [K_1 in keyof { -readonly [K in keyof F]: StructNativeField<F[K]>; }]: { -readonly [K in keyof F]: StructNativeField<F[K]>; }[K_1]; }, StructFrom<F>, never] | undefined;
+        readonly typeName: "Struct";
+        readonly source: TypeSource;
+        ctor: new (source: TypeSource) => any;
+        into<O extends never>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): import("./Bool.js").bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): import("./Bool.js").bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: Source | TypeSource): {
+            ""?: [Native, From, Into] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | TypeSource;
+            ctor: new (source: Source | TypeSource) => any;
+            into<O_1 extends Into>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): import("./Bool.js").bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): import("./Bool.js").bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export type FieldType = keyof any | Factory;
+export type FieldTypes = Record<string, FieldType>;
+export type Fields<F extends FieldTypes = any> = {
+    -readonly [K in keyof F]: F[K] extends keyof any ? Key<F[K]> : F[K] extends Factory ? InstanceType<F[K]> : never;
+};
+export type StructFrom<F extends FieldTypes = any> = F extends Record<string, keyof any> ? undefined : {
+    -readonly [K in keyof F as F[K] extends Factory ? K : never]: F[K] extends Factory<infer T> ? T | Type.Native<T> : never;
+};
+type StructNativeField<T> = T extends Factory<infer U> ? Type.Native<U> : T;
+export type StructNative<F extends FieldTypes> = Flatten<{
+    -readonly [K in keyof F]: StructNativeField<F[K]>;
+}>;
+export type StructField<T> = T extends keyof any ? Key<T> : T extends Factory ? InstanceType<T> : never;
+export type StructSource = never;
+export {};
+//# sourceMappingURL=Struct.d.ts.map

package/esm/core/Struct.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Struct.d.ts","sourceRoot":"","sources":["../../src/core/Struct.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE5C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAErD,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,GAAG,CAChD,SAAQ,YAAY,CAAC,UAAU,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAClD;AAEF,wBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,UAAU,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY/D;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,GAAG,OAAO,CAAA;AAC3C,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAElD,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,UAAU,GAAG,GAAG,IAAI;IAC/C,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACxD,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACzC,KAAK;CACV,CAAA;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,UAAU,GAAG,GAAG,IAAI,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,GAAG,SAAS,GAChG;IACA,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GACvF,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAClB,KAAK;CACV,CAAA;AAEH,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;AAC3E,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CACtD;IAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CACtD,CAAA;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,GACrD,CAAC,SAAS,OAAO,GAAG,YAAY,CAAC,CAAC,CAAC,GACnC,KAAK,CAAA;AAET,MAAM,MAAM,YAAY,GAAG,KAAK,CAAA"}

package/esm/core/Struct.js

@@ -0,0 +1,13 @@
+import { isKey } from "../util/isKey.js";
+import { Key } from "./Key.js";
+import { Type, TypeSource } from "./Type.js";
+export function Struct(fieldTypes) {
+    return class extends Type.make("Struct") {
+        fieldTypes = fieldTypes;
+        fields = Object.fromEntries(Object.entries(fieldTypes).map(([key, type]) => [
+            key,
+            new (isKey(type) ? Key(type) : type)(new TypeSource.StructField(this, key)),
+        ]));
+    };
+}
+//# sourceMappingURL=Struct.js.map

package/esm/core/Struct.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Struct.js","sourceRoot":"","sources":["../../src/core/Struct.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AACxC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAW,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAMrD,MAAM,UAAU,MAAM,CAA6B,UAAa;IAC9D,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,QAAQ,CAA+C;QACpF,UAAU,GAAG,UAAU,CAAA;QACvB,MAAM,GAAG,MAAM,CAAC,WAAW,CACzB,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;YAC9C,GAAG;YACH,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAClC,IAAI,UAAU,CAAC,WAAW,CAAC,IAAI,EAAE,GAAG,CAAC,CACtC;SACF,CAAC,CACU,CAAA;KACf,CAAA;AACH,CAAC"}

package/esm/core/Type.d.ts

@@ -0,0 +1,78 @@
+import { Rest } from "../util/Rest.js";
+import { bool } from "./Bool.js";
+import { GenCall, Result, ValueCall, Yield } from "./Call.js";
+import { Effect } from "./Effect.js";
+import { State } from "./State.js";
+export type Factory<T extends Type = any> = new (source: any) => T;
+export declare class Type<Name extends string = any, Source = any, Native = any, From = any, Into extends Type = any> {
+    readonly typeName: Name;
+    readonly source: Source | TypeSource;
+    ""?: [Native, From, Into];
+    static make<Name extends string>(name: Name): {
+        new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: Source | TypeSource): {
+            ""?: [Native, From, Into] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | TypeSource;
+            ctor: new (source: Source | TypeSource) => any;
+            into<O extends Into>(into: Factory<O>): O;
+            equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): bool;
+            is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): bool;
+            case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: ValueCall<R, [InstanceType<M_1>]>): U;
+            case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends Yield, R_1 extends Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: GenCall<Y, R_1, [InstanceType<M_2>]>): Effect<Y, U_1>;
+            "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+            "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_6 extends Type<any, any, any, any, any>>(this: Factory<T_6>, ...[value]: Rest<Type.From<T_6>>): T_6;
+        state<T_7 extends Type<any, any, any, any, any>>(this: Factory<T_7>): State<T_7>;
+    };
+    static new<T extends Type>(this: Factory<T>, ...[value]: Rest<Type.From<T>>): T;
+    static state<T extends Type>(this: Factory<T>): State<T>;
+    constructor(typeName: Name, source: Source | TypeSource);
+    ctor: new (source: Source | TypeSource) => this;
+    into<O extends Into>(into: Factory<O>): O;
+    equals<T extends Type>(this: T, inQuestion: T): bool;
+    is<T extends Type, M extends Factory<T>>(this: T, match: M): bool;
+    case<T extends Type, M extends Factory<T>, R extends Result, U extends Exclude<T, InstanceType<M>> | R>(this: T, match: M, f: ValueCall<R, [InstanceType<M>]>): U;
+    case<T extends Type, M extends Factory<T>, Y extends Yield, R extends Result, U extends Exclude<T, InstanceType<M>> | R>(this: T, match: M, f: GenCall<Y, R, [InstanceType<M>]>): Effect<Y, U>;
+    "?"<T extends Type, M extends Factory<T>>(this: T, match: M): Effect<InstanceType<M>, Exclude<T, InstanceType<M>>>;
+    "?"<T extends Type, M extends Factory<T>, W extends Type>(this: T, match: M, with_: W): Effect<W, Exclude<T, InstanceType<M>>>;
+}
+export declare namespace Type {
+    type From<T> = T extends Type<any, any, any, infer From> ? From : never;
+    type Native<T extends Type | void> = T extends Type<any, any, infer N> ? N : undefined;
+    type Source<T extends Type> = T extends Type<any, infer S> ? S : never;
+}
+export type TypeSource = TypeSource.New | TypeSource.Into | TypeSource.StructField;
+export declare namespace TypeSource {
+    const New_base: {
+        new (): {
+            readonly tag: "New";
+        };
+    };
+    export class New extends New_base {
+        readonly from: unknown;
+        constructor(from: unknown);
+    }
+    const Into_base: {
+        new (): {
+            readonly tag: "Into";
+        };
+    };
+    export class Into extends Into_base {
+        readonly from: unknown;
+        constructor(from: unknown);
+    }
+    const StructField_base: {
+        new (): {
+            readonly tag: "StructField";
+        };
+    };
+    export class StructField extends StructField_base {
+        readonly self: Type;
+        readonly key: keyof any;
+        constructor(self: Type, key: keyof any);
+    }
+    export {};
+}
+//# sourceMappingURL=Type.d.ts.map

package/esm/core/Type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.d.ts","sourceRoot":"","sources":["../../src/core/Type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAGtC,OAAO,EAAE,IAAI,EAAc,MAAM,WAAW,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,IAAI,GAAG,GAAG,IAAI,KAAI,MAAM,EAAE,GAAG,KAAK,CAAC,CAAA;AAEjE,qBAAa,IAAI,CACf,IAAI,SAAS,MAAM,GAAG,GAAG,EACzB,MAAM,GAAG,GAAG,EACZ,MAAM,GAAG,GAAG,EACZ,IAAI,GAAG,GAAG,EACV,IAAI,SAAS,IAAI,GAAG,GAAG;IAsBX,QAAQ,CAAC,QAAQ,EAAE,IAAI;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU;IApBjE,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;IAEjC,MAAM,CAAC,IAAI,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI;;;;;;;;;;;;;;wCAAJ,IAAI;;;;IAU3C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IAI/E,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;gBAInC,QAAQ,EAAE,IAAI,EAAW,MAAM,EAAE,MAAM,GAAG,UAAU;IAEzE,IAAI,eAA4C,MAAM,GAAG,UAAU,KAAK,IAAI,CAAA;IAE5E,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAIzC,MAAM,CAAC,CAAC,SAAS,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,IAAI;IAIpD,EAAE,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAIjE,IAAI,CACF,CAAC,SAAS,IAAI,EACd,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAEzC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,EACR,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC,CAAC;IACJ,IAAI,CACF,CAAC,SAAS,IAAI,EACd,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,KAAK,EACf,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAEzC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,EACR,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAClC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC;IAKf,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACtC,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACP,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,GAAG,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,EACtD,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,CAAC,GACP,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;CAQ1C;AAED,MAAM,CAAC,OAAO,WAAW,IAAI,CAAC;IAC5B,KAAY,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,KAAK,CAAA;IAC9E,KAAY,MAAM,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAA;IAC7F,KAAY,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;CAC9E;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,GAAG,UAAU,CAAC,IAAI,GAAG,UAAU,CAAC,WAAW,CAAA;AAClF,yBAAiB,UAAU,CAAC;;;;;;IAC1B,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,IAAI,EAAE,OAAO;oBAAb,IAAI,EAAE,OAAO;KAGnC;;;;;;IACD,MAAM,OAAO,IAAK,SAAQ,SAAc;QAC1B,QAAQ,CAAC,IAAI,EAAE,OAAO;oBAAb,IAAI,EAAE,OAAO;KAGnC;;;;;;IACD,MAAM,OAAO,WAAY,SAAQ,gBAAqB;QACxC,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG;oBAAnC,IAAI,EAAE,IAAI,EAAW,GAAG,EAAE,MAAM,GAAG;KAGzD;;CACF"}

package/esm/core/Type.js

@@ -0,0 +1,71 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { bool, BoolSource } from "./Bool.js";
+import { State } from "./State.js";
+export class Type {
+    typeName;
+    source;
+    static make(name) {
+        return class extends this {
+            constructor(source) {
+                super(name, source);
+            }
+        };
+    }
+    static new(...[value]) {
+        return new this(new TypeSource.New(value));
+    }
+    static state() {
+        return State(this);
+    }
+    constructor(typeName, source) {
+        this.typeName = typeName;
+        this.source = source;
+    }
+    ctor = this.constructor;
+    into(into) {
+        return new into(new TypeSource.Into({ from: this }));
+    }
+    equals(inQuestion) {
+        return new bool(new BoolSource.Equals(this, inQuestion));
+    }
+    is(match) {
+        return new bool(new BoolSource.Is(this, match));
+    }
+    case(_match, _f) {
+        unimplemented();
+    }
+    "?"(_match, _maybeWith_) {
+        return unimplemented();
+    }
+}
+export var TypeSource;
+(function (TypeSource) {
+    class New extends Tagged("New") {
+        from;
+        constructor(from) {
+            super();
+            this.from = from;
+        }
+    }
+    TypeSource.New = New;
+    class Into extends Tagged("Into") {
+        from;
+        constructor(from) {
+            super();
+            this.from = from;
+        }
+    }
+    TypeSource.Into = Into;
+    class StructField extends Tagged("StructField") {
+        self;
+        key;
+        constructor(self, key) {
+            super();
+            this.self = self;
+            this.key = key;
+        }
+    }
+    TypeSource.StructField = StructField;
+})(TypeSource || (TypeSource = {}));
+//# sourceMappingURL=Type.js.map

package/esm/core/Type.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Type.js","sourceRoot":"","sources":["../../src/core/Type.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAG5C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAIlC,MAAM,OAAO,IAAI;IA2BM;IAAyB;IAlB9C,MAAM,CAAC,IAAI,CAAsB,IAAU;QACzC,OAAO,KACL,SAAQ,IAAsC;YAE9C,YAAY,MAA2B;gBACrC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YACrB,CAAC;SACF,CAAA;IACH,CAAC;IAED,MAAM,CAAC,GAAG,CAAmC,GAAG,CAAC,KAAK,CAAqB;QACzE,OAAO,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5C,CAAC;IAED,MAAM,CAAC,KAAK;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,CAAA;IACpB,CAAC;IAED,YAAqB,QAAc,EAAW,MAA2B;QAApD,aAAQ,GAAR,QAAQ,CAAM;QAAW,WAAM,GAAN,MAAM,CAAqB;IAAG,CAAC;IAE7E,IAAI,GAAG,IAAI,CAAC,WAAgE,CAAA;IAE5E,IAAI,CAAiB,IAAgB;QACnC,OAAO,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;IACtD,CAAC;IAED,MAAM,CAA0B,UAAa;QAC3C,OAAO,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;IAC1D,CAAC;IAED,EAAE,CAAgD,KAAQ;QACxD,OAAO,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;IACjD,CAAC;IAuBD,IAAI,CAAC,MAAW,EAAE,EAAO;QACvB,aAAa,EAAE,CAAA;IACjB,CAAC;IAWD,GAAG,CAED,MAAkB,EAClB,WAAkB;QAElB,OAAO,aAAa,EAAE,CAAA;IACxB,CAAC;CACF;AASD,MAAM,KAAW,UAAU,CAgB1B;AAhBD,WAAiB,UAAU;IACzB,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAArB,YAAqB,IAAa;YAChC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAS;QAElC,CAAC;KACF;IAJY,cAAG,MAIf,CAAA;IACD,MAAa,IAAK,SAAQ,MAAM,CAAC,MAAM,CAAC;QACjB;QAArB,YAAqB,IAAa;YAChC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAS;QAElC,CAAC;KACF;IAJY,eAAI,OAIhB,CAAA;IACD,MAAa,WAAY,SAAQ,MAAM,CAAC,aAAa,CAAC;QAC/B;QAAqB;QAA1C,YAAqB,IAAU,EAAW,GAAc;YACtD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,QAAG,GAAH,GAAG,CAAW;QAExD,CAAC;KACF;IAJY,sBAAW,cAIvB,CAAA;AACH,CAAC,EAhBgB,UAAU,KAAV,UAAU,QAgB1B"}

package/esm/core/Union.d.ts

@@ -0,0 +1,43 @@
+import { MerkleListSource } from "./MerkleList.js";
+import { MerkleMapSource } from "./MerkleMap.js";
+import { Factory, Type } from "./Type.js";
+export interface Union<T extends Factory[] = any> extends ReturnType<typeof Union<T>> {
+}
+export declare function Union<T extends Factory[]>(...members: T): {
+    new (source: import("./Type.js").TypeSource | UnionSource): {
+        members: T;
+        ""?: [Type.Native<InstanceType<T[number]>>, InstanceType<T[number]> | Type.Native<InstanceType<T[number]>>, never] | undefined;
+        readonly typeName: "Union";
+        readonly source: import("./Type.js").TypeSource | UnionSource;
+        ctor: new (source: import("./Type.js").TypeSource | UnionSource) => any;
+        into<O extends never>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): import("./Bool.js").bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): import("./Bool.js").bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends import("./Call.js").Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    make<Name extends string>(name: Name): {
+        new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: Source | import("./Type.js").TypeSource): {
+            ""?: [Native, From, Into] | undefined;
+            readonly typeName: Name;
+            readonly source: Source | import("./Type.js").TypeSource;
+            ctor: new (source: Source | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): import("./Bool.js").bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): import("./Bool.js").bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends import("./Call.js").Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export type UnionSource = MerkleMapSource.Get | MerkleListSource.At;
+//# sourceMappingURL=Union.d.ts.map

package/esm/core/Union.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Union.d.ts","sourceRoot":"","sources":["../../src/core/Union.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEzC,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,GAAG,CAAE,SAAQ,UAAU,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;CAAG;AAExF,wBAAgB,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQvD;AAED,MAAM,MAAM,WAAW,GAAG,eAAe,CAAC,GAAG,GAAG,gBAAgB,CAAC,EAAE,CAAA"}

package/esm/core/Union.js

@@ -0,0 +1,7 @@
+import { Type } from "./Type.js";
+export function Union(...members) {
+    return class extends Type.make("Union") {
+        members = members;
+    };
+}
+//# sourceMappingURL=Union.js.map

package/esm/core/Union.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Union.js","sourceRoot":"","sources":["../../src/core/Union.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AAIzC,MAAM,UAAU,KAAK,CAAsB,GAAG,OAAU;IACtD,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAIrC;QACC,OAAO,GAAG,OAAO,CAAA;KAClB,CAAA;AACH,CAAC"}

package/esm/core/Use.d.ts

@@ -0,0 +1,62 @@
+import { Flatten } from "../util/Flatten.js";
+import { U2I } from "../util/U2I.js";
+import { Yield } from "./Call.js";
+import { Factory, Type } from "./Type.js";
+import { Union } from "./Union.js";
+export type UseField = Factory;
+export type UseFieldTypes = Record<string, UseField>;
+export type UseFields<F extends UseFieldTypes = any> = {
+    [K in keyof F]: InstanceType<F[K]>;
+};
+export declare function use<F extends UseFieldTypes>(_fields: F): Generator<Use<Flatten<UseFields<F>>>, Flatten<{
+    [K in keyof F]: F[K] extends Union<infer U> ? InstanceType<U[number]> : InstanceType<F[K]>;
+}>>;
+declare const Use_base: {
+    new <Source, Native = never, From = Native, Into extends Type<any, any, any, any, any> = never>(source: import("./Type.js").TypeSource | Source): {
+        ""?: [Native, From, Into] | undefined;
+        readonly typeName: "Dependencies";
+        readonly source: import("./Type.js").TypeSource | Source;
+        ctor: new (source: import("./Type.js").TypeSource | Source) => any;
+        into<O extends Into>(into: Factory<O>): O;
+        equals<T extends Type<any, any, any, any, any>>(this: T, inQuestion: T): import("./Bool.js").bool;
+        is<T_1 extends Type<any, any, any, any, any>, M extends Factory<T_1>>(this: T_1, match: M): import("./Bool.js").bool;
+        case<T_2 extends Type<any, any, any, any, any>, M_1 extends Factory<T_2>, R extends import("./Call.js").Result, U extends R | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y extends Yield, R_1 extends import("./Call.js").Result, U_1 extends R_1 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y, R_1, [InstanceType<M_2>]>): import("./Effect.js").Effect<Y, U_1>;
+        "?"<T_4 extends Type<any, any, any, any, any>, M_3 extends Factory<T_4>>(this: T_4, match: M_3): import("./Effect.js").Effect<InstanceType<M_3>, Exclude<T_4, InstanceType<M_3>>>;
+        "?"<T_5 extends Type<any, any, any, any, any>, M_4 extends Factory<T_5>, W extends Type<any, any, any, any, any>>(this: T_5, match: M_4, with_: W): import("./Effect.js").Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    make<Name extends string>(name: Name): {
+        new <Source_1, Native_1 = never, From_1 = Native_1, Into_1 extends Type<any, any, any, any, any> = never>(source: Source_1 | import("./Type.js").TypeSource): {
+            ""?: [Native_1, From_1, Into_1] | undefined;
+            readonly typeName: Name;
+            readonly source: Source_1 | import("./Type.js").TypeSource;
+            ctor: new (source: Source_1 | import("./Type.js").TypeSource) => any;
+            into<O_1 extends Into_1>(into: Factory<O_1>): O_1;
+            equals<T_6 extends Type<any, any, any, any, any>>(this: T_6, inQuestion: T_6): import("./Bool.js").bool;
+            is<T_7 extends Type<any, any, any, any, any>, M_5 extends Factory<T_7>>(this: T_7, match: M_5): import("./Bool.js").bool;
+            case<T_8 extends Type<any, any, any, any, any>, M_6 extends Factory<T_8>, R_2 extends import("./Call.js").Result, U_2 extends R_2 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_2, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_1 extends Yield, R_3 extends import("./Call.js").Result, U_3 extends R_3 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_1, R_3, [InstanceType<M_7>]>): import("./Effect.js").Effect<Y_1, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends Factory<T_10>>(this: T_10, match: M_8): import("./Effect.js").Effect<InstanceType<M_8>, Exclude<T_10, InstanceType<M_8>>>;
+            "?"<T_11 extends Type<any, any, any, any, any>, M_9 extends Factory<T_11>, W_1 extends Type<any, any, any, any, any>>(this: T_11, match: M_9, with_: W_1): import("./Effect.js").Effect<W_1, Exclude<T_11, InstanceType<M_9>>>;
+        };
+        make<Name extends string>(name: Name): any;
+        "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+        state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+    };
+    "new"<T_12 extends Type<any, any, any, any, any>>(this: Factory<T_12>, ...[value]: import("../util/Rest.js").Rest<Type.From<T_12>>): T_12;
+    state<T_13 extends Type<any, any, any, any, any>>(this: Factory<T_13>): import("./State.js").State<T_13>;
+};
+export declare class Use<F extends UseFields = any> extends Use_base<UseSource> {
+    readonly fields: F;
+    constructor(fields: F);
+}
+declare const UseSource_base: {
+    new (): {
+        readonly tag: "UseSource";
+    };
+};
+export declare class UseSource extends UseSource_base {
+}
+export type ExtractUse<Y extends Yield> = Extract<Y, Use> extends Use<infer D> ? Flatten<U2I<D>> : never;
+export {};
+//# sourceMappingURL=Use.d.ts.map

package/esm/core/Use.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Use.d.ts","sourceRoot":"","sources":["../../src/core/Use.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE5C,OAAO,EAAE,GAAG,EAAE,MAAM,gBAAgB,CAAA;AAEpC,OAAO,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElC,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAA;AAC9B,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;AACpD,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,GAAG,GAAG,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAA;AAE7F,wBAAgB,GAAG,CAAC,CAAC,SAAS,aAAa,EACzC,OAAO,EAAE,CAAC,GACT,SAAS,CACV,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAC1B,OAAO,CACL;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAC/F,CACF,CAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,GAAG,CAAC,CAAC,SAAS,SAAS,GAAG,GAAG,CAAE,SAAQ,SAA0B,SAAS,CAAC;IAC1E,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAAT,MAAM,EAAE,CAAC;CAG/B;;;;;;AAED,qBAAa,SAAU,SAAQ,cAAmB;CAAG;AAErD,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,KAAK,IAAI,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAC5F,KAAK,CAAA"}

package/esm/core/Use.js

@@ -0,0 +1,16 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { Type } from "./Type.js";
+export function use(_fields) {
+    unimplemented();
+}
+export class Use extends Type.make("Dependencies") {
+    fields;
+    constructor(fields) {
+        super(new UseSource());
+        this.fields = fields;
+    }
+}
+export class UseSource extends Tagged("UseSource") {
+}
+//# sourceMappingURL=Use.js.map

package/esm/core/Use.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Use.js","sourceRoot":"","sources":["../../src/core/Use.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAE1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AAOzC,MAAM,UAAU,GAAG,CACjB,OAAU;IAOV,aAAa,EAAE,CAAA;AACjB,CAAC;AAED,MAAM,OAAO,GAA+B,SAAQ,IAAI,CAAC,IAAI,CAAC,cAAc,CAAY;IACjE;IAArB,YAAqB,MAAS;QAC5B,KAAK,CAAC,IAAI,SAAS,EAAE,CAAC,CAAA;QADH,WAAM,GAAN,MAAM,CAAG;IAE9B,CAAC;CACF;AAED,MAAM,OAAO,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAC;CAAG"}

package/esm/core/mod.d.ts

@@ -0,0 +1,18 @@
+export * from "./Bool.js";
+export * from "./Bytes.js";
+export * from "./Call.js";
+export * from "./Effect.js";
+export * from "./Hash.js";
+export * from "./Id.js";
+export * from "./Int.js";
+export * from "./Key.js";
+export * from "./MerkleList.js";
+export * from "./MerkleMap.js";
+export * from "./None.js";
+export * from "./State.js";
+export * from "./String.js";
+export * from "./Struct.js";
+export * from "./Type.js";
+export * from "./Union.js";
+export * from "./Use.js";
+//# sourceMappingURL=mod.d.ts.map