liminal 0.4.0 → 1.0.0-beta.2

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

@@ -0,0 +1 @@
+{"version":3,"file":"Int.d.ts","sourceRoot":"","sources":["../../src/core/Int.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC/C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAIzC,MAAM,MAAM,GAAG,GAAG,SAAS,GAAG,WAAW,CAAA;AACzC,MAAM,MAAM,SAAS,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,CAAA;AACnD,MAAM,MAAM,WAAW,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,CAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAGrD,qBAAa,EAAG,SAAQ,QAAc,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9E,qBAAa,GAAI,SAAQ,SAAe,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACvE,qBAAa,GAAI,SAAQ,SAAe,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACvE,qBAAa,GAAI,SAAQ,SAAe,EAAE,GAAG,GAAG,GAAG,GAAG,EAAE,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACvE,qBAAa,IAAK,SAAQ,UAAgB,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACxE,qBAAa,IAAK,SAAQ,UAAgB,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAE5F,qBAAa,EAAG,SAAQ,QAAa,KAAK,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC7E,qBAAa,GAAI,SAAQ,SAAc,EAAE,EAAE,GAAG,GAAG,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtE,qBAAa,GAAI,SAAQ,SAAc,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtE,qBAAa,GAAI,SAAQ,SAAc,EAAE,GAAG,GAAG,GAAG,GAAG,EAAE,IAAI,GAAG,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACtE,qBAAa,IAAK,SAAQ,UAAe,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,EAAE,IAAI,CAAC;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AACvE,qBAAa,IAAK,SAAQ,UAAe,EAAE,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,IAAI,EAAE,KAAK,CAAC;CAAG;AAE/E,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,GAAG,GAAG,GAAG,CAAA;AAmElD,MAAM,MAAM,SAAS,GACjB,SAAS,CAAC,MAAM,GAChB,SAAS,CAAC,GAAG,GACb,SAAS,CAAC,GAAG,GACb,SAAS,CAAC,GAAG,GACb,SAAS,CAAC,QAAQ,GAClB,SAAS,CAAC,QAAQ,GAClB,SAAS,CAAC,MAAM,GAChB,SAAS,CAAC,MAAM,GAChB,SAAS,CAAC,SAAS,GACnB,SAAS,CAAC,EAAE,GACZ,SAAS,CAAC,GAAG,GACb,SAAS,CAAC,EAAE,GACZ,SAAS,CAAC,GAAG,CAAA;AACjB,yBAAiB,SAAS,CAAC;;;;;;IACzB,MAAM,OAAO,MAAO,SAAQ,WAAgB;KAAG;;;;;;IAC/C,MAAM,OAAO,GAAI,SAAQ,QAAa;KAAG;;;;;;IACzC,MAAM,OAAO,GAAI,SAAQ,QAAa;KAAG;;;;;;IACzC,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,QAAS,SAAQ,aAAkB;QAClC,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,QAAS,SAAQ,aAAkB;QAClC,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,MAAO,SAAQ,WAAgB;QAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,MAAO,SAAQ,WAAgB;QAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI;oBAAV,IAAI,EAAE,IAAI;KAGhC;;;;;;IACD,MAAM,OAAO,SAAU,SAAQ,cAAmB;QACpC,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,EAAG,SAAQ,OAAY;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,EAAG,SAAQ,OAAY;QACtB,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;;;;;IACD,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,IAAI,EAAE,IAAI;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAhC,IAAI,EAAE,IAAI,EAAW,KAAK,EAAE,IAAI;KAGtD;;CACF;AAED,MAAM,MAAM,UAAU,GAAG,UAAU,CAAC,aAAa,GAAG,UAAU,CAAC,cAAc,CAAA;AAC7E,yBAAiB,UAAU,CAAC;;;;;;IAC1B,MAAM,OAAO,aAAc,SAAQ,kBAAuB;QAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS;oBAAf,IAAI,EAAE,SAAS;KAGrC;;;;;;IACD,MAAM,OAAO,cAAe,SAAQ,mBAAuB;QAC7C,QAAQ,CAAC,IAAI,EAAE,UAAU;oBAAhB,IAAI,EAAE,UAAU;KAGtC;;CACF"}

package/esm/core/Int.js

@@ -0,0 +1,201 @@
+import { Tagged } from "../util/Tagged.js";
+import { Type } from "./Type.js";
+// TODO: allow from/into from opposite-signed types (effectively enabling an `absolute` method)
+export class u8 extends Int(false, 8) {
+}
+export class u16 extends Int(false, 16) {
+}
+export class u32 extends Int(false, 32) {
+}
+export class u64 extends Int(false, 64) {
+}
+export class u128 extends Int(false, 128) {
+}
+export class u256 extends Int(false, 256) {
+}
+export class i8 extends Int(true, 8) {
+}
+export class i16 extends Int(true, 16) {
+}
+export class i32 extends Int(true, 32) {
+}
+export class i64 extends Int(true, 64) {
+}
+export class i128 extends Int(true, 128) {
+}
+export class i256 extends Int(true, 256) {
+}
+function Int(signed, size) {
+    return class extends Type.make(`${signed ? "i" : "u"}${size}`) {
+        signed = signed;
+        static min() {
+            return new this(new IntSource.Min());
+        }
+        static max() {
+            return new this(new IntSource.Max());
+        }
+        static random() {
+            return new this(new IntSource.Random());
+        }
+        add(value) {
+            return new this.ctor(new IntSource.Add(this, value));
+        }
+        subtract(value) {
+            return new this.ctor(new IntSource.Subtract(this, value));
+        }
+        multiply(value) {
+            return new this.ctor(new IntSource.Multiply(this, value));
+        }
+        divide(value) {
+            return new this.ctor(new IntSource.Divide(this, value));
+        }
+        square() {
+            return new this.ctor(new IntSource.Square(this));
+        }
+        logarithm(value) {
+            return new this.ctor(new IntSource.Logarithm(this, value));
+        }
+        gt(value) {
+            return new this.ctor(new IntSource.Gt(this, value));
+        }
+        gte(value) {
+            return new this.ctor(new IntSource.Gte(this, value));
+        }
+        lt(value) {
+            return new this.ctor(new IntSource.Lt(this, value));
+        }
+        lte(value) {
+            return new this.ctor(new IntSource.Lte(this, value));
+        }
+    };
+}
+export var IntSource;
+(function (IntSource) {
+    class Random extends Tagged("Random") {
+    }
+    IntSource.Random = Random;
+    class Min extends Tagged("Min") {
+    }
+    IntSource.Min = Min;
+    class Max extends Tagged("Max") {
+    }
+    IntSource.Max = Max;
+    class Add extends Tagged("Add") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Add = Add;
+    class Subtract extends Tagged("Subtract") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Subtract = Subtract;
+    class Multiply extends Tagged("Multiply") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Multiply = Multiply;
+    class Divide extends Tagged("Divide") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Divide = Divide;
+    class Square extends Tagged("Square") {
+        self;
+        constructor(self) {
+            super();
+            this.self = self;
+        }
+    }
+    IntSource.Square = Square;
+    class Logarithm extends Tagged("Logarithm") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Logarithm = Logarithm;
+    class Gt extends Tagged("Gt") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Gt = Gt;
+    class Gte extends Tagged("Gte") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Gte = Gte;
+    class Lt extends Tagged("Lt") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Lt = Lt;
+    class Lte extends Tagged("Lte") {
+        left;
+        right;
+        constructor(left, right) {
+            super();
+            this.left = left;
+            this.right = right;
+        }
+    }
+    IntSource.Lte = Lte;
+})(IntSource || (IntSource = {}));
+export var U256Source;
+(function (U256Source) {
+    class MerkleMapSize extends Tagged("MerkleMapSize") {
+        self;
+        constructor(self) {
+            super();
+            this.self = self;
+        }
+    }
+    U256Source.MerkleMapSize = MerkleMapSize;
+    class MerkleListSize extends Tagged("MerkleMapSize") {
+        self;
+        constructor(self) {
+            super();
+            this.self = self;
+        }
+    }
+    U256Source.MerkleListSize = MerkleListSize;
+})(U256Source || (U256Source = {}));
+//# sourceMappingURL=Int.js.map

package/esm/core/Int.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Int.js","sourceRoot":"","sources":["../../src/core/Int.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAI1C,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AAQzC,+FAA+F;AAC/F,MAAM,OAAO,EAAG,SAAQ,GAAG,CAAC,KAAK,EAAE,CAAC,CAAuC;CAAG;AAC9E,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,KAAK,EAAE,EAAE,CAA8B;CAAG;AACvE,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,KAAK,EAAE,EAAE,CAA8B;CAAG;AACvE,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,KAAK,EAAE,EAAE,CAA8B;CAAG;AACvE,MAAM,OAAO,IAAK,SAAQ,GAAG,CAAC,KAAK,EAAE,GAAG,CAA6B;CAAG;AACxE,MAAM,OAAO,IAAK,SAAQ,GAAG,CAAC,KAAK,EAAE,GAAG,CAAiD;CAAG;AAE5F,MAAM,OAAO,EAAG,SAAQ,GAAG,CAAC,IAAI,EAAE,CAAC,CAAuC;CAAG;AAC7E,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,IAAI,EAAE,EAAE,CAA8B;CAAG;AACtE,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,IAAI,EAAE,EAAE,CAA8B;CAAG;AACtE,MAAM,OAAO,GAAI,SAAQ,GAAG,CAAC,IAAI,EAAE,EAAE,CAA8B;CAAG;AACtE,MAAM,OAAO,IAAK,SAAQ,GAAG,CAAC,IAAI,EAAE,GAAG,CAA6B;CAAG;AACvE,MAAM,OAAO,IAAK,SAAQ,GAAG,CAAC,IAAI,EAAE,GAAG,CAAqC;CAAG;AAI/E,SAAS,GAAG,CAA+C,MAAc,EAAE,IAAU;IACnF,OAAO,KACL,SAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,IAAI,EAAE,CAK/C;QAED,MAAM,GAAG,MAAM,CAAA;QAEf,MAAM,CAAC,GAAG;YACR,OAAO,IAAI,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC,CAAA;QACtC,CAAC;QAED,MAAM,CAAC,GAAG;YACR,OAAO,IAAI,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC,CAAA;QACtC,CAAC;QAED,MAAM,CAAC,MAAM;YACX,OAAO,IAAI,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;QACzC,CAAC;QAED,GAAG,CAAC,KAAW;YACb,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QACtD,CAAC;QAED,QAAQ,CAAC,KAAW;YAClB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QAC3D,CAAC;QAED,QAAQ,CAAC,KAAW;YAClB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QAC3D,CAAC;QAED,MAAM,CAAC,KAAW;YAChB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QACzD,CAAC;QAED,MAAM;YACJ,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;QAClD,CAAC;QAED,SAAS,CAAC,KAAW;YACnB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QAC5D,CAAC;QAED,EAAE,CAAC,KAAW;YACZ,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAU,CAAA;QAC9D,CAAC;QAED,GAAG,CAAC,KAAW;YACb,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAU,CAAA;QAC/D,CAAC;QAED,EAAE,CAAC,KAAW;YACZ,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAU,CAAA;QAC9D,CAAC;QAED,GAAG,CAAC,KAAW;YACb,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAU,CAAA;QAC/D,CAAC;KACF,CAAA;AACH,CAAC;AAgBD,MAAM,KAAW,SAAS,CAsDzB;AAtDD,WAAiB,SAAS;IACxB,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;KAAG;IAAlC,gBAAM,SAA4B,CAAA;IAC/C,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;KAAG;IAA5B,aAAG,MAAyB,CAAA;IACzC,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;KAAG;IAA5B,aAAG,MAAyB,CAAA;IACzC,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,aAAG,MAIf,CAAA;IACD,MAAa,QAAS,SAAQ,MAAM,CAAC,UAAU,CAAC;QACzB;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,kBAAQ,WAIpB,CAAA;IACD,MAAa,QAAS,SAAQ,MAAM,CAAC,UAAU,CAAC;QACzB;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,kBAAQ,WAIpB,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,gBAAM,SAIlB,CAAA;IACD,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;QACrB;QAArB,YAAqB,IAAU;YAC7B,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;QAE/B,CAAC;KACF;IAJY,gBAAM,SAIlB,CAAA;IACD,MAAa,SAAU,SAAQ,MAAM,CAAC,WAAW,CAAC;QAC3B;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,mBAAS,YAIrB,CAAA;IACD,MAAa,EAAG,SAAQ,MAAM,CAAC,IAAI,CAAC;QACb;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,YAAE,KAId,CAAA;IACD,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,aAAG,MAIf,CAAA;IACD,MAAa,EAAG,SAAQ,MAAM,CAAC,IAAI,CAAC;QACb;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,YAAE,KAId,CAAA;IACD,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAAqB;QAA1C,YAAqB,IAAU,EAAW,KAAW;YACnD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAM;YAAW,UAAK,GAAL,KAAK,CAAM;QAErD,CAAC;KACF;IAJY,aAAG,MAIf,CAAA;AACH,CAAC,EAtDgB,SAAS,KAAT,SAAS,QAsDzB;AAGD,MAAM,KAAW,UAAU,CAW1B;AAXD,WAAiB,UAAU;IACzB,MAAa,aAAc,SAAQ,MAAM,CAAC,eAAe,CAAC;QACnC;QAArB,YAAqB,IAAe;YAClC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAW;QAEpC,CAAC;KACF;IAJY,wBAAa,gBAIzB,CAAA;IACD,MAAa,cAAe,SAAQ,MAAM,CAAC,eAAe,CAAC;QACpC;QAArB,YAAqB,IAAgB;YACnC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;QAErC,CAAC;KACF;IAJY,yBAAc,iBAI1B,CAAA;AACH,CAAC,EAXgB,UAAU,KAAV,UAAU,QAW1B"}

package/esm/core/Key.d.ts

@@ -0,0 +1,40 @@
+import { Type } from "./Type.js";
+export interface Key<T extends keyof any> extends InstanceType<ReturnType<typeof Key<T>>> {
+}
+export declare function Key<T extends keyof any>(value: T): {
+    new (source: import("./Type.js").TypeSource): {
+        value: T;
+        ""?: [T, T, never] | undefined;
+        readonly typeName: "Key";
+        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>;
+};
+//# sourceMappingURL=Key.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Key.d.ts","sourceRoot":"","sources":["../../src/core/Key.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAEhC,MAAM,WAAW,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,CAAE,SAAQ,YAAY,CAAC,UAAU,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;CAAG;AAE5F,wBAAgB,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,EAAE,KAAK,EAAE,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIhD"}

package/esm/core/Key.js

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

package/esm/core/Key.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Key.js","sourceRoot":"","sources":["../../src/core/Key.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAIhC,MAAM,UAAU,GAAG,CAAsB,KAAQ;IAC/C,OAAO,MAAM,GAAI,SAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAW;QACjD,KAAK,GAAG,KAAK,CAAA;KACd,CAAA;AACH,CAAC"}

package/esm/core/MerkleList.d.ts

@@ -0,0 +1,105 @@
+import { MerkleList as MerkleListNative } from "../lib/mod.js";
+import { Effect } from "./Effect.js";
+import { u256 } from "./Int.js";
+import { None } from "./None.js";
+import { Factory, Type } from "./Type.js";
+export interface MerkleList<T extends Type = Type> extends InstanceType<ReturnType<typeof MerkleList<T>>> {
+}
+export declare function MerkleList<T extends Type>(elementType: Factory<T>): {
+    new (source: import("./Type.js").TypeSource | MerkleListSource): {
+        elementType: Factory<T>;
+        length: u256;
+        first: None | T;
+        last: None | T;
+        prepend(value: T): MerkleList<T>;
+        append(value: T): MerkleList<T>;
+        shift(): MerkleList<T>;
+        pop(): MerkleList<T>;
+        at(index: u256): T | None;
+        reduceKeys<R extends Type<any, any, any, any, any>, Y extends Type<any, any, any, any, any>>(_initial: R, _f: (acc: R, cur: T) => Generator<Y, R, unknown>): Effect<R, Y>;
+        ""?: [MerkleListNative<Type.Native<T>>, undefined, never] | undefined;
+        readonly typeName: "MerkleList";
+        readonly source: import("./Type.js").TypeSource | MerkleListSource;
+        ctor: new (source: import("./Type.js").TypeSource | MerkleListSource) => 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_1 extends import("./Call.js").Result, U extends R_1 | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R_1, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y_1 extends import("./Call.js").Yield, R_2 extends import("./Call.js").Result, U_1 extends R_2 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y_1, R_2, [InstanceType<M_2>]>): Effect<Y_1, 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): {
+        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_3 extends import("./Call.js").Result, U_2 extends R_3 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_3, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_2 extends import("./Call.js").Yield, R_4 extends import("./Call.js").Result, U_3 extends R_4 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_2, R_4, [InstanceType<M_7>]>): Effect<Y_2, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends 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 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: 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 MerkleListSource = MerkleListSource.Prepend | MerkleListSource.Append | MerkleListSource.Shift | MerkleListSource.Pop | MerkleListSource.At;
+export declare namespace MerkleListSource {
+    const Prepend_base: {
+        new (): {
+            readonly tag: "Prepend";
+        };
+    };
+    export class Prepend extends Prepend_base {
+        readonly self: MerkleList;
+        readonly value: Type;
+        constructor(self: MerkleList, value: Type);
+    }
+    const Append_base: {
+        new (): {
+            readonly tag: "Append";
+        };
+    };
+    export class Append extends Append_base {
+        readonly self: MerkleList;
+        readonly value: Type;
+        constructor(self: MerkleList, value: Type);
+    }
+    const Shift_base: {
+        new (): {
+            readonly tag: "Shift";
+        };
+    };
+    export class Shift extends Shift_base {
+        readonly self: MerkleList;
+        constructor(self: MerkleList);
+    }
+    const Pop_base: {
+        new (): {
+            readonly tag: "Pop";
+        };
+    };
+    export class Pop extends Pop_base {
+        readonly self: MerkleList;
+        constructor(self: MerkleList);
+    }
+    const At_base: {
+        new (): {
+            readonly tag: "At";
+        };
+    };
+    export class At extends At_base {
+        readonly list: MerkleList;
+        readonly index: u256;
+        constructor(list: MerkleList, index: u256);
+    }
+    export {};
+}
+//# sourceMappingURL=MerkleList.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleList.d.ts","sourceRoot":"","sources":["../../src/core/MerkleList.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,gBAAgB,EAAE,MAAM,eAAe,CAAA;AAG9D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,IAAI,EAAc,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGzC,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,CAC/C,SAAQ,YAAY,CAAC,UAAU,CAAC,OAAO,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;CACtD;AAEF,wBAAgB,UAAU,CAAC,CAAC,SAAS,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;;;gBAStD,IAAI;;;uBAMG,CAAC,GAAG,WAAW,CAAC,CAAC;sBAIlB,CAAC,GAAG,WAAW,CAAC,CAAC;iBAItB,WAAW,CAAC,CAAC;eAIf,WAAW,CAAC,CAAC;kBAIV,IAAI,GAAG,CAAC,GAAG,IAAI;oIAQL,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKxB;AAED,MAAM,MAAM,gBAAgB,GACxB,gBAAgB,CAAC,OAAO,GACxB,gBAAgB,CAAC,MAAM,GACvB,gBAAgB,CAAC,KAAK,GACtB,gBAAgB,CAAC,GAAG,GACpB,gBAAgB,CAAC,EAAE,CAAA;AACvB,yBAAiB,gBAAgB,CAAC;;;;;;IAChC,MAAM,OAAO,OAAQ,SAAQ,YAAiB;QAChC,QAAQ,CAAC,IAAI,EAAE,UAAU;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAtC,IAAI,EAAE,UAAU,EAAW,KAAK,EAAE,IAAI;KAG5D;;;;;;IACD,MAAM,OAAO,MAAO,SAAQ,WAAgB;QAC9B,QAAQ,CAAC,IAAI,EAAE,UAAU;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAtC,IAAI,EAAE,UAAU,EAAW,KAAK,EAAE,IAAI;KAG5D;;;;;;IACD,MAAM,OAAO,KAAM,SAAQ,UAAe;QAC5B,QAAQ,CAAC,IAAI,EAAE,UAAU;oBAAhB,IAAI,EAAE,UAAU;KAGtC;;;;;;IACD,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,IAAI,EAAE,UAAU;oBAAhB,IAAI,EAAE,UAAU;KAGtC;;;;;;IACD,MAAM,OAAO,EAAG,SAAQ,OAAY;QACtB,QAAQ,CAAC,IAAI,EAAE,UAAU;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAAtC,IAAI,EAAE,UAAU,EAAW,KAAK,EAAE,IAAI;KAG5D;;CACF"}

package/esm/core/MerkleList.js

@@ -0,0 +1,82 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { u256, U256Source } from "./Int.js";
+import { None } from "./None.js";
+import { Type } from "./Type.js";
+import { Union } from "./Union.js";
+export function MerkleList(elementType) {
+    return class extends Type.make("MerkleList") {
+        elementType = elementType;
+        length = new u256(new U256Source.MerkleListSize(this));
+        first = this.at(u256.new(1));
+        last = this.at(this.length.subtract(u256.new(1)));
+        prepend(value) {
+            return new this.ctor(new MerkleListSource.Prepend(this, value));
+        }
+        append(value) {
+            return new this.ctor(new MerkleListSource.Append(this, value));
+        }
+        shift() {
+            return new this.ctor(new MerkleListSource.Shift(this));
+        }
+        pop() {
+            return new this.ctor(new MerkleListSource.Pop(this));
+        }
+        at(index) {
+            return new (Union(None, this.elementType))(new MerkleListSource.At(this, index));
+        }
+        reduceKeys(_initial, _f) {
+            unimplemented();
+        }
+    };
+}
+export var MerkleListSource;
+(function (MerkleListSource) {
+    class Prepend extends Tagged("Prepend") {
+        self;
+        value;
+        constructor(self, value) {
+            super();
+            this.self = self;
+            this.value = value;
+        }
+    }
+    MerkleListSource.Prepend = Prepend;
+    class Append extends Tagged("Append") {
+        self;
+        value;
+        constructor(self, value) {
+            super();
+            this.self = self;
+            this.value = value;
+        }
+    }
+    MerkleListSource.Append = Append;
+    class Shift extends Tagged("Shift") {
+        self;
+        constructor(self) {
+            super();
+            this.self = self;
+        }
+    }
+    MerkleListSource.Shift = Shift;
+    class Pop extends Tagged("Pop") {
+        self;
+        constructor(self) {
+            super();
+            this.self = self;
+        }
+    }
+    MerkleListSource.Pop = Pop;
+    class At extends Tagged("At") {
+        list;
+        index;
+        constructor(list, index) {
+            super();
+            this.list = list;
+            this.index = index;
+        }
+    }
+    MerkleListSource.At = At;
+})(MerkleListSource || (MerkleListSource = {}));
+//# sourceMappingURL=MerkleList.js.map

package/esm/core/MerkleList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleList.js","sourceRoot":"","sources":["../../src/core/MerkleList.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAMlC,MAAM,UAAU,UAAU,CAAiB,WAAuB;IAChE,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,YAAY,CAK1C;QACC,WAAW,GAAG,WAAW,CAAA;QAEzB,MAAM,GAAS,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAA;QAE5D,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;QAE5B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAEjD,OAAO,CAAC,KAAQ;YACd,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QACjE,CAAC;QAED,MAAM,CAAC,KAAQ;YACb,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAA;QAChE,CAAC;QAED,KAAK;YACH,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACxD,CAAC;QAED,GAAG;YACD,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAA;QACtD,CAAC;QAED,EAAE,CAAC,KAAW;YACZ,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC,CACxC,IAAI,gBAAgB,CAAC,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAChB,CAAA;QACxB,CAAC;QAED,UAAU,CACR,QAAW,EACX,EAAuC;YAEvC,aAAa,EAAE,CAAA;QACjB,CAAC;KACF,CAAA;AACH,CAAC;AAQD,MAAM,KAAW,gBAAgB,CA0BhC;AA1BD,WAAiB,gBAAgB;IAC/B,MAAa,OAAQ,SAAQ,MAAM,CAAC,SAAS,CAAC;QACvB;QAA2B;QAAhD,YAAqB,IAAgB,EAAW,KAAW;YACzD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;YAAW,UAAK,GAAL,KAAK,CAAM;QAE3D,CAAC;KACF;IAJY,wBAAO,UAInB,CAAA;IACD,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;QACrB;QAA2B;QAAhD,YAAqB,IAAgB,EAAW,KAAW;YACzD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;YAAW,UAAK,GAAL,KAAK,CAAM;QAE3D,CAAC;KACF;IAJY,uBAAM,SAIlB,CAAA;IACD,MAAa,KAAM,SAAQ,MAAM,CAAC,OAAO,CAAC;QACnB;QAArB,YAAqB,IAAgB;YACnC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;QAErC,CAAC;KACF;IAJY,sBAAK,QAIjB,CAAA;IACD,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAArB,YAAqB,IAAgB;YACnC,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;QAErC,CAAC;KACF;IAJY,oBAAG,MAIf,CAAA;IACD,MAAa,EAAG,SAAQ,MAAM,CAAC,IAAI,CAAC;QACb;QAA2B;QAAhD,YAAqB,IAAgB,EAAW,KAAW;YACzD,KAAK,EAAE,CAAA;YADY,SAAI,GAAJ,IAAI,CAAY;YAAW,UAAK,GAAL,KAAK,CAAM;QAE3D,CAAC;KACF;IAJY,mBAAE,KAId,CAAA;AACH,CAAC,EA1BgB,gBAAgB,KAAhB,gBAAgB,QA0BhC"}

package/esm/core/MerkleMap.d.ts

@@ -0,0 +1,87 @@
+import { MerkleMap as MerkleMapNative } from "../lib/mod.js";
+import { Effect } from "./Effect.js";
+import { u256 } from "./Int.js";
+import { None } from "./None.js";
+import { Factory, Type } from "./Type.js";
+export interface MerkleMap<K extends Type = Type, V extends Type = Type> extends InstanceType<ReturnType<typeof MerkleMap<K, V>>> {
+}
+export declare function MerkleMap<K extends Type, V extends Type>(keyType: Factory<K>, valueType: Factory<V>): {
+    new (source: import("./Type.js").TypeSource | MerkleMapSource): {
+        keyType: Factory<K>;
+        valueType: Factory<V>;
+        size: u256;
+        set(key: K, value: V): MerkleMap<K, V>;
+        delete(key: K): MerkleMap<K, V>;
+        get(key: K): V | None;
+        reduceKeys<R extends Type<any, any, any, any, any>, Y extends Type<any, any, any, any, any>>(_initial: R, _f: (acc: R, cur: K) => Generator<Y, R, unknown>): Effect<R, Y>;
+        reduceValues<R_1 extends Type<any, any, any, any, any>, Y_1 extends Type<any, any, any, any, any>>(_initial: R_1, _f: (acc: R_1, cur: V) => Generator<Y_1, R_1, unknown>): Effect<R_1, Y_1>;
+        reduceEntries<R_2 extends Type<any, any, any, any, any>, Y_2 extends Type<any, any, any, any, any>>(_initial: R_2, _f: (acc: R_2, cur: [K, V]) => Generator<Y_2, R_2, unknown>): Effect<R_2, Y_2>;
+        ""?: [MerkleMapNative<Type.Native<K>, Type.Native<V>>, undefined, never] | undefined;
+        readonly typeName: "MerkleMap";
+        readonly source: import("./Type.js").TypeSource | MerkleMapSource;
+        ctor: new (source: import("./Type.js").TypeSource | MerkleMapSource) => 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_3 extends import("./Call.js").Result, U extends R_3 | Exclude<T_2, InstanceType<M_1>>>(this: T_2, match: M_1, f: import("./Call.js").ValueCall<R_3, [InstanceType<M_1>]>): U;
+        case<T_3 extends Type<any, any, any, any, any>, M_2 extends Factory<T_3>, Y_3 extends import("./Call.js").Yield, R_4 extends import("./Call.js").Result, U_1 extends R_4 | Exclude<T_3, InstanceType<M_2>>>(this: T_3, match: M_2, f: import("./Call.js").GenCall<Y_3, R_4, [InstanceType<M_2>]>): Effect<Y_3, 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): {
+        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_5 extends import("./Call.js").Result, U_2 extends R_5 | Exclude<T_8, InstanceType<M_6>>>(this: T_8, match: M_6, f: import("./Call.js").ValueCall<R_5, [InstanceType<M_6>]>): U_2;
+            case<T_9 extends Type<any, any, any, any, any>, M_7 extends Factory<T_9>, Y_4 extends import("./Call.js").Yield, R_6 extends import("./Call.js").Result, U_3 extends R_6 | Exclude<T_9, InstanceType<M_7>>>(this: T_9, match: M_7, f: import("./Call.js").GenCall<Y_4, R_6, [InstanceType<M_7>]>): Effect<Y_4, U_3>;
+            "?"<T_10 extends Type<any, any, any, any, any>, M_8 extends 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 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: 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 MerkleMapSource = MerkleMapSource.Get | MerkleMapSource.Set | MerkleMapSource.Delete;
+export declare namespace MerkleMapSource {
+    const Get_base: {
+        new (): {
+            readonly tag: "Get";
+        };
+    };
+    export class Get extends Get_base {
+        readonly map: MerkleMap;
+        readonly key: Type;
+        constructor(map: MerkleMap, key: Type);
+    }
+    const Delete_base: {
+        new (): {
+            readonly tag: "Delete";
+        };
+    };
+    export class Delete extends Delete_base {
+        readonly map: MerkleMap;
+        readonly key: Type;
+        constructor(map: MerkleMap, key: Type);
+    }
+    const Set_base: {
+        new (): {
+            readonly tag: "Set";
+        };
+    };
+    export class Set extends Set_base {
+        readonly map: MerkleMap;
+        readonly key: Type;
+        readonly value: Type;
+        constructor(map: MerkleMap, key: Type, value: Type);
+    }
+    export {};
+}
+//# sourceMappingURL=MerkleMap.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleMap.d.ts","sourceRoot":"","sources":["../../src/core/MerkleMap.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,IAAI,eAAe,EAAE,MAAM,eAAe,CAAA;AAG5D,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,IAAI,EAAc,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAGzC,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,IAAI,GAAG,IAAI,EAAE,CAAC,SAAS,IAAI,GAAG,IAAI,CACrE,SAAQ,YAAY,CAAC,UAAU,CAAC,OAAO,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CACxD;AAEF,wBAAgB,SAAS,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,SAAS,IAAI,EACtD,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,EACnB,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;;;;cAUb,IAAI;iBAED,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;oBAI1B,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;iBAItB,CAAC,GAAG,CAAC,GAAG,IAAI;oIAQD,CAAC;8IAOD,CAAC;+IAOD,CAAC,CAAC,EAAE,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAK7B;AAED,MAAM,MAAM,eAAe,GAAG,eAAe,CAAC,GAAG,GAAG,eAAe,CAAC,GAAG,GAAG,eAAe,CAAC,MAAM,CAAA;AAChG,yBAAiB,eAAe,CAAC;;;;;;IAC/B,MAAM,OAAO,GAAI,SAAQ,QAAa;QACxB,QAAQ,CAAC,GAAG,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,IAAI;oBAAlC,GAAG,EAAE,SAAS,EAAW,GAAG,EAAE,IAAI;KAGxD;;;;;;IACD,MAAM,OAAO,MAAO,SAAQ,WAAgB;QAC9B,QAAQ,CAAC,GAAG,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,IAAI;oBAAlC,GAAG,EAAE,SAAS,EAAW,GAAG,EAAE,IAAI;KAGxD;;;;;;IACD,MAAM,OAAO,GAAI,SAAQ,QAAa;QAElC,QAAQ,CAAC,GAAG,EAAE,SAAS;QACvB,QAAQ,CAAC,GAAG,EAAE,IAAI;QAClB,QAAQ,CAAC,KAAK,EAAE,IAAI;oBAFX,GAAG,EAAE,SAAS,EACd,GAAG,EAAE,IAAI,EACT,KAAK,EAAE,IAAI;KAIvB;;CACF"}

package/esm/core/MerkleMap.js

@@ -0,0 +1,67 @@
+import { Tagged } from "../util/Tagged.js";
+import { unimplemented } from "../util/unimplemented.js";
+import { u256, U256Source } from "./Int.js";
+import { None } from "./None.js";
+import { Type } from "./Type.js";
+import { Union } from "./Union.js";
+export function MerkleMap(keyType, valueType) {
+    return class extends Type.make("MerkleMap") {
+        keyType = keyType;
+        valueType = valueType;
+        size = new u256(new U256Source.MerkleMapSize(this));
+        set(key, value) {
+            return new this.ctor(new MerkleMapSource.Set(this, key, value));
+        }
+        delete(key) {
+            return new this.ctor(new MerkleMapSource.Delete(this, key));
+        }
+        get(key) {
+            return new (Union(None, this.valueType))(new MerkleMapSource.Get(this, key));
+        }
+        reduceKeys(_initial, _f) {
+            unimplemented();
+        }
+        reduceValues(_initial, _f) {
+            unimplemented();
+        }
+        reduceEntries(_initial, _f) {
+            unimplemented();
+        }
+    };
+}
+export var MerkleMapSource;
+(function (MerkleMapSource) {
+    class Get extends Tagged("Get") {
+        map;
+        key;
+        constructor(map, key) {
+            super();
+            this.map = map;
+            this.key = key;
+        }
+    }
+    MerkleMapSource.Get = Get;
+    class Delete extends Tagged("Delete") {
+        map;
+        key;
+        constructor(map, key) {
+            super();
+            this.map = map;
+            this.key = key;
+        }
+    }
+    MerkleMapSource.Delete = Delete;
+    class Set extends Tagged("Set") {
+        map;
+        key;
+        value;
+        constructor(map, key, value) {
+            super();
+            this.map = map;
+            this.key = key;
+            this.value = value;
+        }
+    }
+    MerkleMapSource.Set = Set;
+})(MerkleMapSource || (MerkleMapSource = {}));
+//# sourceMappingURL=MerkleMap.js.map

package/esm/core/MerkleMap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleMap.js","sourceRoot":"","sources":["../../src/core/MerkleMap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAW,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAMlC,MAAM,UAAU,SAAS,CACvB,OAAmB,EACnB,SAAqB;IAErB,OAAO,KAAM,SAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,CAIzC;QACC,OAAO,GAAG,OAAO,CAAA;QACjB,SAAS,GAAG,SAAS,CAAA;QAErB,IAAI,GAAS,IAAI,IAAI,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAA;QAEzD,GAAG,CAAC,GAAM,EAAE,KAAQ;YAClB,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAA;QACjE,CAAC;QAED,MAAM,CAAC,GAAM;YACX,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAA;QAC7D,CAAC;QAED,GAAG,CAAC,GAAM;YACR,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CACtC,IAAI,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CACd,CAAA;QACxB,CAAC;QAED,UAAU,CACR,QAAW,EACX,EAAuC;YAEvC,aAAa,EAAE,CAAA;QACjB,CAAC;QAED,YAAY,CACV,QAAW,EACX,EAAuC;YAEvC,aAAa,EAAE,CAAA;QACjB,CAAC;QAED,aAAa,CACX,QAAW,EACX,EAA4C;YAE5C,aAAa,EAAE,CAAA;QACjB,CAAC;KACF,CAAA;AACH,CAAC;AAGD,MAAM,KAAW,eAAe,CAoB/B;AApBD,WAAiB,eAAe;IAC9B,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QACf;QAAyB;QAA9C,YAAqB,GAAc,EAAW,GAAS;YACrD,KAAK,EAAE,CAAA;YADY,QAAG,GAAH,GAAG,CAAW;YAAW,QAAG,GAAH,GAAG,CAAM;QAEvD,CAAC;KACF;IAJY,mBAAG,MAIf,CAAA;IACD,MAAa,MAAO,SAAQ,MAAM,CAAC,QAAQ,CAAC;QACrB;QAAyB;QAA9C,YAAqB,GAAc,EAAW,GAAS;YACrD,KAAK,EAAE,CAAA;YADY,QAAG,GAAH,GAAG,CAAW;YAAW,QAAG,GAAH,GAAG,CAAM;QAEvD,CAAC;KACF;IAJY,sBAAM,SAIlB,CAAA;IACD,MAAa,GAAI,SAAQ,MAAM,CAAC,KAAK,CAAC;QAEzB;QACA;QACA;QAHX,YACW,GAAc,EACd,GAAS,EACT,KAAW;YAEpB,KAAK,EAAE,CAAA;YAJE,QAAG,GAAH,GAAG,CAAW;YACd,QAAG,GAAH,GAAG,CAAM;YACT,UAAK,GAAL,KAAK,CAAM;QAGtB,CAAC;KACF;IARY,mBAAG,MAQf,CAAA;AACH,CAAC,EApBgB,eAAe,KAAf,eAAe,QAoB/B"}