@helios-lang/contract-utils 0.1.2 → 0.1.7

package/examples/spending/index.d.ts

@@ -0,0 +1,19 @@
+import type {UplcData} from "@helios-lang/ledger";
+import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from "@helios-lang/ledger";
+import { Cast } from "@helios-lang/contract-utils";
+export const utils: {
+    $name: string
+    $purpose: string
+    $sourceCode: string
+    $dependencies: []
+}
+export const match_string: {
+    $name: string
+    $purpose: string
+    $sourceCode: string
+    $dependencies: [typeof utils]
+    $hashDependencies: []
+    $dependsOnOwnHash: boolean
+    $Redeemer: Cast<string, string>
+    $Datum: Cast<{One: {message: string}} | {Two: {code: bigint}}, {One: {message: string}} | {Two: {code: bigint | number | string}}>
+}

package/examples/spending/index.js

@@ -0,0 +1,17 @@
+import { Cast } from "@helios-lang/contract-utils";
+export const utils = {
+    $name: "utils",
+    $purpose: "module",
+    $sourceCode: "module utils\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
+    $dependencies: [],
+}
+export const match_string = {
+    $name: "match_string",
+    $purpose: "spending",
+    $sourceCode: "spending match_string\n\nimport { compare } from utils\n\nenum Datum {\n One {\n  message: String\n }\n\n Two {\n  code: Int\n }\n}\n\nfunc main(datum: Datum, redeemer: String, _) -> Bool {\n compare(datum.switch{d: One => d.message, d: Two => d.code.show()}, redeemer)\n}",
+    $dependencies: [utils],
+    $hashDependencies: [],
+    $dependsOnOwnHash: false,
+    $Redeemer: new Cast({"primitiveType":"String"}),
+    $Datum: new Cast({"enumVariantTypes":[{"name":"One","fieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]},{"name":"Two","fieldTypes":[{"name":"code","type":{"primitiveType":"Int"}}]}]})
+}

package/package.json

@@ -1,14 +1,16 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.1.2",
+    "version": "0.1.7",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
+    "types": "types/index.d.ts",
     "type": "module",
     "bin": {
         "hl2ts": "src/hl2ts.js"
     },
     "scripts": {
-        "build": "npx tsc",
+        "build": "npm run build:types",
+        "build:types": "npx tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
         "clean": "find src/ -name *.d.ts* | xargs rm",
         "prettify": "npx prettier . --write",
         "test": "npm run test:pretty && npm run test:types && npm run test:suite",
@@ -30,10 +32,10 @@
         "singleQuote": false
     },
     "dependencies": {
-        "@helios-lang/codec-utils": "^0.1.23",
-        "@helios-lang/compiler-utils": "^0.1.4",
-        "@helios-lang/ledger": "^0.1.9",
-        "@helios-lang/type-utils": "^0.1.3",
-        "@helios-lang/uplc": "^0.1.0"
+        "@helios-lang/codec-utils": "^0.1.26",
+        "@helios-lang/compiler-utils": "^0.1.20",
+        "@helios-lang/ledger": "^0.1.10",
+        "@helios-lang/type-utils": "^0.1.8",
+        "@helios-lang/uplc": "^0.1.21"
     }
 }

package/src/codegen/TypeSchema.js

@@ -46,6 +46,8 @@ export function genTypes(schema) {
                 return ["number[]", "number[]"]
             case "Credential":
                 return ["Credential", "Credential | PubKeyHash | ValidatorHash"]
+            case "Data":
+                return ["UplcData", "UplcData"]
             case "Duration":
                 return ["bigint", "bigint | number"]
             case "Int":
@@ -79,7 +81,7 @@ export function genTypes(schema) {
             case "String":
                 return ["string", "string"]
             case "Time":
-                return ["Date", "Data | bigint | number"]
+                return ["Date", "Date | bigint | number"]
             case "TimeRange":
                 return [
                     "TimeRange",

package/src/codegen/TypescriptWriter.js

@@ -98,6 +98,14 @@ export class TypescriptWriter {
         )
     }
 
+    writeHeaders() {
+        this.wjs.writeLine("import { Cast } from \"@helios-lang/contract-utils\";")
+
+        this.wdts.writeLine("import type {UplcData} from \"@helios-lang/ledger\";")
+        this.wdts.writeLine("import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from \"@helios-lang/ledger\";")
+        this.wdts.writeLine("import { Cast } from \"@helios-lang/contract-utils\";")
+    }
+
     /**
      * @param {{[name: string]: Module}} ms
      */

package/src/codegen/index.js

@@ -3,12 +3,6 @@ export { Writer } from "./Writer.js"
 
 /**
  * @typedef {import("./Module.js").Module} Module
- */
-
-/**
  * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
- */
-
-/**
  * @typedef {import("./Validator.js").Validator} Validator
  */

package/src/hl2ts.js

@@ -1,6 +1,6 @@
 #!/usr/bin/env node
 
-import { promises, readFileSync } from "node:fs"
+import { promises, readFileSync, writeFileSync } from "node:fs"
 import { dirname, join, resolve } from "node:path"
 import { readHeader, translateImportPaths } from "@helios-lang/compiler-utils"
 import { TypescriptWriter } from "./codegen/index.js"
@@ -8,23 +8,16 @@ import { loadLibrary } from "./lib/index.js"
 
 /**
  * @typedef {import("./lib/Lib.js").Lib} Lib
- */
-
-/**
  * @typedef {import("./lib/Lib.js").SourceDetails} SourceDetails
- */
-
-/**
  * @typedef {import("./lib/Lib.js").ModuleDetails} ModuleDetails
- */
-
-/**
  * @typedef {import("./lib/Lib.js").ValidatorDetails} ValidatorDetails
  */
 
 async function main() {
     console.log("hl2ts")
 
+    const { outDir } = parseArgs(process.argv)
+
     const lib = await loadLibrary()
     const filePaths = await listFiles(process.cwd(), ".hl")
     const files = readFiles(filePaths)
@@ -32,17 +25,39 @@ async function main() {
     const { modules, validators } = typeCheck(lib, sources)
 
     const w = new TypescriptWriter()
-    console.log(modules, validators)
+
+    w.writeHeaders()
     w.writeModules(modules)
     w.writeValidators(validators)
+    
     const [js, dts] = w.finalize()
 
-    console.log(js)
-    console.log(dts)
+    const jsPath = join(outDir, "index.js")
+    const dtsPath = join(outDir, "index.d.ts")
+
+    writeFileSync(jsPath, js)
+    writeFileSync(dtsPath, dts)
 }
 
 main()
 
+/**
+ * @param {string[]} args
+ * @returns {{outDir: string}}
+ */
+function parseArgs(args) {
+    let i = args.indexOf("-o")
+    if (i != -1) {
+        if (i == args.length - 1) {
+            throw new Error("expected argument after -o")
+        }
+
+        return { outDir: resolve(args[i + 1]) }
+    } else {
+        return { outDir: process.cwd() }
+    }
+}
+
 /**
  * @param {string} dir
  * @param {string} ext
@@ -109,7 +124,7 @@ function preparseFiles(files) {
         const sourceCode = translateImportPaths(files[path], (relPath) => {
             const absPath = resolve(join(dirname(path), relPath))
 
-            const d = partialSources[absPath]
+            const d = partialSources[absPath] ?? partialSources[absPath + ".hl"]
 
             if (!d) {
                 throw new Error(`'${relPath}' not found`)

package/src/index.js

@@ -0,0 +1 @@
+export { Cast } from "./runtime/index.js"

package/src/lib/Libg_v0_16.js

@@ -327,8 +327,16 @@ export class Lib_v0_16 {
      * @returns {InternalTypeDetails}
      */
     getInternalTypeDetails(dt) {
-        const it = dt?.typeDetails?.internalType ?? { type: "Any" }
-
-        return this.convertInternalType(it)
+        try {
+            const it = dt?.typeDetails?.internalType ?? { type: "Any" }
+
+            return this.convertInternalType(it)
+        } catch (e) {
+            if (e.message.includes("Data")) {
+                return { primitiveType: "Data" }
+            } else {
+                throw e
+            }
+        }
     }
 }

package/src/runtime/Cast.js

@@ -91,6 +91,8 @@ function schemaToUplc(schema, x) {
             case "Credential":
             case "PaymentCredential":
                 return Credential.fromAlike(x).toUplcData()
+            case "Data":
+                return x
             case "DatumHash":
                 return DatumHash.fromAlike(x).toUplcData()
             case "DCert":
@@ -199,6 +201,8 @@ function uplcToSchema(schema, data) {
                 return ByteArrayData.expect(data).bytes
             case "Credential":
                 return Credential.fromUplcData(data)
+            case "Data":
+                return data
             case "DCert":
                 throw new Error(
                     "can't convert UplcData back into DCert (significant loss of information)"

package/src/runtime/index.js

@@ -0,0 +1 @@
+export { Cast } from "./Cast.js"

package/types/codegen/Module.d.ts

@@ -0,0 +1,24 @@
+/**
+ * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
+ */
+/**
+ * @typedef {{
+ *   name: string
+ *   purpose: string
+ *   sourceCode: string
+ *   moduleDepedencies: string[]
+ *   types: {[name: string]: TypeSchema}
+ * }} Module
+ */
+export const _: {};
+export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type Module = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+    moduleDepedencies: string[];
+    types: {
+        [name: string]: import("./TypeSchema.js").TypeSchema;
+    };
+};
+//# sourceMappingURL=Module.d.ts.map

package/types/codegen/Module.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Module.d.ts","sourceRoot":"","sources":["../../src/codegen/Module.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;GAQG;AAEH,mBAAmB;yBAbN,OAAO,iBAAiB,EAAE,UAAU;;UAKtC,MAAM;aACH,MAAM;gBACH,MAAM;uBACC,MAAM,EAAE"}

package/types/codegen/TypeSchema.d.ts

@@ -0,0 +1,54 @@
+/**
+ * @typedef {{
+ *     primitiveType: string
+ * } | {
+ *     listItemType: TypeSchema
+ * } | {
+ *     mapKeyType: TypeSchema
+ *     mapValueType: TypeSchema
+ * } | {
+ *     optionSomeType: TypeSchema
+ * } | {
+ *     structFieldTypes: {
+ *         name: string
+ *         type: TypeSchema
+ *     }[]
+ * } | {
+ *     enumVariantTypes: {
+ *          name: string,
+ *          fieldTypes: {
+ *              name: string
+ *              type: TypeSchema
+ *          }[]
+ *     }[]
+ * }} TypeSchema
+ */
+/**
+ * @param {TypeSchema} schema
+ * @returns {[string, string]} - the first entry is the canonical type, the second is the permissive type
+ */
+export function genTypes(schema: TypeSchema): [string, string];
+export type TypeSchema = {
+    primitiveType: string;
+} | {
+    listItemType: TypeSchema;
+} | {
+    mapKeyType: TypeSchema;
+    mapValueType: TypeSchema;
+} | {
+    optionSomeType: TypeSchema;
+} | {
+    structFieldTypes: {
+        name: string;
+        type: TypeSchema;
+    }[];
+} | {
+    enumVariantTypes: {
+        name: string;
+        fieldTypes: {
+            name: string;
+            type: TypeSchema;
+        }[];
+    }[];
+};
+//# sourceMappingURL=TypeSchema.d.ts.map

package/types/codegen/TypeSchema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH;;;GAGG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CA0H5B;yBArJY;IACZ,aAAmB,EAAE,MAAM,CAAA;CACxB,GAAG;IACN,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,UAAgB,EAAE,UAAU,CAAA;IAC5B,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,cAAoB,EAAE,UAAU,CAAA;CAC7B,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAgB,MAAM,CAAA;QACtB,IAAc,EAAE,UAAU,CAAA;KACnB,EAAE,CAAA;CACN,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAiB,MAAM,CAAC;QACxB,UAAqB,EAAE;YACvB,MAAqB,MAAM,CAAA;YAC3B,IAAmB,EAAE,UAAU,CAAA;SACnB,EAAE,CAAA;KACP,EAAE,CAAA;CACN"}

package/types/codegen/TypescriptWriter.d.ts

@@ -0,0 +1,50 @@
+/**
+ * @typedef {import("./Module.js").Module} Module
+ * @typedef {import("./Validator.js").Validator} Validator
+ */
+export class TypescriptWriter {
+    wjs: Writer;
+    wdts: Writer;
+    /**
+     * @param {string} js
+     * @param {string} dts
+     * @returns {TypescriptWriter}
+     */
+    write(js: string, dts?: string): TypescriptWriter;
+    /**
+     * @param {string} js
+     * @param {string} dts
+     * @returns {TypescriptWriter}
+     */
+    writeLine(js: string, dts?: string): TypescriptWriter;
+    /**
+     * @param {Module} m
+     */
+    writeModule(m: Module): void;
+    /**
+     * @param {Validator} v
+     */
+    writeValidator(v: Validator): void;
+    writeHeaders(): void;
+    /**
+     * @param {{[name: string]: Module}} ms
+     */
+    writeModules(ms: {
+        [name: string]: import("./Module.js").Module;
+    }): void;
+    /**
+     *
+     * @param {{[name: string]: Validator}} validators
+     */
+    writeValidators(validators: {
+        [name: string]: import("./Validator.js").Validator;
+    }): void;
+    /**
+     * @returns {[string, string]}
+     */
+    finalize(): [string, string];
+}
+export type Module = import("./Module.js").Module;
+export type Validator = import("./Validator.js").Validator;
+import { Writer } from "./Writer.js";
+//# sourceMappingURL=TypescriptWriter.d.ts.map

package/types/codegen/TypescriptWriter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypescriptWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/TypescriptWriter.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH;IAEQ,YAAuB;IACvB,aAAwB;IAG5B;;;;OAIG;IACH,UAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAM5B;IAED;;;;OAIG;IACH,cAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAY5B;IAED;;OAEG;IACH,eAFW,MAAM,QAmBhB;IAED;;OAEG;IACH,kBAFW,SAAS,QAiCnB;IAED,qBAMC;IAED;;OAEG;IACH;;aA4BC;IAED;;;OAGG;IACH;;aA8BC;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,CAAC,CAI5B;CACJ;qBAnLY,OAAO,aAAa,EAAE,MAAM;wBAC5B,OAAO,gBAAgB,EAAE,SAAS;uBAJxB,aAAa"}

package/types/codegen/Validator.d.ts

@@ -0,0 +1,22 @@
+/**
+ * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
+ */
+/**
+ * @typedef {import("./Module.js").Module} Module
+ */
+/**
+ * @typedef {Module & {
+ *   hashDependencies: string[]
+ *   Redeemer: TypeSchema
+ *   Datum?: TypeSchema
+ * }} Validator
+ */
+export const _: {};
+export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type Module = import("./Module.js").Module;
+export type Validator = Module & {
+    hashDependencies: string[];
+    Redeemer: TypeSchema;
+    Datum?: TypeSchema;
+};
+//# sourceMappingURL=Validator.d.ts.map

package/types/codegen/Validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Validator.d.ts","sourceRoot":"","sources":["../../src/codegen/Validator.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AAEH;;;;;;GAMG;AAEH,mBAAmB;yBAfN,OAAO,iBAAiB,EAAE,UAAU;qBAIpC,OAAO,aAAa,EAAE,MAAM;wBAI5B,MAAM,GAAG;IACrB,gBAAoB,EAAE,MAAM,EAAE,CAAA;IAC9B,QAAY,EAAE,UAAU,CAAA;IACxB,KAAS,CAAC,EAAE,UAAU,CAAA;CACnB"}

package/types/codegen/Writer.d.ts

@@ -0,0 +1,23 @@
+export class Writer {
+    /**
+     * @private
+     * @readonly
+     * @type {string[]}
+     */
+    private readonly parts;
+    /**
+     * @param {string} part
+     * @returns {Writer}
+     */
+    write(part: string): Writer;
+    /**
+     * @param {string} line
+     * @returns {Writer}
+     */
+    writeLine(line: string): Writer;
+    /**
+     * @returns {string}
+     */
+    finalize(): string;
+}
+//# sourceMappingURL=Writer.d.ts.map

package/types/codegen/Writer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Writer.d.ts","sourceRoot":"","sources":["../../src/codegen/Writer.js"],"names":[],"mappings":"AAAA;IACI;;;;OAIG;IACH,uBAAK;IAML;;;OAGG;IACH,YAHW,MAAM,GACJ,MAAM,CAKlB;IAED;;;OAGG;IACH,gBAHW,MAAM,GACJ,MAAM,CAKlB;IAED;;OAEG;IACH,YAFa,MAAM,CAIlB;CACJ"}

package/types/codegen/index.d.ts

@@ -0,0 +1,6 @@
+export { TypescriptWriter } from "./TypescriptWriter.js";
+export { Writer } from "./Writer.js";
+export type Module = import("./Module.js").Module;
+export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type Validator = import("./Validator.js").Validator;
+//# sourceMappingURL=index.d.ts.map

package/types/codegen/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/codegen/index.js"],"names":[],"mappings":";;qBAIa,OAAO,aAAa,EAAE,MAAM;yBAC5B,OAAO,iBAAiB,EAAE,UAAU;wBACpC,OAAO,gBAAgB,EAAE,SAAS"}

package/types/hl2ts.d.ts

@@ -0,0 +1,6 @@
+#!/usr/bin/env node
+export type Lib = import("./lib/Lib.js").Lib;
+export type SourceDetails = import("./lib/Lib.js").SourceDetails;
+export type ModuleDetails = import("./lib/Lib.js").ModuleDetails;
+export type ValidatorDetails = import("./lib/Lib.js").ValidatorDetails;
+//# sourceMappingURL=hl2ts.d.ts.map

package/types/hl2ts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hl2ts.d.ts","sourceRoot":"","sources":["../src/hl2ts.js"],"names":[],"mappings":";kBASa,OAAO,cAAc,EAAE,GAAG;4BAC1B,OAAO,cAAc,EAAE,aAAa;4BACpC,OAAO,cAAc,EAAE,aAAa;+BACpC,OAAO,cAAc,EAAE,gBAAgB"}

package/types/index.d.ts

@@ -0,0 +1,2 @@
+export { Cast } from "./runtime/index.js";
+//# sourceMappingURL=index.d.ts.map

package/types/index.d.ts.map

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

package/types/lib/Lib.d.ts

@@ -0,0 +1,50 @@
+/**
+ * @typedef {{
+ *   version: string
+ *   typeCheck: (validators: {[name: string]: SourceDetails}, modules: {[name: string]: SourceDetails}) => ({
+ * modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}})
+ * }} Lib
+ */
+/**
+ * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ * @typedef {import("../codegen/index.js").Module} ModuleDetails
+ * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
+ */
+/**
+ * @typedef {{
+ *   name: string
+ *   purpose: string
+ *   sourceCode: string
+ * }} SourceDetails
+ */
+/**
+ * @param {{VERSION: string}} lib
+ * @returns {number[]}
+ */
+export function getVersion(lib: {
+    VERSION: string;
+}): number[];
+export type Lib = {
+    version: string;
+    typeCheck: (validators: {
+        [name: string]: SourceDetails;
+    }, modules: {
+        [name: string]: SourceDetails;
+    }) => {
+        modules: {
+            [name: string]: import("../codegen/Module.js").Module;
+        };
+        validators: {
+            [name: string]: import("../codegen/Validator.js").Validator;
+        };
+    };
+};
+export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
+export type ModuleDetails = import("../codegen/index.js").Module;
+export type ValidatorDetails = import("../codegen/index.js").Validator;
+export type SourceDetails = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+};
+//# sourceMappingURL=Lib.d.ts.map

package/types/lib/Lib.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;aA1Ba,MAAM;;;;;;;;;;;;;;kCAOP,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}

package/types/lib/Libg_v0_16.d.ts

@@ -0,0 +1,233 @@
+/**
+ * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").SourceDetails} SourceDetails
+ */
+/**
+ * @typedef {import("../codegen/index.js").Module} ModuleDetails
+ * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
+ * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ */
+/**
+ * @typedef {{
+ *   [name: string]: string[]
+ * }} DagDependencies
+ */
+/**
+ * @typedef {{
+ * }} HashType
+ */
+/**
+ * @typedef {{
+ *   includes: (m: string) => boolean
+ * }} IR
+ */
+/**
+ * @typedef {{
+ *   name: string
+ * }} EnumStatement
+ */
+/**
+ * @typedef {{
+ *   name: string
+ * }} StructStatement
+ */
+/**
+ * @typedef {StructStatement | EnumStatement | any} Statement
+ */
+/**
+ * @typedef {{
+ *   name: {value: string}
+ *   filterDependencies: (all: Module[]) => Module[]
+ *   statements: Statement[]
+ * }} Module
+ */
+/**
+ * @typedef {{
+ *   name: string
+ *   toIR: (ctx: any, extra: Map<string, IR>) => IR
+ *   types: UserTypes
+ *   mainImportedModules: Module[]
+ *   mainModule: Module
+ *   mainArgTypes: DataType[]
+ * }} Program
+ */
+/**
+ * @typedef {{
+ *   typeDetails?: TypeDetails
+ * }} DataType
+ */
+/**
+ * @typedef {{
+ *   type:  string
+ * } | {
+ *   type:     "List"
+ *   itemType: TypeSchema
+ * } | {
+ *   type:      "Map"
+ *   keyType:   TypeSchema
+ *   valueType: TypeSchema
+ * } | {
+ *   type:     "Option"
+ *   someType: TypeSchema
+ * } | {
+ *   type:       "Struct"
+ *   fieldTypes: NamedTypeSchema[]
+ * } | {
+ *   type:         "Enum"
+ *   variantTypes: {name: string, fieldTypes: NamedTypeSchema[]}[]
+ * }} TypeSchema
+ */
+/**
+ * @typedef {{
+ * 	 name: string
+ * } & TypeSchema} NamedTypeSchema
+ */
+/**
+ * @typedef {{
+ *   inputType: string
+ *   outputType: string
+ *   internalType: TypeSchema
+ * }} TypeDetails
+ */
+/**
+ * @typedef {{
+ * }} UserTypes
+ */
+/**
+ * @implements {Lib}
+ */
+export class Lib_v0_16 implements Lib {
+    /**
+     * @param {any} lib
+     */
+    constructor(lib: any);
+    lib: any;
+    /**
+     * @type {string}
+     */
+    get version(): string;
+    /**
+     * @private
+     * @param {string} purpose
+     * @returns {HashType}
+     */
+    private getValidatorType;
+    /**
+     * @private
+     * @param {SourceDetails[]} validators
+     * @param {SourceDetails[]} modules
+     * @param {{[name: string]: HashType}} validatorTypes
+     * @returns {Program[]}
+     */
+    private createPrograms;
+    /**
+     * @private
+     * @param {Program} program
+     * @param {{[name: string]: HashType}} validatorTypes
+     * @returns {IR}
+     */
+    private toTestIR;
+    /**
+     * @private
+     * @param {Program[]} validators
+     * @param {{[name: string]: HashType}} validatorTypes
+     * @returns {DagDependencies}
+     */
+    private buildDagDependencies;
+    /**
+     * @param {{[name: string]: SourceDetails}} validators
+     * @param {{[name: string]: SourceDetails}} modules
+     * @returns {{modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}}}
+     */
+    typeCheck(validators: {
+        [name: string]: import("./Lib.js").SourceDetails;
+    }, modules: {
+        [name: string]: import("./Lib.js").SourceDetails;
+    }): {
+        modules: {
+            [name: string]: import("./Lib.js").ModuleDetails;
+        };
+        validators: {
+            [name: string]: import("./Lib.js").ValidatorDetails;
+        };
+    };
+    /**
+     * @param {TypeSchema} it
+     * @returns {InternalTypeDetails}
+     */
+    convertInternalType(it: TypeSchema): InternalTypeDetails;
+    /**
+     * @param {DataType} dt
+     * @returns {InternalTypeDetails}
+     */
+    getInternalTypeDetails(dt: DataType): InternalTypeDetails;
+}
+export type Lib = import("./Lib.js").Lib;
+export type SourceDetails = import("./Lib.js").SourceDetails;
+export type ModuleDetails = import("../codegen/index.js").Module;
+export type ValidatorDetails = import("../codegen/index.js").Validator;
+export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
+export type DagDependencies = {
+    [name: string]: string[];
+};
+export type HashType = {};
+export type IR = {
+    includes: (m: string) => boolean;
+};
+export type EnumStatement = {
+    name: string;
+};
+export type StructStatement = {
+    name: string;
+};
+export type Statement = StructStatement | EnumStatement | any;
+export type Module = {
+    name: {
+        value: string;
+    };
+    filterDependencies: (all: Module[]) => Module[];
+    statements: Statement[];
+};
+export type Program = {
+    name: string;
+    toIR: (ctx: any, extra: Map<string, IR>) => IR;
+    types: UserTypes;
+    mainImportedModules: Module[];
+    mainModule: Module;
+    mainArgTypes: DataType[];
+};
+export type DataType = {
+    typeDetails?: TypeDetails;
+};
+export type TypeSchema = {
+    type: string;
+} | {
+    type: "List";
+    itemType: TypeSchema;
+} | {
+    type: "Map";
+    keyType: TypeSchema;
+    valueType: TypeSchema;
+} | {
+    type: "Option";
+    someType: TypeSchema;
+} | {
+    type: "Struct";
+    fieldTypes: NamedTypeSchema[];
+} | {
+    type: "Enum";
+    variantTypes: {
+        name: string;
+        fieldTypes: NamedTypeSchema[];
+    }[];
+};
+export type NamedTypeSchema = {
+    name: string;
+} & TypeSchema;
+export type TypeDetails = {
+    inputType: string;
+    outputType: string;
+    internalType: TypeSchema;
+};
+export type UserTypes = {};
+//# sourceMappingURL=Libg_v0_16.d.ts.map

package/types/lib/Libg_v0_16.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;;OAIG;IACH,yBAWC;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;OAGG;IACH,wBAHW,UAAU,GACR,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,2BAHW,QAAQ,GACN,mBAAmB,CAc/B;CACJ;kBApVY,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;4BAIhC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;;;;uBAUxC,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;;UAKvC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC;8BACK,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;gBACA,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE;WACvC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;uBAKhB;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;yBAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,UAAU,CAAA;IACzB,SAAa,EAAE,UAAU,CAAA;CACtB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,eAAe,EAAE,CAAA;CAC9B,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,eAAe,EAAE,CAAA;KAAC,EAAE,CAAA;CAC9D;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,UAAU;0BAIJ;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,UAAU,CAAA;CACzB;wBAIS,EACT"}

package/types/lib/index.d.ts

@@ -0,0 +1,2 @@
+export { loadLibrary } from "./load.js";
+//# sourceMappingURL=index.d.ts.map

package/types/lib/index.d.ts.map

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

package/types/lib/load.d.ts

@@ -0,0 +1,6 @@
+/**
+ * @returns {Promise<Lib>}
+ */
+export function loadLibrary(): Promise<Lib>;
+export type Lib = import("./Lib.js").Lib;
+//# sourceMappingURL=load.d.ts.map

package/types/lib/load.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AA0BA;;GAEG;AACH,+BAFa,QAAQ,GAAG,CAAC,CAiCxB;kBAtDY,OAAO,UAAU,EAAE,GAAG"}

package/types/runtime/Cast.d.ts

@@ -0,0 +1,32 @@
+/**
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
+ */
+/**
+ * @template TStrict
+ * @template TPermissive
+ */
+export class Cast<TStrict, TPermissive> {
+    /**
+     * @param {TypeSchema} schema
+     */
+    constructor(schema: TypeSchema);
+    /**
+     * @readonly
+     * @type {TypeSchema}
+     */
+    readonly schema: TypeSchema;
+    /**
+     * @param {UplcData} data
+     * @returns {TStrict}
+     */
+    fromUplc(data: UplcData): TStrict;
+    /**
+     * @param {TPermissive} x
+     * @returns {UplcData}
+     */
+    toUplc(x: TPermissive): UplcData;
+}
+export type UplcData = import("@helios-lang/uplc").UplcData;
+export type TypeSchema = import("../codegen/index.js").TypeSchema;
+//# sourceMappingURL=Cast.d.ts.map

package/types/runtime/Cast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/runtime/Cast.js"],"names":[],"mappings":"AAgCA;;;GAGG;AAEH;;;GAGG;AACH;IAOI;;OAEG;IACH,oBAFW,UAAU,EAIpB;IAXD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IASN;;;OAGG;IACH,eAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,UAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBArCY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU"}

package/types/runtime/index.d.ts

@@ -0,0 +1,2 @@
+export { Cast } from "./Cast.js";
+//# sourceMappingURL=index.d.ts.map

package/types/runtime/index.d.ts.map

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

package/examples/spending/app.js

@@ -1,13 +0,0 @@
-import { Program } from "@hyperionbt/helios"
-import { utils, match_string } from "./unspecialized.js"
-
-const modules = [utils, ...]
-
-export class App {
-    /**
-     * @param {typeof utils} specializedUtils 
-     */
-    constructor(specializedUtils) {
-        this.program = Program.new(match_string, modules.replace("utils", specializedUtils))
-    }
-}

package/examples/spending/output.d.ts

@@ -1,18 +0,0 @@
-
-export const utils: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: []
-}
-export const match_string: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: [typeof utils]
-    $hashDependencies: []
-    $dependsOnOwnHash: boolean
-    $Redeemer: Cast<string, string>
-    $Datum: Cast<{message: string}, {message: string}>
-}
-

package/examples/spending/output2.d.ts

@@ -1,24 +0,0 @@
-
-
-export const utils: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: []
-}
-export const match_string: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: [typeof utils]
-    $hashDependencies: []
-    $dependsOnOwnHash: boolean
-    $Redeemer: Cast<string, string>
-    $Datum: Cast<
-      {One: {message: string}} | 
-      {Two: {code: bigint}}, 
-      {One: {message: string}} | 
-      {Two: {code: bigint | number | string}}
-    >
-}
-

package/examples/spending/output2.js

@@ -1,34 +0,0 @@
-export const utils = {
-    $name: "utils",
-    $purpose: "module",
-    $sourceCode: "module utils\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
-    $dependencies: [],
-}
-export const match_string = {
-    $name: "match_string",
-    $purpose: "spending",
-    $sourceCode: "spending match_string\n\nimport { compare } from utils\n\nenum Datum {\n One {\n  message: String\n }\n\n Two {\n  message: String\n }\n}\n\nfunc main(datum: Datum, redeemer: String, _) -> Bool {\n compare(datum.switch{d: One => d.message, d: Two => d.message}, redeemer)\n}",
-    $dependencies: [utils],
-    $hashDependencies: [],
-    $dependsOnOwnHash: false,
-    $Redeemer: new Cast({"primitiveType":"String"}),
-    $Datum: new Cast({"enumVariantTypes":[{"name":"One","fieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]},{"name":"Two","fieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]}]})
-}
-
-export const utils: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: []
-}
-export const match_string: {
-    $name: string
-    $purpose: string
-    $sourceCode: string
-    $dependencies: [typeof utils]
-    $hashDependencies: []
-    $dependsOnOwnHash: boolean
-    $Redeemer: Cast<string, string>
-    $Datum: Cast<{One: {message: string}} | {Two: {message: string}}, {One: {message: string}} | {Two: {message: string}}>
-}
-

package/examples/spending/specialized.js

@@ -1,6 +0,0 @@
-export const utils = {
-    $name: "utils",
-    $purpose: "module",
-    $sourceCode: "module utils\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
-    $dependencies: [],
-}

package/examples/spending/unspecialized.js

@@ -1,18 +0,0 @@
-import { Cast } from "@helios-lang/contract-utils"
-
-export const utils = {
-    $name: "utils",
-    $purpose: "module",
-    $sourceCode: "module utils\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
-    $dependencies: [],
-}
-export const match_string = {
-    $name: "match_string",
-    $purpose: "spending",
-    $sourceCode: "spending match_string\n\nimport { compare } from utils\n\nstruct Datum {\n message: String\n}\n\nfunc main(datum: Datum, redeemer: String, _) -> Bool {\n compare(datum.message, redeemer)\n}",
-    $dependencies: [utils],
-    $hashDependencies: [],
-    $dependsOnOwnHash: false,
-    $Redeemer: new Cast({"primitiveType":"String"}),
-    $Datum: new Cast({"structFieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]})
-}