liminal 0.4.1 → 1.0.0-beta.2

package/esm/core/Bool.js

@@ -0,0 +1,73 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { Call } from "./Call.js";
+import { Effect } from "./Effect.js";
+import { Type } from "./Type.js";
+export class bool extends Type.make("bool") {
+    if(call) {
+        return new If(this, call);
+    }
+    not() {
+        return new bool(new BoolSource.Not(this));
+    }
+    assert(_error) {
+        unimplemented();
+    }
+}
+export class If extends Effect {
+    self;
+    call;
+    constructor(self, call) {
+        super();
+        this.self = self;
+        this.call = call;
+        const [yields, result] = Call.collect(call);
+        this.yields = yields;
+        this.result = result;
+    }
+    else(_call) {
+        return unimplemented();
+    }
+}
+export var BoolSource;
+(function (BoolSource) {
+    class True extends Tagged("True") {
+    }
+    BoolSource.True = True;
+    class False extends Tagged("False") {
+    }
+    BoolSource.False = False;
+    class Not extends Tagged("Not") {
+        not;
+        constructor(not) {
+            super();
+            this.not = not;
+        }
+    }
+    BoolSource.Not = Not;
+    class Equals extends Tagged("Equals") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    BoolSource.Equals = Equals;
+    class Is extends Tagged("Is") {
+        inQuestion;
+        match;
+        constructor(inQuestion, match) {
+            super();
+            this.inQuestion = inQuestion;
+            this.match = match;
+        }
+    }
+    BoolSource.Is = Is;
+})(BoolSource || (BoolSource = {}));
+const true_ = new bool(new BoolSource.True());
+export { true_ as true };
+const false_ = new bool(new BoolSource.False());
+export { false_ as false };
+//# sourceMappingURL=Bool.js.map

package/esm/core/Bool.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bool.js","sourceRoot":"","sources":["../../src/core/Bool.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,IAAI,EAAiB,MAAM,WAAW,CAAA;AAC/C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEpC,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AAEzC,MAAM,OAAO,IAAK,SAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAoC;IAK5E,EAAE,CAAC,IAAS;QACV,OAAO,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAC3B,CAAC;IAED,GAAG;QACD,OAAO,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;IAC3C,CAAC;IAED,MAAM,CAAiB,MAAS;QAC9B,aAAa,EAAE,CAAA;IACjB,CAAC;CACF;AAED,MAAM,OAAO,EAAsC,SAAQ,MAAmB;IACvD;IAAqB;IAA1C,YAAqB,IAAU,EAAW,IAAgB;QACxD,KAAK,EAAE,CAAA;QADY,SAAI,GAAJ,IAAI,CAAM;QAAW,SAAI,GAAJ,IAAI,CAAY;QAExD,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;QACpB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAA;IACtB,CAAC;IAQD,IAAI,CAAC,KAAU;QACb,OAAO,aAAa,EAAE,CAAA;IACxB,CAAC;CACF;AAQD,MAAM,KAAW,UAAU,CAkB1B;AAlBD,WAAiB,UAAU;IACzB,MAAa,IAAK,SAAQ,MAAM,CAAC,MAAM,CAAC;KAAG;IAA9B,eAAI,OAA0B,CAAA;IAC3C,MAAa,KAAM,SAAQ,MAAM,CAAC,OAAO,CAAC;KAAG;IAAhC,gBAAK,QAA2B,CAAA;IAC7C,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAArB,YAAqB,GAAS;YAC5B,KAAK,EAAE,CAAA;YADY,QAAG,GAAH,GAAG,CAAM;QAE9B,CAAC;KACF;IAJY,cAAG,MAIf,CAAA;IACD,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;QACrB;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,iBAAM,SAIlB,CAAA;IACD,MAAa,EAAG,SAAQ,MAAM,CAAC,IAAI,CAAC;QACb;QAA2B;QAAhD,YAAqB,UAAgB,EAAW,KAAc;YAC5D,KAAK,EAAE,CAAA;YADY,eAAU,GAAV,UAAU,CAAM;YAAW,UAAK,GAAL,KAAK,CAAS;QAE9D,CAAC;KACF;IAJY,aAAE,KAId,CAAA;AACH,CAAC,EAlBgB,UAAU,KAAV,UAAU,QAkB1B;AAED,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC,CAAA;AAC7C,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB,MAAM,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAA;AAC/C,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA"}

package/esm/core/Bytes.d.ts

@@ -0,0 +1,39 @@
+import { Type } from "./Type.js";
+export declare function Bytes<Size extends number>(size: Size): {
+    new (source: import("./Type.js").TypeSource): {
+        size: Size;
+        ""?: [Uint8Array, Uint8Array, never] | undefined;
+        readonly typeName: "Bytes";
+        readonly source: import("./Type.js").TypeSource;
+        ctor: new (source: import("./Type.js").TypeSource) => any;
+        into<O extends never>(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, 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: 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 type BytesSource = never;
+//# sourceMappingURL=Bytes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Bytes.d.ts","sourceRoot":"","sources":["../../src/core/Bytes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,wBAAgB,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIpD;AAED,MAAM,MAAM,WAAW,GAAG,KAAK,CAAA"}

package/esm/core/Bytes.js

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

package/esm/core/Bytes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bytes.js","sourceRoot":"","sources":["../../src/core/Bytes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,UAAU,KAAK,CAAsB,IAAU;IACnD,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,OAAO,CAA0B;QAC9D,IAAI,GAAG,IAAI,CAAA;KACZ,CAAA;AACH,CAAC"}

package/esm/core/Call.d.ts

@@ -0,0 +1,11 @@
+import * as G from "../util/generator/collect.js";
+import { Type } from "./Type.js";
+export type Yield = Type;
+export type Result = Type | void;
+export type ValueCall<R, A extends unknown[]> = R | ((...args: A) => R);
+export type GenCall<Y extends Yield = any, R extends Result = any, A extends unknown[] = any> = Generator<Y, R> | ((...args: A) => Generator<Y, R>);
+export type Call<Y extends Yield = any, R extends Result = any, A extends unknown[] = any> = ValueCall<R, A> | GenCall<Y, R, A>;
+export declare namespace Call {
+    function collect<Y extends Yield, R extends Result>(call: Call<Y, R>): G.Collected<Y, R>;
+}
+//# sourceMappingURL=Call.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Call.d.ts","sourceRoot":"","sources":["../../src/core/Call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AACjD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,MAAM,KAAK,GAAG,IAAI,CAAA;AACxB,MAAM,MAAM,MAAM,GAAG,IAAI,GAAG,IAAI,CAAA;AAEhC,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;AAEvE,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,KAAK,GAAG,GAAG,EACrB,CAAC,SAAS,MAAM,GAAG,GAAG,EACtB,CAAC,SAAS,OAAO,EAAE,GAAG,GAAG,IACvB,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAEvD,MAAM,MAAM,IAAI,CACd,CAAC,SAAS,KAAK,GAAG,GAAG,EACrB,CAAC,SAAS,MAAM,GAAG,GAAG,EACtB,CAAC,SAAS,OAAO,EAAE,GAAG,GAAG,IACvB,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAA;AAEtC,yBAAiB,IAAI,CAAC;IACpB,SAAgB,OAAO,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,MAAM,EACvD,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAanB;CACF"}

package/esm/core/Call.js

@@ -0,0 +1,23 @@
+import * as G from "../util/generator/collect.js";
+export var Call;
+(function (Call) {
+    function collect(call) {
+        if (typeof call === "function") {
+            const maybeGen = call();
+            if (typeof maybeGen === "object" && Symbol.iterator in maybeGen) {
+                return G.collect(maybeGen);
+            }
+            else {
+                return [[], maybeGen];
+            }
+        }
+        else if (typeof call === "object" && Symbol.iterator in call) {
+            return G.collect(call);
+        }
+        else {
+            return [[], call];
+        }
+    }
+    Call.collect = collect;
+})(Call || (Call = {}));
+//# sourceMappingURL=Call.js.map

package/esm/core/Call.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Call.js","sourceRoot":"","sources":["../../src/core/Call.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,8BAA8B,CAAA;AAoBjD,MAAM,KAAW,IAAI,CAiBpB;AAjBD,WAAiB,IAAI;IACnB,SAAgB,OAAO,CACrB,IAAgB;QAEhB,IAAI,OAAO,IAAI,KAAK,UAAU,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,IAAI,EAAE,CAAA;YACvB,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,IAAI,QAAQ,EAAE,CAAC;gBAChE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;YAC5B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAA;YACvB,CAAC;QACH,CAAC;aAAM,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,IAAI,IAAI,EAAE,CAAC;YAC/D,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;QACnB,CAAC;IACH,CAAC;IAfe,YAAO,UAetB,CAAA;AACH,CAAC,EAjBgB,IAAI,KAAJ,IAAI,QAiBpB"}

package/esm/core/Effect.d.ts

@@ -0,0 +1,20 @@
+import { Flatten } from "../util/Flatten.js";
+import { GenCall, Result, ValueCall, Yield } from "./Call.js";
+import { Factory, Type } from "./Type.js";
+import { ExtractUse, Use } from "./Use.js";
+export declare abstract class Effect<Y extends Yield, R extends Result> implements Generator<Y, R> {
+    yields?: Y[];
+    result?: R;
+    map<R2 extends Result>(_f: (value: R) => R2): Effect<Y, R2>;
+    next(): IteratorResult<Y, R>;
+    return(): IteratorResult<Y, R>;
+    throw(): IteratorResult<Y, R>;
+    [Symbol.iterator](): Generator<Y, R>;
+    "?"<M extends Factory<Exclude<R, void>>>(match: M): Effect<Y | InstanceType<M>, Exclude<R, InstanceType<M>>>;
+    "?"<M extends Factory<Exclude<R, void>>, W extends Type>(match: M, with_: W): Effect<Y | W, Exclude<R, InstanceType<M>>>;
+    handle<M extends Factory<Y>, R extends Result>(match: M, f: ValueCall<R, [value: InstanceType<M>]>): [Exclude<Y, InstanceType<M>>] extends [never] ? R : Effect<Exclude<Y, InstanceType<M>>, R>;
+    handle<M extends Factory<Y>, Y2 extends Yield, R extends Result>(match: M, f: GenCall<Y2, R, [value: InstanceType<M>]>): [Exclude<Y, InstanceType<M>> | Y2] extends [never] ? R : Effect<Exclude<Y, InstanceType<M>> | Y2, R>;
+    rehandle<M extends Factory[]>(..._match: M): [Exclude<Y, InstanceType<M[number]>>] extends [never] ? Extract<Y, InstanceType<M[number]>> | R : Effect<Exclude<Y, InstanceType<M[number]>>, R>;
+}
+export declare function call<Y extends Yield, R extends Result, D extends ExtractUse<Y>, A extends Partial<D>, N extends Omit<D, keyof A>>(_call: Generator<Y, R> | (() => Generator<Y, R>), _uses: A): Effect<Exclude<Y, Use> | [keyof N] extends [never] ? never : Use<Flatten<N>>, R>;
+//# sourceMappingURL=Effect.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Effect.d.ts","sourceRoot":"","sources":["../../src/core/Effect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE5C,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,WAAW,CAAA;AAC7D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAE1C,8BAAsB,MAAM,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,MAAM,CAAE,YAAW,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IAChF,MAAM,CAAC,EAAE,CAAC,EAAE,CAAA;IACZ,MAAM,CAAC,EAAE,CAAC,CAAA;IAElB,GAAG,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,CAAC;IAI3D,IAAI,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAI5B,MAAM,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAI9B,KAAK,IAAI,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC;IAI5B,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC;IAUrC,GAAG,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EACrC,KAAK,EAAE,CAAC,GACP,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3D,GAAG,CAAC,CAAC,SAAS,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,SAAS,IAAI,EACrD,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,CAAC,GACP,MAAM,CAAC,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAQ7C,MAAM,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,EAC3C,KAAK,EAAE,CAAC,EACR,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GACxC,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC7F,MAAM,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,SAAS,KAAK,EAAE,CAAC,SAAS,MAAM,EAC7D,KAAK,EAAE,CAAC,EACR,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAC1C,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,GACrD,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAK/C,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,EAC1B,GAAG,MAAM,EAAE,CAAC,GACX,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,GAC9F,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAInD;AAED,wBAAgB,IAAI,CAClB,CAAC,SAAS,KAAK,EACf,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EACvB,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EACpB,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,EAE1B,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAChD,KAAK,EAAE,CAAC,GACP,MAAM,CACP,OAAO,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EACrE,CAAC,CACF,CAEA"}

package/esm/core/Effect.js

@@ -0,0 +1,37 @@
+import { unimplemented } from "../util/unimplemented.js";
+export class Effect {
+    map(_f) {
+        unimplemented();
+    }
+    next() {
+        unimplemented();
+    }
+    return() {
+        unimplemented();
+    }
+    throw() {
+        unimplemented();
+    }
+    *[Symbol.iterator]() {
+        while (this.yields?.length) {
+            yield this.yields.shift();
+        }
+        delete this.yields;
+        const result = this.result;
+        delete this.result;
+        return result;
+    }
+    "?"(_match, _maybeWith_) {
+        return unimplemented();
+    }
+    handle(_match, _f) {
+        unimplemented();
+    }
+    rehandle(..._match) {
+        unimplemented();
+    }
+}
+export function call(_call, _uses) {
+    unimplemented();
+}
+//# sourceMappingURL=Effect.js.map

package/esm/core/Effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Effect.js","sourceRoot":"","sources":["../../src/core/Effect.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAKxD,MAAM,OAAgB,MAAM;IAI1B,GAAG,CAAoB,EAAoB;QACzC,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,IAAI;QACF,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,MAAM;QACJ,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,KAAK;QACH,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;QAChB,OAAO,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,CAAC,MAAM,CAAC,KAAK,EAAG,CAAA;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAA;QAClB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAO,CAAA;QAC3B,OAAO,IAAI,CAAC,MAAM,CAAA;QAClB,OAAO,MAAM,CAAA;IACf,CAAC;IASD,GAAG,CACD,MAAiC,EACjC,WAAkB;QAElB,OAAO,aAAa,EAAE,CAAA;IACxB,CAAC;IAWD,MAAM,CAAC,MAAW,EAAE,EAAO;QACzB,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,QAAQ,CACN,GAAG,MAAS;QAIZ,aAAa,EAAE,CAAA;IACjB,CAAC;CACF;AAED,MAAM,UAAU,IAAI,CAOlB,KAAgD,EAChD,KAAQ;IAKR,aAAa,EAAE,CAAA;AACjB,CAAC"}

package/esm/core/Hash.d.ts

@@ -0,0 +1,41 @@
+import { Factory, Type } from "./Type.js";
+export declare function Hash<T extends Type, A extends HashAlgorithm>(targetType: Factory<T>, algorithm: A): {
+    new (source: import("./Type.js").TypeSource): {
+        targetType: Factory<T>;
+        algorithm: A;
+        ""?: [Uint8Array, never, never] | undefined;
+        readonly typeName: "Hash";
+        readonly source: import("./Type.js").TypeSource;
+        ctor: new (source: import("./Type.js").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 | 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 HashAlgorithm = "Keccak256" | "Keccak384" | "Keccak512" | "Poseidon" | "SHA2_256" | "SHA3_256" | "SHA3_384" | "SHA3_512";
+export type HashSource = never;
+//# sourceMappingURL=Hash.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Hash.d.ts","sourceRoot":"","sources":["../../src/core/Hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEzC,wBAAgB,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,aAAa,EAC1D,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,EACtB,SAAS,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMb;AAED,MAAM,MAAM,aAAa,GACrB,WAAW,GACX,WAAW,GACX,WAAW,GACX,UAAU,GACV,UAAU,GACV,UAAU,GACV,UAAU,GACV,UAAU,CAAA;AAEd,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA"}

package/esm/core/Hash.js

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

package/esm/core/Hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Hash.js","sourceRoot":"","sources":["../../src/core/Hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AAEzC,MAAM,UAAU,IAAI,CAClB,UAAsB,EACtB,SAAY;IAEZ,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,MAAM,CAAuC;QAC1E,UAAU,GAAG,UAAU,CAAA;QACvB,SAAS,GAAG,SAAS,CAAA;KACtB,CAAA;AACH,CAAC"}

package/esm/core/Id.d.ts

@@ -0,0 +1,198 @@
+import { Store } from "../client/mod.js";
+import { Effect } from "./Effect.js";
+import { u64 } from "./Int.js";
+import { State } from "./State.js";
+import { Type } from "./Type.js";
+export type IdSource = IdSource.Sender | IdSource.Self | IdSource.Caller | IdSource.Null;
+export declare namespace IdSource {
+    const Hex_base: {
+        new (): {
+            readonly tag: "Hex";
+        };
+    };
+    export class Hex extends Hex_base {
+    }
+    const Bytes_base: {
+        new (): {
+            readonly tag: "Bytes";
+        };
+    };
+    export class Bytes extends Bytes_base {
+    }
+    const Sender_base: {
+        new (): {
+            readonly tag: "Sender";
+        };
+    };
+    export class Sender extends Sender_base {
+    }
+    const Self_base: {
+        new (): {
+            readonly tag: "Self";
+        };
+    };
+    export class Self extends Self_base {
+    }
+    const Caller_base: {
+        new (): {
+            readonly tag: "Caller";
+        };
+    };
+    export class Caller extends Caller_base {
+    }
+    const Null_base: {
+        new (): {
+            readonly tag: "Null";
+        };
+    };
+    export class Null extends Null_base {
+    }
+    export {};
+}
+declare const id_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: "id";
+        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>]>): 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): 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): 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>]>): 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): 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): 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>): 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>): State<T_13>;
+};
+export declare class id extends id_base<IdSource, Uint8Array, Uint8Array> {
+    static fromHex(_hex: string): id;
+    bind<N>(_namespace: N): Contract<N>;
+    signer<K extends string>(_key: K): SignerEffect<K>;
+}
+export declare class SignerEffect<K extends string> extends Effect<SignerRequirement<K>, signer<K>> {
+    readonly key: K;
+    constructor(key: K);
+    deploy<N>(_namespace: N, _deployOptions: DeployOptions<N>): Generator<SignerRequirement<K>, Contract<N>>;
+}
+declare const SignerRequirement_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: "SignerRequirement";
+        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>]>): 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): 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): 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>]>): 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): 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): 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>): 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>): State<T_13>;
+};
+export declare class SignerRequirement<K extends string = any> extends SignerRequirement_base<K, never> {
+    readonly key: K;
+    constructor(key: K);
+}
+export interface signer<K extends keyof any = any> extends InstanceType<ReturnType<typeof signer<K>>> {
+}
+export declare function signer<K extends keyof any>(key: K): {
+    new (source: import("./Type.js").TypeSource | IdSource): {
+        readonly key: K;
+        deploy<N>(_namespace: N, _deployOptions: DeployOptions<N>): Generator<never, Contract<N>, unknown>;
+        send(_props: SendProps): Effect<never, never>;
+        bind<N_1>(_namespace: N_1): Contract<N_1>;
+        signer<K extends string>(_key: K): SignerEffect<K>;
+        ""?: [Uint8Array, Uint8Array, never] | undefined;
+        readonly typeName: "id";
+        readonly source: import("./Type.js").TypeSource | IdSource;
+        ctor: new (source: import("./Type.js").TypeSource | IdSource) => any;
+        into<O extends never>(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>]>): 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): 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): Effect<W, Exclude<T_5, InstanceType<M_4>>>;
+    };
+    fromHex(_hex: string): id;
+    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: 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>]>): 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): 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): 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>): 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>): State<T_13>;
+};
+export declare const nullId: id;
+export declare const caller: id;
+export declare const self: id;
+export declare const sender: id;
+export interface DeployOptions<N> {
+    deployer?: signer;
+    state: DeployState<N>;
+}
+export type DeployState<N> = {
+    [K in keyof N as N[K] extends State ? K : never]: N[K] extends State<infer T> ? T : never;
+};
+export interface SendProps {
+    to: id;
+    amount: u64;
+}
+export type Contract<T> = id & T & {
+    store(store: Store): Contract<T>;
+};
+export {};
+//# sourceMappingURL=Id.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Id.d.ts","sourceRoot":"","sources":["../../src/core/Id.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAGxC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAA;AAC9B,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAA;AACxF,yBAAiB,QAAQ,CAAC;;;;;;IACxB,MAAM,OAAO,GAAI,SAAQ,QAAa;KAAG;;;;;;IACzC,MAAM,OAAO,KAAM,SAAQ,UAAe;KAAG;;;;;;IAC7C,MAAM,OAAO,MAAO,SAAQ,WAAgB;KAAG;;;;;;IAC/C,MAAM,OAAO,IAAK,SAAQ,SAAc;KAAG;;;;;;IAC3C,MAAM,OAAO,MAAO,SAAQ,WAAgB;KAAG;;;;;;IAC/C,MAAM,OAAO,IAAK,SAAQ,SAAc;KAAG;;CAC5C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,EAAG,SAAQ,QAAgB,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC;IACvE,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,EAAE;IAIhC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IAInC,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC;CAGnD;AAED,qBAAa,YAAY,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC7E,QAAQ,CAAC,GAAG,EAAE,CAAC;gBAAN,GAAG,EAAE,CAAC;IAI3B,MAAM,CAAC,CAAC,EACN,UAAU,EAAE,CAAC,EACb,cAAc,EAAE,aAAa,CAAC,CAAC,CAAC,GAC/B,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;CAGhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,qBAAa,iBAAiB,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,CACnD,SAAQ,uBAA+B,CAAC,EAAE,KAAK,CAAC;IAEpC,QAAQ,CAAC,GAAG,EAAE,CAAC;gBAAN,GAAG,EAAE,CAAC;CAG5B;AAED,MAAM,WAAW,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,GAAG,GAAG,CAC/C,SAAQ,YAAY,CAAC,UAAU,CAAC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAClD;AAEF,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC;;;;qBAWjC,SAAS,GAAG,OAAO,KAAK,EAAE,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIhD;AAED,eAAO,MAAM,MAAM,IAA8B,CAAA;AACjD,eAAO,MAAM,MAAM,IAAgC,CAAA;AACnD,eAAO,MAAM,IAAI,IAA8B,CAAA;AAC/C,eAAO,MAAM,MAAM,IAAgC,CAAA;AAEnD,MAAM,WAAW,aAAa,CAAC,CAAC;IAC9B,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,WAAW,CAAC,CAAC,CAAC,CAAA;CACtB;AAED,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI;KAC1B,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CAC1F,CAAA;AAED,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,EAAE,CAAA;IACN,MAAM,EAAE,GAAG,CAAA;CACZ;AAGD,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG;IACjC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;CACjC,CAAA"}

package/esm/core/Id.js

@@ -0,0 +1,69 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { Effect } from "./Effect.js";
+import { Type } from "./Type.js";
+export var IdSource;
+(function (IdSource) {
+    class Hex extends Tagged("Hex") {
+    }
+    IdSource.Hex = Hex;
+    class Bytes extends Tagged("Bytes") {
+    }
+    IdSource.Bytes = Bytes;
+    class Sender extends Tagged("Sender") {
+    }
+    IdSource.Sender = Sender;
+    class Self extends Tagged("Self") {
+    }
+    IdSource.Self = Self;
+    class Caller extends Tagged("Caller") {
+    }
+    IdSource.Caller = Caller;
+    class Null extends Tagged("Null") {
+    }
+    IdSource.Null = Null;
+})(IdSource || (IdSource = {}));
+export class id extends Type.make("id") {
+    static fromHex(_hex) {
+        unimplemented();
+    }
+    bind(_namespace) {
+        unimplemented();
+    }
+    signer(_key) {
+        unimplemented();
+    }
+}
+export class SignerEffect extends Effect {
+    key;
+    constructor(key) {
+        super();
+        this.key = key;
+    }
+    deploy(_namespace, _deployOptions) {
+        unimplemented();
+    }
+}
+export class SignerRequirement extends Type.make("SignerRequirement") {
+    key;
+    constructor(key) {
+        super(key);
+        this.key = key;
+    }
+}
+export function signer(key) {
+    return class extends id {
+        key = key;
+        deploy(_namespace, _deployOptions) {
+            unimplemented();
+        }
+        send(_props) {
+            unimplemented();
+        }
+    };
+}
+export const nullId = new id(new IdSource.Null());
+export const caller = new id(new IdSource.Caller());
+export const self = new id(new IdSource.Self());
+export const sender = new id(new IdSource.Sender());
+//# sourceMappingURL=Id.js.map

package/esm/core/Id.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Id.js","sourceRoot":"","sources":["../../src/core/Id.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AACxD,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGpC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGhC,MAAM,KAAW,QAAQ,CAOxB;AAPD,WAAiB,QAAQ;IACvB,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;KAAG;IAA5B,YAAG,MAAyB,CAAA;IACzC,MAAa,KAAM,SAAQ,MAAM,CAAC,OAAO,CAAC;KAAG;IAAhC,cAAK,QAA2B,CAAA;IAC7C,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;KAAG;IAAlC,eAAM,SAA4B,CAAA;IAC/C,MAAa,IAAK,SAAQ,MAAM,CAAC,MAAM,CAAC;KAAG;IAA9B,aAAI,OAA0B,CAAA;IAC3C,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;KAAG;IAAlC,eAAM,SAA4B,CAAA;IAC/C,MAAa,IAAK,SAAQ,MAAM,CAAC,MAAM,CAAC;KAAG;IAA9B,aAAI,OAA0B,CAAA;AAC7C,CAAC,EAPgB,QAAQ,KAAR,QAAQ,QAOxB;AAED,MAAM,OAAO,EAAG,SAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAmC;IACvE,MAAM,CAAC,OAAO,CAAC,IAAY;QACzB,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,IAAI,CAAI,UAAa;QACnB,aAAa,EAAE,CAAA;IACjB,CAAC;IAED,MAAM,CAAmB,IAAO;QAC9B,aAAa,EAAE,CAAA;IACjB,CAAC;CACF;AAED,MAAM,OAAO,YAA+B,SAAQ,MAAuC;IACpE;IAArB,YAAqB,GAAM;QACzB,KAAK,EAAE,CAAA;QADY,QAAG,GAAH,GAAG,CAAG;IAE3B,CAAC;IAED,MAAM,CACJ,UAAa,EACb,cAAgC;QAEhC,aAAa,EAAE,CAAA;IACjB,CAAC;CACF;AAED,MAAM,OAAO,iBACX,SAAQ,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAW;IAE3B;IAArB,YAAqB,GAAM;QACzB,KAAK,CAAC,GAAG,CAAC,CAAA;QADS,QAAG,GAAH,GAAG,CAAG;IAE3B,CAAC;CACF;AAMD,MAAM,UAAU,MAAM,CAAsB,GAAM;IAChD,OAAO,KAAM,SAAQ,EAAE;QACZ,GAAG,GAAG,GAAG,CAAA;QAElB,MAAM,CACJ,UAAa,EACb,cAAgC;YAEhC,aAAa,EAAE,CAAA;QACjB,CAAC;QAED,IAAI,CAAC,MAAiB;YACpB,aAAa,EAAE,CAAA;QACjB,CAAC;KACF,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;AACjD,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;AACnD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;AAC/C,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,EAAE,CAAC,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA"}