liminal 0.4.0 → 1.0.0-beta.2

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

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAEA,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA;AACxB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,UAAU,CAAA"}

package/esm/core/mod.js

@@ -0,0 +1,19 @@
+// moderate
+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.js.map

package/esm/core/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/core/mod.ts"],"names":[],"mappings":"AAAA,WAAW;AAEX,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,WAAW,CAAA;AACzB,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,SAAS,CAAA;AACvB,cAAc,UAAU,CAAA;AACxB,cAAc,UAAU,CAAA;AACxB,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,YAAY,CAAA;AAC1B,cAAc,UAAU,CAAA"}

package/esm/lib/MerkleList.d.ts

@@ -0,0 +1,4 @@
+export declare class MerkleList<T> {
+    ""?: [T];
+}
+//# sourceMappingURL=MerkleList.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleList.d.ts","sourceRoot":"","sources":["../../src/lib/MerkleList.ts"],"names":[],"mappings":"AACA,qBAAa,UAAU,CAAC,CAAC;IACf,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;CACjB"}

package/esm/lib/MerkleList.js

@@ -0,0 +1,4 @@
+// TODO
+export class MerkleList {
+}
+//# sourceMappingURL=MerkleList.js.map

package/esm/lib/MerkleList.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleList.js","sourceRoot":"","sources":["../../src/lib/MerkleList.ts"],"names":[],"mappings":"AAAA,OAAO;AACP,MAAM,OAAO,UAAU;CAEtB"}

package/esm/lib/MerkleMap.d.ts

@@ -0,0 +1,4 @@
+export declare class MerkleMap<K, V> {
+    ""?: [K, V];
+}
+//# sourceMappingURL=MerkleMap.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleMap.d.ts","sourceRoot":"","sources":["../../src/lib/MerkleMap.ts"],"names":[],"mappings":"AACA,qBAAa,SAAS,CAAC,CAAC,EAAE,CAAC;IACjB,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACpB"}

package/esm/lib/MerkleMap.js

@@ -0,0 +1,4 @@
+// TODO
+export class MerkleMap {
+}
+//# sourceMappingURL=MerkleMap.js.map

package/esm/lib/MerkleMap.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MerkleMap.js","sourceRoot":"","sources":["../../src/lib/MerkleMap.ts"],"names":[],"mappings":"AAAA,OAAO;AACP,MAAM,OAAO,SAAS;CAErB"}

package/esm/lib/mod.d.ts

@@ -0,0 +1,3 @@
+export * from "./MerkleList.js";
+export * from "./MerkleMap.js";
+//# sourceMappingURL=mod.d.ts.map

package/esm/lib/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/lib/mod.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA"}

package/esm/lib/mod.js

@@ -0,0 +1,3 @@
+export * from "./MerkleList.js";
+export * from "./MerkleMap.js";
+//# sourceMappingURL=mod.js.map

package/esm/lib/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/lib/mod.ts"],"names":[],"mappings":"AAAA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,gBAAgB,CAAA"}

package/esm/mod.d.ts

@@ -0,0 +1,3 @@
+export * from "./client/mod.js";
+export * from "./core/mod.js";
+//# sourceMappingURL=mod.d.ts.map

package/esm/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAEA,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA"}

package/esm/mod.js

@@ -0,0 +1,4 @@
+// moderate --exclude lib test
+export * from "./client/mod.js";
+export * from "./core/mod.js";
+//# sourceMappingURL=mod.js.map

package/esm/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../src/mod.ts"],"names":[],"mappings":"AAAA,8BAA8B;AAE9B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,eAAe,CAAA"}

package/esm/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "module"
+}

package/esm/test/Signer.d.ts

@@ -0,0 +1,10 @@
+import { ArrayOfLength } from "../util/ArrayOfLength.js";
+export declare function signer(): TestSigner;
+export declare function signer(count: 1): TestSigner;
+export declare function signer<C extends number>(count: C): ArrayOfLength<TestSigner, C>;
+export interface TestSigner {
+    publicKey: Uint8Array;
+    (tx: Uint8Array): Uint8Array;
+}
+export declare function TestSigner(): TestSigner;
+//# sourceMappingURL=Signer.d.ts.map

package/esm/test/Signer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Signer.d.ts","sourceRoot":"","sources":["../../src/test/Signer.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAExD,wBAAgB,MAAM,IAAI,UAAU,CAAA;AACpC,wBAAgB,MAAM,CAAC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAA;AAC5C,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,aAAa,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;AAMhF,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,UAAU,CAAA;IACrB,CAAC,EAAE,EAAE,UAAU,GAAG,UAAU,CAAA;CAC7B;AAGD,wBAAgB,UAAU,IAAI,UAAU,CAIvC"}

package/esm/test/Signer.js

@@ -0,0 +1,13 @@
+import crypto from "node:crypto";
+export function signer(count) {
+    if (!count || count === 1)
+        return TestSigner();
+    return Array.from({ length: count }, TestSigner);
+}
+// TODO: get signing actually working at some point
+export function TestSigner() {
+    const pair = crypto.generateKeyPairSync("ec", { namedCurve: "secp256k1" });
+    const publicKey = new Uint8Array(pair.publicKey.export({ format: "der", type: "sec1" }));
+    return Object.assign((tx) => crypto.sign(null, tx, pair.privateKey), { publicKey });
+}
+//# sourceMappingURL=Signer.js.map

package/esm/test/Signer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Signer.js","sourceRoot":"","sources":["../../src/test/Signer.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,aAAa,CAAA;AAMhC,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,IAAI,CAAC,KAAK,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,UAAU,EAAE,CAAA;IAC9C,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,UAAU,CAAC,CAAA;AAClD,CAAC;AAOD,mDAAmD;AACnD,MAAM,UAAU,UAAU;IACxB,MAAM,IAAI,GAAG,MAAM,CAAC,mBAAmB,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAA;IAC1E,MAAM,SAAS,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAA;IACxF,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,EAAc,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAA;AACjG,CAAC"}

package/esm/test/mod.d.ts

@@ -0,0 +1,2 @@
+export * from "./Signer.js";
+//# sourceMappingURL=mod.d.ts.map

package/esm/test/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../src/test/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA"}

package/esm/test/mod.js

@@ -0,0 +1,2 @@
+export * from "./Signer.js";
+//# sourceMappingURL=mod.js.map

package/esm/test/mod.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.js","sourceRoot":"","sources":["../../src/test/mod.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA"}

package/esm/util/AbortController.d.ts

@@ -0,0 +1,4 @@
+export interface SignalOptions {
+    signal?: AbortSignal;
+}
+//# sourceMappingURL=AbortController.d.ts.map

package/esm/util/AbortController.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AbortController.d.ts","sourceRoot":"","sources":["../../src/util/AbortController.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,aAAa;IAC5B,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB"}

package/esm/util/AbortController.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=AbortController.js.map

package/esm/util/AbortController.js.map

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

package/esm/util/ArrayOfLength.d.ts

@@ -0,0 +1,2 @@
+export type ArrayOfLength<T, L extends number, A extends T[] = []> = number extends L ? T[] : L extends A["length"] ? A : ArrayOfLength<T, L, [...A, T]>;
+//# sourceMappingURL=ArrayOfLength.d.ts.map

package/esm/util/ArrayOfLength.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ArrayOfLength.d.ts","sourceRoot":"","sources":["../../src/util/ArrayOfLength.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,aAAa,CACvB,CAAC,EACD,CAAC,SAAS,MAAM,EAChB,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,IAChB,MAAM,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA"}

package/esm/util/ArrayOfLength.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=ArrayOfLength.js.map

package/esm/util/ArrayOfLength.js.map

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

package/esm/util/Flatten.d.ts

@@ -0,0 +1,4 @@
+export type Flatten<T> = [{
+    [K in keyof T]: T[K];
+}][0];
+//# sourceMappingURL=Flatten.d.ts.map

package/esm/util/Flatten.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Flatten.d.ts","sourceRoot":"","sources":["../../src/util/Flatten.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,CAAC,CAAC,CAAC,CAAA"}

package/esm/util/Flatten.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Flatten.js.map

package/esm/util/Flatten.js.map

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

package/esm/util/Rest.d.ts

@@ -0,0 +1,2 @@
+export type Rest<T> = undefined extends T ? [value?: T] : [value: T];
+//# sourceMappingURL=Rest.d.ts.map

package/esm/util/Rest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Rest.d.ts","sourceRoot":"","sources":["../../src/util/Rest.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,SAAS,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA"}

package/esm/util/Rest.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Rest.js.map

package/esm/util/Rest.js.map

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

package/esm/util/Subscription.d.ts

@@ -0,0 +1,5 @@
+import { SignalOptions } from "./AbortController.js";
+export interface Subscription<T> {
+    subscribe(callback: (value: T) => void, options?: SignalOptions): Promise<void>;
+}
+//# sourceMappingURL=Subscription.d.ts.map

package/esm/util/Subscription.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Subscription.d.ts","sourceRoot":"","sources":["../../src/util/Subscription.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD,MAAM,WAAW,YAAY,CAAC,CAAC;IAC7B,SAAS,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,IAAI,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAChF"}

package/esm/util/Subscription.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=Subscription.js.map

package/esm/util/Subscription.js.map

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

package/esm/util/Tagged.d.ts

@@ -0,0 +1,6 @@
+export declare function Tagged<K extends keyof any>(tag: K): {
+    new (): {
+        readonly tag: K;
+    };
+};
+//# sourceMappingURL=Tagged.d.ts.map

package/esm/util/Tagged.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tagged.d.ts","sourceRoot":"","sources":["../../src/util/Tagged.ts"],"names":[],"mappings":"AAAA,wBAAgB,MAAM,CAAC,CAAC,SAAS,MAAM,GAAG,EAAE,GAAG,EAAE,CAAC;;;;EAIjD"}

package/esm/util/Tagged.js

@@ -0,0 +1,6 @@
+export function Tagged(tag) {
+    return class {
+        tag = tag;
+    };
+}
+//# sourceMappingURL=Tagged.js.map

package/esm/util/Tagged.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tagged.js","sourceRoot":"","sources":["../../src/util/Tagged.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,MAAM,CAAsB,GAAM;IAChD,OAAO;QACI,GAAG,GAAG,GAAG,CAAA;KACnB,CAAA;AACH,CAAC"}

package/esm/util/U2I.d.ts

@@ -0,0 +1,2 @@
+export type U2I<T> = (T extends any ? (x: T) => any : never) extends (x: infer R) => any ? R : never;
+//# sourceMappingURL=U2I.d.ts.map

package/esm/util/U2I.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"U2I.d.ts","sourceRoot":"","sources":["../../src/util/U2I.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA"}

package/esm/util/U2I.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=U2I.js.map

package/esm/util/U2I.js.map

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

package/esm/util/generator/collect.d.ts

@@ -0,0 +1,3 @@
+export type Collected<Y, R> = [Y[], R];
+export declare function collect<Y, R>(generator: Generator<Y, R>): Collected<Y, R>;
+//# sourceMappingURL=collect.d.ts.map

package/esm/util/generator/collect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect.d.ts","sourceRoot":"","sources":["../../../src/util/generator/collect.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;AAEtC,wBAAgB,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAazE"}

package/esm/util/generator/collect.js

@@ -0,0 +1,16 @@
+export function collect(generator) {
+    const statements = [];
+    let result;
+    statements: while (true) {
+        const next = generator.next();
+        if (next.done) {
+            result = next.value;
+            break statements;
+        }
+        else {
+            statements.push(next.value);
+        }
+    }
+    return [statements, result];
+}
+//# sourceMappingURL=collect.js.map

package/esm/util/generator/collect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect.js","sourceRoot":"","sources":["../../../src/util/generator/collect.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,OAAO,CAAO,SAA0B;IACtD,MAAM,UAAU,GAAQ,EAAE,CAAA;IAC1B,IAAI,MAAS,CAAA;IACb,UAAU,EAAE,OAAO,IAAI,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,CAAA;QAC7B,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACd,MAAM,GAAG,IAAI,CAAC,KAAK,CAAA;YACnB,MAAM,UAAU,CAAA;QAClB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;AAC7B,CAAC"}

package/esm/util/isKey.d.ts

@@ -0,0 +1,2 @@
+export declare function isKey(inQuestion: unknown): inQuestion is keyof any;
+//# sourceMappingURL=isKey.d.ts.map

package/esm/util/isKey.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"isKey.d.ts","sourceRoot":"","sources":["../../src/util/isKey.ts"],"names":[],"mappings":"AAAA,wBAAgB,KAAK,CAAC,UAAU,EAAE,OAAO,GAAG,UAAU,IAAI,MAAM,GAAG,CAMlE"}

package/esm/util/isKey.js

@@ -0,0 +1,8 @@
+export function isKey(inQuestion) {
+    return !!{
+        number: true,
+        string: true,
+        symbol: true,
+    }[typeof inQuestion];
+}
+//# sourceMappingURL=isKey.js.map

package/esm/util/isKey.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isKey.js","sourceRoot":"","sources":["../../src/util/isKey.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,KAAK,CAAC,UAAmB;IACvC,OAAO,CAAC,CAAE;QACR,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;KACe,CAAC,OAAO,UAAU,CAAC,CAAA;AAClD,CAAC"}

package/esm/util/unimplemented.d.ts

@@ -0,0 +1,2 @@
+export declare function unimplemented(message?: string): never;
+//# sourceMappingURL=unimplemented.d.ts.map

package/esm/util/unimplemented.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unimplemented.d.ts","sourceRoot":"","sources":["../../src/util/unimplemented.ts"],"names":[],"mappings":"AAAA,wBAAgB,aAAa,CAAC,OAAO,CAAC,EAAE,MAAM,GAAG,KAAK,CAGrD"}

package/esm/util/unimplemented.js

@@ -0,0 +1,6 @@
+export function unimplemented(message) {
+    if (message)
+        console.error(message);
+    throw 0;
+}
+//# sourceMappingURL=unimplemented.js.map

package/esm/util/unimplemented.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unimplemented.js","sourceRoot":"","sources":["../../src/util/unimplemented.ts"],"names":[],"mappings":"AAAA,MAAM,UAAU,aAAa,CAAC,OAAgB;IAC5C,IAAI,OAAO;QAAE,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACnC,MAAM,CAAC,CAAA;AACT,CAAC"}

package/package.json

@@ -1,26 +1,26 @@
 {
   "name": "liminal",
-  "version": "0.4.0",
-  "description": "Functional tools for composing applications",
-  "repository": "https://github.com/caderek/liminal",
-  "homepage": "https://github.com/caderek/liminal",
-  "main": "lib/index.js",
-  "license": "ISC",
-  "scripts": {
-    "start": "nodemon --exec ts-node src/index.ts",
-    "build": "tsc",
-    "test": "jest"
+  "version": "v1.0.0-beta.2",
+  "description": "",
+  "repository": "github:MinaFoundation/Liminal",
+  "license": "Apache-2.0",
+  "module": "./esm/mod.js",
+  "exports": {
+    ".": {
+      "import": "./esm/mod.js"
+    },
+    "liminal/lib": {
+      "import": "./esm/lib/mod.js"
+    },
+    "liminal/test": {
+      "import": "./esm/test/mod.js"
+    }
+  },
+  "dependencies": {
+    "tslib": "^2.6.2"
   },
   "devDependencies": {
-    "@types/jest": "^24.0.18",
-    "@types/node": "^12.7.4",
-    "jest": "^24.9.0",
-    "nodemon": "^1.19.2",
-    "ts-jest": "^24.1.0",
-    "ts-node": "^8.3.0",
-    "typescript": "^3.6.3"
+    "@types/node": "^20.9.0"
   },
-  "dependencies": {
-    "deep-strict-equal": "^0.2.0"
-  }
-}
+  "_generatedBy": "dnt@dev"
+}

package/src/client/Client.ts

@@ -0,0 +1,49 @@
+import { Result, Type } from "../core/mod.js"
+import { SignalOptions } from "../util/AbortController.js"
+import { Subscription } from "../util/Subscription.js"
+import { unimplemented } from "../util/unimplemented.js"
+
+export declare function client(...bootNodes: string[]): Promise<Client>
+
+export class Client implements Disposable {
+  send<R extends Result>(
+    _tx: () => Generator<unknown, R>,
+    _options: SignalOptions,
+  ): Subscription<TxStatus<Type.Native<R>>> {
+    unimplemented()
+  }
+
+  // TODO
+  [Symbol.dispose]() {}
+}
+
+export interface TxBroadcast {
+  tag: "Broadcasted"
+  peers: string[]
+}
+export interface TxInclusion<R> {
+  tag: "Included"
+  block: string
+  result: R
+}
+export interface TxFinalization<R> {
+  tag: "Finalized"
+  block: string
+  result: R
+}
+export interface TxRejection {
+  tag: "Rejected"
+  reason: TxRejectionReason
+}
+
+export type TxStatus<R> = TxBroadcast | TxInclusion<R> | TxFinalization<R> | TxRejection
+
+// TODO
+export type TxRejectionReason =
+  | { tag: "SeeingAnotherTx" }
+  | { tag: "LackingRizz" }
+  | { tag: "Impossible" }
+  | {
+    tag: "SystemError"
+    value: "A" | "B" | "C"
+  }

package/src/client/Store.ts

@@ -0,0 +1 @@
+export class Store {}

package/src/client/Tx.ts

@@ -0,0 +1,62 @@
+import { Call, Result, Yield } from "../core/Call.js"
+import { SignerRequirement } from "../core/Id.js"
+import { Type } from "../core/Type.js"
+import { SignalOptions } from "../util/AbortController.js"
+import { Subscription } from "../util/Subscription.js"
+import { unimplemented } from "../util/unimplemented.js"
+import { Client, TxBroadcast, TxFinalization, TxInclusion, TxStatus } from "./Client.js"
+
+export function tx<R extends Type>(f: R | (() => R)): Tx<never, R>
+export function tx<Y extends Yield, R extends Result>(
+  f: Generator<Y, R> | (() => Generator<Y, R>),
+): Tx<Y, R>
+export function tx(value: any) {
+  return new Tx(value)
+}
+
+export class Tx<Y extends Yield, R extends Result> {
+  constructor(readonly f: Call<Y, R>) {}
+
+  sign(senderSigner: SignBytes, ...maybeSigners: MaybeTxSigners<Y>): SignedTx<Y, R> {
+    return new SignedTx(this, senderSigner, ...maybeSigners)
+  }
+}
+
+export type MaybeTxSigners<Y> = [Extract<Y, SignerRequirement>] extends [never] ? [] : [
+  signers: { [K in Extract<Y, SignerRequirement>["key"]]: SignBytes },
+]
+export type SignBytes = (bytes: Uint8Array) => Uint8Array
+
+export class SignedTx<Y extends Yield, R extends Result> {
+  signers
+  constructor(
+    readonly tx: Tx<Y, R>,
+    readonly senderSigner: SignBytes,
+    ...[signers]: MaybeTxSigners<Y>
+  ) {
+    this.signers = signers
+  }
+
+  run(_handler?: TxHandler<Y>): TxRun<Y, R> {
+    return new TxRun(this)
+  }
+}
+
+export type TxHandler<Y extends Yield> = (value: Type.Native<Exclude<Y, SignerRequirement>>) => void
+
+export class TxRun<Y extends Yield, R extends Result> {
+  constructor(readonly signedTx: SignedTx<Y, R>) {}
+
+  commit(_chain: Client, _options?: CommitOptions): Commit<Type.Native<R>> {
+    unimplemented()
+  }
+}
+
+export interface CommitOptions extends SignalOptions {}
+
+// TODO: should `included` and `finalized` include the tx result value in the case that the tx generator returns a value?
+export interface Commit<R> extends Subscription<TxStatus<R>> {
+  broadcasted(): Promise<TxBroadcast>
+  included(): Promise<TxInclusion<R>>
+  finalized(): Promise<TxFinalization<R>>
+}

package/src/client/mod.ts

@@ -0,0 +1,5 @@
+// moderate
+
+export * from "./Client.js"
+export * from "./Store.js"
+export * from "./Tx.js"

package/src/core/Bool.ts

@@ -0,0 +1,75 @@
+import { Tagged } from "../util/Tagged.js"
+import { unimplemented } from "../util/unimplemented.js"
+import { Call, Result, Yield } from "./Call.js"
+import { Effect } from "./Effect.js"
+import { None } from "./None.js"
+import { Factory, Type } from "./Type.js"
+
+export class bool extends Type.make("bool")<BoolSource, boolean, never, never> {
+  if<R extends Result>(call: R | (() => R)): If<never, R>
+  if<Y extends Yield, R extends Result>(
+    call: Generator<Y, R> | (() => Generator<Y, R>),
+  ): If<Y, R>
+  if(call: any) {
+    return new If(this, call)
+  }
+
+  not(): bool {
+    return new bool(new BoolSource.Not(this))
+  }
+
+  assert<E extends Type>(_error: E): Effect<E, never> {
+    unimplemented()
+  }
+}
+
+export class If<Y extends Yield, R extends Result> extends Effect<Y, R | None> {
+  constructor(readonly self: bool, readonly call: Call<Y, R>) {
+    super()
+    const [yields, result] = Call.collect(call)
+    this.yields = yields
+    this.result = result
+  }
+
+  else<R2 extends Result>(
+    call: R2 | (() => R2),
+  ): [Y] extends [never] ? R | R2 : Effect<Y, R | R2>
+  else<Y2 extends Yield, R2 extends Result>(
+    call: Generator<Y2, R2> | (() => Generator<Y2, R2>),
+  ): Effect<Y | Y2, R | R2>
+  else(_call: any) {
+    return unimplemented()
+  }
+}
+
+export type BoolSource =
+  | BoolSource.True
+  | BoolSource.False
+  | BoolSource.Not
+  | BoolSource.Equals
+  | BoolSource.Is
+export namespace BoolSource {
+  export class True extends Tagged("True") {}
+  export class False extends Tagged("False") {}
+  export class Not extends Tagged("Not") {
+    constructor(readonly not: bool) {
+      super()
+    }
+  }
+  export class Equals extends Tagged("Equals") {
+    constructor(readonly left: Type, readonly right: Type) {
+      super()
+    }
+  }
+  export class Is extends Tagged("Is") {
+    constructor(readonly inQuestion: Type, readonly match: Factory) {
+      super()
+    }
+  }
+}
+
+const true_ = new bool(new BoolSource.True())
+export { true_ as true }
+
+const false_ = new bool(new BoolSource.False())
+export { false_ as false }

package/src/core/Bytes.ts

@@ -0,0 +1,9 @@
+import { Type } from "./Type.js"
+
+export function Bytes<Size extends number>(size: Size) {
+  return class extends Type.make("Bytes")<BytesSource, Uint8Array> {
+    size = size
+  }
+}
+
+export type BytesSource = never