@helios-lang/contract-utils 0.2.8 → 0.2.10

package/src/compiler/CompilerLib_v0_17.js

@@ -0,0 +1,107 @@
+import { bytesToHex } from "@helios-lang/codec-utils"
+import { UplcProgramV2 } from "@helios-lang/uplc"
+
+/**
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ * @typedef {import("./CompilerLib.js").CompilerLib} CompilerLib
+ * @typedef {import("./CompilerLib.js").CompileOptions} CompileOptions
+ * @typedef {import("./CompilerLib.js").CompileOutput} CompileOutput
+ * @typedef {import("./CompilerLib.js").ScriptHashType} ScriptHashType
+ * @typedef {import("./CompilerLib.js").TypeCheckOutput} TypeCheckOutput
+ */
+
+/**
+ * @typedef {{
+ *   name: string
+ *   changeParam(key: string, value: UplcData): void
+ *   compile(options: {optimize?: boolean, dependsOnOwnHash?: boolean, hashDependencies?: Record<string, string>}): UplcProgramV2
+ * }} Program
+ */
+
+/**
+ * @implements {CompilerLib}
+ */
+export class CompilerLib_v0_17 {
+    /**
+     * @private
+     * @type {any}
+     */
+    lib
+
+    /**
+     * @param {any} lib
+     */
+    constructor(lib) {
+        this.lib = lib
+    }
+
+    /**
+     * @type {string}
+     */
+    get version() {
+        return this.lib.VERSION
+    }
+
+    /**
+     * @param {string} purpose
+     * @returns {ScriptHashType}
+     */
+    getScriptHashType(purpose) {
+        const { getScriptHashType } = this.lib
+
+        return getScriptHashType(purpose)
+    }
+
+    /**
+     * @param {string} mainSource
+     * @param {string[]} moduleSources
+     * @param {CompileOptions} options
+     * @returns {CompileOutput}
+     */
+    compile(mainSource, moduleSources, options) {
+        const { Program } = this.lib
+
+        /**
+         * @type {Program}
+         */
+        const program = new Program(mainSource, {
+            moduleSources: moduleSources,
+            validatorTypes: options.allValidatorHashTypes,
+            isTestnet: options.isTestnet,
+            throwCompilerErrors: true
+        })
+
+        if (options.parameters) {
+            Object.entries(options.parameters).forEach(([key, value]) => {
+                program.changeParam(key, value)
+            })
+        }
+
+        /**
+         * @type {UplcProgramV2}
+         */
+        const uplc = program.compile({
+            optimize: options.optimize,
+            dependsOnOwnHash: options.dependsOnOwnHash ?? false,
+            hashDependencies: {
+                ...options.hashDependencies,
+                ...(options.ownHash ? { [program.name]: options.ownHash } : {})
+            }
+        })
+
+        return {
+            cborHex: bytesToHex(uplc.toCbor())
+        }
+    }
+
+    /**
+     * @param {string[]} validatorSources
+     * @param {string[]} moduleSources
+     * @returns {TypeCheckOutput}
+     */
+    typeCheck(validatorSources, moduleSources) {
+        const { analyzeMulti } = this.lib
+
+        return analyzeMulti(validatorSources, moduleSources)
+    }
+}

package/src/compiler/ops.js

@@ -4,9 +4,11 @@ import {
     readHeader
 } from "@helios-lang/compiler-utils"
 import { CompilerLib_v0_16 } from "./CompilerLib_v0_16.js"
+import { CompilerLib_v0_17 } from "./CompilerLib_v0_17.js"
 
 /**
  * @typedef {import("./CompilerLib.js").CompilerLib} CompilerLib
+ * @typedef {import("./CompilerLib.js")}
  * @typedef {import("./CompilerLib.js").TypeCheckOutput} TypeCheckOutput
  */
 
@@ -30,6 +32,8 @@ export function loadCompilerLib() {
             switch (minor) {
                 case 16:
                     return new CompilerLib_v0_16(unsafeLib)
+                case 17:
+                    return new CompilerLib_v0_17(unsafeLib)
             }
         default:
             throw new Error(
@@ -85,6 +89,7 @@ function splitValidatorsAndModules(scripts) {
             case "module":
                 modules.set(name, s)
                 break
+            case "mixed":
             case "minting":
             case "spending":
             case "certifying":

package/src/context/ContractContextBuilder.js

@@ -123,6 +123,7 @@ export class ContractContextBuilder {
             : dagCompiler.build(
                   Object.values(this.validators),
                   props.parameters ?? {},
+                  !props.isMainnet,
                   props.expectedHashes
               )
 

package/src/context/DagCompiler.js

@@ -53,10 +53,11 @@ export class DagCompiler {
     /**
      * @param {LoadedValidator[]} validators
      * @param {Record<string, any>} parameters
+     * @param {boolean} isTestnet
      * @param {Option<{[name: string]: string}>} expectedHashes
      * @returns {{[name: string]: AnyContractValidatorContext}}
      */
-    build(validators, parameters, expectedHashes = None) {
+    build(validators, parameters, isTestnet, expectedHashes = None) {
         const hashTypes = this.getHashTypes(validators)
 
         /**
@@ -81,15 +82,16 @@ export class DagCompiler {
             const moduleDeps = getModuleDependencies(validator)
 
             // optimized compilation
-            const { cborHex: optimizedCborHex, prettyIR } = this.lib.compile(
+            const { cborHex: optimizedCborHex } = this.lib.compile(
                 sourceCode,
                 moduleDeps,
                 {
-                    optimize: true,
+                    optimize: false,
                     hashDependencies: hashDeps,
                     allValidatorHashTypes: hashTypes,
                     dependsOnOwnHash: validator.$dependsOnOwnHash,
-                    parameters: parameters
+                    parameters: parameters,
+                    isTestnet: isTestnet
                 }
             )
 
@@ -101,8 +103,6 @@ export class DagCompiler {
             // optionally assert the own hash is equal to a given hash
             if (expectedHashes && name in expectedHashes) {
                 if (expectedHashes[name] != ownHash) {
-                    console.log(prettyIR)
-
                     throw new Error(
                         `expected hash ${expectedHashes[name]} for validator ${name}, got ${ownHash}`
                     )
@@ -114,11 +114,12 @@ export class DagCompiler {
                 validator.$sourceCode,
                 Array.from(moduleDeps.values()),
                 {
-                    optimize: false,
+                    optimize: true,
                     hashDependencies: hashDeps,
                     allValidatorHashTypes: hashTypes,
                     ownHash: validator.$dependsOnOwnHash ? ownHash : undefined,
-                    parameters: parameters
+                    parameters: parameters,
+                    isTestnet: isTestnet
                 }
             )
 

package/src/hl2ts.js

@@ -2,18 +2,17 @@
 
 import {
     existsSync,
-    fstat,
     mkdirSync,
     promises,
     readFileSync,
     writeFileSync
 } from "node:fs"
 import { dirname, join, resolve } from "node:path"
-import { Cli, Command, EnumOpt, StringOpt } from "@helios-lang/cli-utils"
+import { Cli, EnumOpt, StringOpt } from "@helios-lang/cli-utils"
+import { None } from "@helios-lang/type-utils"
 import { LoadedScriptsWriter } from "./codegen/index.js"
 import { loadCompilerLib } from "./compiler/index.js"
-import { typeCheckFiles, typeCheckScripts } from "./compiler/ops.js"
-import { None } from "@helios-lang/type-utils"
+import { typeCheckFiles } from "./compiler/ops.js"
 
 /**
  * @typedef {import("./compiler/CompilerLib.js").CompilerLib} CompilerLib

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

@@ -1 +1 @@
-{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AAwWA;;;;;;GAMG;AACH,kGAHW,UAAU,8BASpB;AAnVD;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH;IAaI;;;OAGG;IACH,oBAHW,UAAU,UACV,UAAU,EAKpB;IAnBD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAEN;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAWN;;;OAGG;IACH,mBAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,cAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBAhEY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU;yBAIxC;IACZ,SAAa,EAAE,OAAO,CAAA;CACnB;8DAMkB,UAAU,KAAK,KAAK,OAAO,EAAE,WAAW,CAAC;;;;6CAOlD,KAAK,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,OAAO,EAAE,WAAW,CAAC"}
+{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AAucA;;;;;;GAMG;AACH,kGAHW,UAAU,8BASpB;AAlbD;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH;IAaI;;;OAGG;IACH,oBAHW,UAAU,UACV,UAAU,EAKpB;IAnBD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAEN;;;OAGG;IACH,iBAFU,UAAU,CAEd;IAWN;;;OAGG;IACH,mBAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,cAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBAhEY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU;yBAIxC;IACZ,SAAa,EAAE,OAAO,CAAA;CACnB;8DAMkB,UAAU,KAAK,KAAK,OAAO,EAAE,WAAW,CAAC;;;;6CAOlD,KAAK,OAAO,EAAE,WAAW,CAAC,GAAG,iBAAiB,OAAO,EAAE,WAAW,CAAC"}

package/types/codegen/TypeCheckedModule.d.ts

@@ -5,7 +5,7 @@ export type TypeCheckedModule = {
     sourceCode: string;
     moduleDepedencies: string[];
     types: {
-        [name: string]: import("./TypeSchema.js").TypeSchema;
+        [name: string]: import("@helios-lang/type-utils").TypeSchema;
     };
 };
 //# sourceMappingURL=TypeCheckedModule.d.ts.map

package/types/codegen/TypeSchema.d.ts

@@ -1,64 +1,11 @@
 /**
- * TODO: references and ids for recursive types and more descriptive codegen
- * TODO: use `kind: "internal" | "list" | "map" | "struct" | "option" | "enum"` instead of `primitiveType` etc.
- * TODO: additional property for struct: `format: "list" | "map"`
- * TODO: rename primitiveType -> internalType
- * @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
+ * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
  */
 /**
+ * TODO: handle recursive data structures
  * @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];
-/**
- * TODO: references and ids for recursive types and more descriptive codegen
- * TODO: use `kind: "internal" | "list" | "map" | "struct" | "option" | "enum"` instead of `primitiveType` etc.
- * TODO: additional property for struct: `format: "list" | "map"`
- * TODO: rename primitiveType -> internalType
- */
-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;
-        }[];
-    }[];
-};
+export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;
 //# sourceMappingURL=TypeSchema.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH;;;GAGG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CA6H5B;;;;;;;yBAxJY;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"}
+{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CAkJ5B;yBAxJY,OAAO,yBAAyB,EAAE,UAAU"}

package/types/compiler/CompilerLib.d.ts

@@ -1,6 +1,68 @@
+/**
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ * @typedef {import("../codegen/index.js").TypeCheckedModule} TypeCheckedModule
+ * @typedef {import("../codegen/index.js").TypeCheckedValidator} TypeCheckedValidator
+ */
+/**
+ * @typedef {any} ScriptHashType
+ */
+/**
+ * @typedef {{
+ *   allValidatorHashTypes: {[name: string]: ScriptHashType}
+ *   hashDependencies: {[name: string]: string}
+ *   dependsOnOwnHash?: boolean
+ *   ownHash?: string
+ *   parameters?: Record<string, UplcData>
+ *   isTestnet: boolean
+ *   optimize: boolean
+ * }} CompileOptions
+ */
+/**
+ * @typedef {{
+ *   cborHex: string
+ * }} CompileOutput
+ */
+/**
+ * @typedef {{
+ *   modules: {[name: string]: TypeCheckedModule}
+ *   validators: {[name: string]: TypeCheckedValidator}
+ * }} TypeCheckOutput
+ */
+/**
+ * @typedef {{
+ *   name: string
+ *   purpose: string
+ *   sourceCode: string
+ * }} SourceDetails
+ */
+/**
+ * @typedef {{
+ *   version: string
+ *   getScriptHashType: (purpose: string) => ScriptHashType
+ *   typeCheck: (validators: string[], modules: string[]) => ({
+ *     modules: {[name: string]: TypeCheckedModule},
+ *     validators: {[name: string]: TypeCheckedValidator}
+ *   })
+ *   compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput
+ * }} CompilerLib
+ */
+/**
+ * @typedef {Record<string, string[]>} DagDependencies
+ */
+/**
+ * @param {CompilerLib} lib
+ * @param {string[]} validators
+ * @returns {{[name: string]: ScriptHashType}}
+ */
+export function getValidatorTypes(lib: CompilerLib, validators: string[]): {
+    [name: string]: any;
+};
+export type UplcData = import("@helios-lang/uplc").UplcData;
 export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
 export type TypeCheckedModule = import("../codegen/index.js").TypeCheckedModule;
 export type TypeCheckedValidator = import("../codegen/index.js").TypeCheckedValidator;
+export type ScriptHashType = any;
 export type CompileOptions = {
     allValidatorHashTypes: {
         [name: string]: any;
@@ -10,12 +72,12 @@ export type CompileOptions = {
     };
     dependsOnOwnHash?: boolean | undefined;
     ownHash?: string | undefined;
-    parameters?: Record<string, any> | undefined;
+    parameters?: Record<string, import("@helios-lang/uplc").UplcData> | undefined;
+    isTestnet: boolean;
     optimize: boolean;
 };
 export type CompileOutput = {
     cborHex: string;
-    prettyIR: string;
 };
 export type TypeCheckOutput = {
     modules: {
@@ -32,7 +94,7 @@ export type SourceDetails = {
 };
 export type CompilerLib = {
     version: string;
-    getScriptHashType: (purpose: string) => any;
+    getScriptHashType: (purpose: string) => ScriptHashType;
     typeCheck: (validators: string[], modules: string[]) => {
         modules: {
             [name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
@@ -43,4 +105,5 @@ export type CompilerLib = {
     };
     compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
 };
+export type DagDependencies = Record<string, string[]>;
 //# sourceMappingURL=CompilerLib.d.ts.map

package/types/compiler/CompilerLib.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"kCAGa,OAAO,qBAAqB,EAAE,UAAU;gCACxC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;;;;;;;;;;;cAUhD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,QAAY,EAAE,MAAM,CAAA;CACjB;;;;;;;;;4BAWS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;;aAKU,MAAM;iCACc,MAAM,KAAK,GAAG;4BACnB,MAAM,EAAE,WAAW,MAAM,EAAE;;;;;;;;oBAInC,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa"}
+{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH;;GAEG;AAEH;;;;;;;;;;GAUG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AAEH;;;;GAIG;AACH,uCAJW,WAAW,cACX,MAAM,EAAE;;EAUlB;uBAvEY,OAAO,mBAAmB,EAAE,QAAQ;kCACpC,OAAO,qBAAqB,EAAE,UAAU;gCACxC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;6BAIlD,GAAG;;;;;;;;;;;eAUA,OAAO;cACR,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;CAChB;;;;;;;;;4BAWS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;;aAKU,MAAM;iCACc,MAAM,KAAK,cAAc;4BAC9B,MAAM,EAAE,WAAW,MAAM,EAAE;;;;;;;;oBAInC,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa;;8BAK5E,OAAO,MAAM,EAAE,MAAM,EAAE,CAAC"}

package/types/compiler/CompilerLib_v0_16.d.ts

@@ -1,22 +1,16 @@
 /**
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("../codegen/index.js").TypeCheckedModule} TypeCheckedModule
  * @typedef {import("../codegen/index.js").TypeCheckedValidator} TypeCheckedValidator
- * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
  * @typedef {import("./CompilerLib.js").CompileOptions} CompileOptions
  * @typedef {import("./CompilerLib.js").CompileOutput} CompileOutput
  * @typedef {import("./CompilerLib.js").CompilerLib} CompilerLib
+ * @typedef {import("./CompilerLib.js").DagDependencies} DagDependencies
+ * @typedef {import("./CompilerLib.js").ScriptHashType} ScriptHashType
  * @typedef {import("./CompilerLib.js").SourceDetails} SourceDetails
  * @typedef {import("./CompilerLib.js").TypeCheckOutput} TypeCheckOutput
  */
-/**
- * @typedef {{
- *   [name: string]: string[]
- * }} DagDependencies
- */
-/**
- * @typedef {{
- * }} ScriptHashType
- */
 /**
  * @typedef {{
  *   includes: (m: string) => boolean
@@ -85,32 +79,32 @@
  *   type:  string
  * } | {
  *   type:     "List"
- *   itemType: TypeSchema
+ *   itemType: TypeSchema16
  * } | {
  *   type:      "Map"
- *   keyType:   TypeSchema
- *   valueType: TypeSchema
+ *   keyType:   TypeSchema16
+ *   valueType: TypeSchema16
  * } | {
  *   type:     "Option"
- *   someType: TypeSchema
+ *   someType: TypeSchema16
  * } | {
  *   type:       "Struct"
- *   fieldTypes: NamedTypeSchema[]
+ *   fieldTypes: NamedTypeSchema16[]
  * } | {
  *   type:         "Enum"
- *   variantTypes: {name: string, fieldTypes: NamedTypeSchema[]}[]
- * }} TypeSchema
+ *   variantTypes: {name: string, fieldTypes: NamedTypeSchema16[]}[]
+ * }} TypeSchema16
  */
 /**
  * @typedef {{
  * 	 name: string
- * } & TypeSchema} NamedTypeSchema
+ * } & TypeSchema16} NamedTypeSchema16
  */
 /**
  * @typedef {{
  *   inputType: string
  *   outputType: string
- *   internalType: TypeSchema
+ *   internalType: TypeSchema16
  * }} TypeDetails
  */
 /**
@@ -164,7 +158,7 @@ export class CompilerLib_v0_16 implements CompilerLib {
      * @param {CompileOptions} options
      * @returns {Map<string, IR>}
      */
-    private generateExtraIRDefinitions;
+    private genExtraIRDefs;
     /**
      * @private
      * @param {string[]} validators
@@ -189,8 +183,8 @@ export class CompilerLib_v0_16 implements CompilerLib {
     private buildDagDependencies;
     /**
      * @private
-     * @param {TypeSchema} it
-     * @returns {InternalTypeDetails}
+     * @param {TypeSchema16} it
+     * @returns {TypeSchema}
      */
     private convertInternalType;
     /**
@@ -198,7 +192,7 @@ export class CompilerLib_v0_16 implements CompilerLib {
      * TODO: make sure it works for all structs and enums
      * @private
      * @param {DataType} dt
-     * @returns {InternalTypeDetails}
+     * @returns {TypeSchema}
      */
     private getInternalTypeDetails;
     /**
@@ -208,19 +202,24 @@ export class CompilerLib_v0_16 implements CompilerLib {
      * @returns {Record<string, Record<string, DataType>>}}
      */
     private getProgramTypes;
+    /**
+     * @private
+     * @param {any} program
+     * @param {Option<Record<string, UplcData>>} parameters
+     */
+    private setParameters;
 }
+export type UplcData = import("@helios-lang/uplc").UplcData;
 export type TypeCheckedModule = import("../codegen/index.js").TypeCheckedModule;
 export type TypeCheckedValidator = import("../codegen/index.js").TypeCheckedValidator;
-export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
+export type TypeSchema = import("../codegen/index.js").TypeSchema;
 export type CompileOptions = import("./CompilerLib.js").CompileOptions;
 export type CompileOutput = import("./CompilerLib.js").CompileOutput;
 export type CompilerLib = import("./CompilerLib.js").CompilerLib;
+export type DagDependencies = import("./CompilerLib.js").DagDependencies;
+export type ScriptHashType = import("./CompilerLib.js").ScriptHashType;
 export type SourceDetails = import("./CompilerLib.js").SourceDetails;
 export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
-export type DagDependencies = {
-    [name: string]: string[];
-};
-export type ScriptHashType = {};
 export type IR = {
     includes: (m: string) => boolean;
 };
@@ -251,7 +250,7 @@ export type Program = {
     mainArgTypes: DataType[];
     throwErrors(): any;
     evalTypes(validatorTypes: {
-        [name: string]: ScriptHashType;
+        [name: string]: any;
     }): TopScope;
 };
 export type TopScope = {
@@ -266,35 +265,35 @@ export type Scope = {
 export type DataType = {
     typeDetails?: TypeDetails;
 };
-export type TypeSchema = {
+export type TypeSchema16 = {
     type: string;
 } | {
     type: "List";
-    itemType: TypeSchema;
+    itemType: TypeSchema16;
 } | {
     type: "Map";
-    keyType: TypeSchema;
-    valueType: TypeSchema;
+    keyType: TypeSchema16;
+    valueType: TypeSchema16;
 } | {
     type: "Option";
-    someType: TypeSchema;
+    someType: TypeSchema16;
 } | {
     type: "Struct";
-    fieldTypes: NamedTypeSchema[];
+    fieldTypes: NamedTypeSchema16[];
 } | {
     type: "Enum";
     variantTypes: {
         name: string;
-        fieldTypes: NamedTypeSchema[];
+        fieldTypes: NamedTypeSchema16[];
     }[];
 };
-export type NamedTypeSchema = {
+export type NamedTypeSchema16 = {
     name: string;
-} & TypeSchema;
+} & TypeSchema16;
 export type TypeDetails = {
     inputType: string;
     outputType: string;
-    internalType: TypeSchema;
+    internalType: TypeSchema16;
 };
 export type UserTypes = {};
 //# sourceMappingURL=CompilerLib_v0_16.d.ts.map

package/types/compiler/CompilerLib_v0_16.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"CompilerLib_v0_16.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_16.js"],"names":[],"mappings":"AAIA;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AACH;;;;;;;;;;;;GAYG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAMb;IAHG,SAAc;IAKlB;;OAEG;IACH,qBAQC;IAED;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAa1B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA6CzB;IAED;;;;OAIG;IACH,sBAJW,MAAM,EAAE,WACR,MAAM,EAAE,GACN,eAAe,CAkG3B;IAED;;;;;;;;;;;OAWG;IACH,mCAoDC;IAED;;;;;;OAMG;IACH,uBAOC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH,4BA8BC;IAED;;;;;;OAMG;IACH,+BAsBC;IAED;;;;;OAKG;IACH,wBA8CC;CACJ;gCAvkBY,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;kCAClD,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;0BACxC,OAAO,kBAAkB,EAAE,WAAW;4BACtC,OAAO,kBAAkB,EAAE,aAAa;8BACxC,OAAO,kBAAkB,EAAE,eAAe;;;;6BAU1C,EACT;;kBAKe,MAAM,KAAK,OAAO;;wBAKxB;IACZ,MAAU,SAAS,CAAA;CAChB;mBAIS;IACZ,GAAO,EAAE;QACT,GAAS,EAAE,MAAM,CAAA;KACZ,CAAA;CACF;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,IAAQ,EAAE,IAAI,CAAA;CACX;;UAKO,SAAS;8BACW,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;aACH,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS;cACjF,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE;WACnC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;;;QAEqC,QAAQ;;;yBAMhD,SAAS,GAAG,KAAK;;yBAK9B;IACZ,UAAc,CAAC,EAAE,QAAQ,CAAA;CACtB;;+BAK4B,MAAM,QAAQ,UAAU,KAAK,IAAI;;uBAKpD;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"}
+{"version":3,"file":"CompilerLib_v0_16.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_16.js"],"names":[],"mappings":"AAKA;;;;;;;;;;;;GAYG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AACH;;;;;;;;;;;;GAYG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAMb;IAHG,SAAc;IAKlB;;OAEG;IACH,qBAQC;IAED;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAe1B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA2CzB;IAED;;;;OAIG;IACH,sBAJW,MAAM,EAAE,WACR,MAAM,EAAE,GACN,eAAe,CA6F3B;IAED;;;;;;;;;;;OAWG;IACH,uBAoDC;IAED;;;;;;OAMG;IACH,uBAOC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH,4BA+CC;IAED;;;;;;OAMG;IACH,+BAsBC;IAED;;;;;OAKG;IACH,wBA8CC;IAED;;;;OAIG;IACH,sBAYC;CACJ;uBA9lBY,OAAO,mBAAmB,EAAE,QAAQ;gCACpC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;yBAClD,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;0BACxC,OAAO,kBAAkB,EAAE,WAAW;8BACtC,OAAO,kBAAkB,EAAE,eAAe;6BAC1C,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;8BACxC,OAAO,kBAAkB,EAAE,eAAe;;kBAKpC,MAAM,KAAK,OAAO;;wBAKxB;IACZ,MAAU,SAAS,CAAA;CAChB;mBAIS;IACZ,GAAO,EAAE;QACT,GAAS,EAAE,MAAM,CAAA;KACZ,CAAA;CACF;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,IAAQ,EAAE,IAAI,CAAA;CACX;;UAKO,SAAS;8BACW,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;aACH,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS;cACjF,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE;WACnC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;;;QAEqC,QAAQ;;;yBAMhD,SAAS,GAAG,KAAK;;yBAK9B;IACZ,UAAc,CAAC,EAAE,QAAQ,CAAA;CACtB;;+BAK4B,MAAM,QAAQ,UAAU,KAAK,IAAI;;uBAKpD;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;2BAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,YAAY,CAAA;CACvB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,YAAY,CAAA;IAC3B,SAAa,EAAE,YAAY,CAAA;CACxB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,YAAY,CAAA;CACvB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,iBAAiB,EAAE,CAAA;CAChC,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,iBAAiB,EAAE,CAAA;KAAC,EAAE,CAAA;CAChE;gCAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,YAAY;0BAIN;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,YAAY,CAAA;CAC3B;wBAIS,EACT"}