@helios-lang/contract-utils 0.2.48 → 0.2.50

package/package.json

@@ -1,45 +1,44 @@
 {
-    "name": "@helios-lang/contract-utils",
-    "version": "0.2.48",
-    "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": "npm run prettify && npm run build:types && npm run test:suite",
-        "build:types": "npx tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
-        "prepack": "npm run build",
-        "prettify": "npx prettier . --write",
-        "test": "npm run test:pretty && npm run test:types && npm run test:suite",
-        "test:pretty": "npx prettier . --check",
-        "test:suite": "node --test",
-        "test:types": "npm run build:types"
-    },
-    "author": "Christian Schmitz",
-    "license": "BSD-3-Clause",
-    "devDependencies": {
-        "@types/node": "^20.11.24",
-        "prettier": "^3.1.0",
-        "typescript": "^5.3.2"
-    },
-    "prettier": {
-        "trailingComma": "none",
-        "tabWidth": 4,
-        "semi": false,
-        "singleQuote": false
-    },
-    "peerDependencies": {
-        "@helios-lang/compiler": "*"
-    },
-    "dependencies": {
-        "@helios-lang/cli-utils": "^0.1.6",
-        "@helios-lang/codec-utils": "^0.1.34",
-        "@helios-lang/compiler-utils": "^0.1.25",
-        "@helios-lang/ledger": "^0.4.6",
-        "@helios-lang/type-utils": "^0.1.21",
-        "@helios-lang/uplc": "^0.3.0"
-    }
-}
+  "name": "@helios-lang/contract-utils",
+  "version": "0.2.50",
+  "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"
+  },
+  "author": "Christian Schmitz",
+  "license": "BSD-3-Clause",
+  "devDependencies": {
+    "@types/node": "^20.11.24",
+    "prettier": "^3.1.0",
+    "typescript": "^5.3.2"
+  },
+  "prettier": {
+    "trailingComma": "none",
+    "tabWidth": 4,
+    "semi": false,
+    "singleQuote": false
+  },
+  "peerDependencies": {
+    "@helios-lang/compiler": "*"
+  },
+  "dependencies": {
+    "@helios-lang/cli-utils": "^0.1.6",
+    "@helios-lang/codec-utils": "^0.1.34",
+    "@helios-lang/compiler-utils": "^0.1.25",
+    "@helios-lang/ledger": "^0.4.9",
+    "@helios-lang/type-utils": "^0.1.21",
+    "@helios-lang/uplc": "^0.3.5"
+  },
+  "scripts": {
+    "build": "pnpm run prettify && pnpm run build:types && pnpm run test:suite",
+    "build:types": "tsc -p jsconfig.json --noEmit false --emitDeclarationOnly",
+    "prettify": "prettier . --write",
+    "test": "pnpm run test:pretty && pnpm run test:types && pnpm run test:suite",
+    "test:pretty": "prettier . --check",
+    "test:suite": "node --test",
+    "test:types": "pnpm run build:types"
+  }
+}

package/src/cast/Cast.js

@@ -171,8 +171,8 @@ function schemaToUplc(schema, x, defs = {}) {
                     return /** @type {TxOutput} */ (x).toUplcData()
                 case "TxOutputDatum":
                     return x
-                        ? TxOutputDatum.new(x)?.toUplcData() ??
-                              new ConstrData(0, [])
+                        ? (TxOutputDatum.new(x)?.toUplcData() ??
+                              new ConstrData(0, []))
                         : new ConstrData(0, [])
                 case "TxOutputId":
                     return TxOutputId.new(x).toUplcData()

package/src/cast/UserFunc.js

@@ -1,5 +1,6 @@
+import { bytesToHex } from "@helios-lang/codec-utils"
 import { expectSome, isLeft, isString } from "@helios-lang/type-utils"
-import { ConstrData, UplcDataValue, UplcProgramV2 } from "@helios-lang/uplc"
+import { ConstrData, UplcDataValue } from "@helios-lang/uplc"
 import { Cast } from "./Cast.js"
 
 /**
@@ -162,8 +163,16 @@ export class UserFunc {
             const resultStr = evalResultToString(cekResult.result)
 
             if (resultStr != resultUnoptimStr) {
+                console.error(
+                    `## Unoptimized IR:\n${this.uplc.alt.ir ?? "not available"}`
+                )
+
+                args.forEach((a, i) => {
+                    console.error(`## Arg ${i}: ${bytesToHex(a.toCbor())}`)
+                })
+
                 throw new Error(
-                    `Critical error: contact Helios maintainers, expected ${resultUnoptimStr}, got ${resultStr}`
+                    `Critical error: expected ${resultUnoptimStr}, but got ${resultStr}. Contact Helios maintainers and share this console output`
                 )
             }
 

package/src/compiler/CompilerLib.js

@@ -15,6 +15,7 @@ export {}
  */
 
 /**
+ * if `debug` is true, the ir is included in the user functions where possible
  * @typedef {{
  *   allValidatorHashTypes: Record<string, ScriptHashType>
  *   allValidatorIndices?: Record<string, number>
@@ -24,8 +25,18 @@ export {}
  *   parameters?: Record<string, UplcData>
  *   isTestnet: boolean
  *   optimize: boolean
+ *   debug?: boolean
  *   excludeUserFuncs?: Set<string>
- *   onCompileUserFunc?: (name: string, cborHex: string, altCborHex: Option<string>, plutusVersion: PlutusVersion) => void
+ *   onCompileUserFunc?: (props: {
+ *     name: string,
+ *     cborHex: string,
+ *     plutusVersion: PlutusVersion,
+ *     ir?: string,
+ *     alt?: {
+ *       cborHex: string,
+ *       ir?: string
+ *     }
+ *   }) => void
  * }} CompileOptions
  */
 

package/src/compiler/CompilerLib_v0_17.js

@@ -109,13 +109,31 @@ export class CompilerLib_v0_17 {
                 ? {
                       onCompileUserFunc: (name, uplc) => {
                           const alt = uplc.alt
-
-                          onCompileUserFunc(
-                              name,
-                              bytesToHex(uplc.toCbor()),
-                              alt ? bytesToHex(alt.toCbor()) : None,
-                              "PlutusScriptV2"
-                          )
+                          const ir = options.debug ? uplc.ir : None
+                          const altIr = options.debug ? alt?.ir : None
+
+                          onCompileUserFunc({
+                              name: name,
+                              cborHex: bytesToHex(uplc.toCbor()),
+                              plutusVersion: "PlutusScriptV2",
+                              ...(ir
+                                  ? {
+                                        ir
+                                    }
+                                  : {}),
+                              ...(alt
+                                  ? {
+                                        alt: {
+                                            cborHex: bytesToHex(alt.toCbor()),
+                                            ...(altIr
+                                                ? {
+                                                      ir: altIr
+                                                  }
+                                                : {})
+                                        }
+                                    }
+                                  : {})
+                          })
                       }
                   }
                 : {})

package/src/context/ContractContextCache.js

@@ -41,7 +41,9 @@ import { UplcProgramV2 } from "@helios-lang/uplc"
 /**
  * @typedef {{[name: string]: {
  *   unoptimizedCborHex?: string
+ *   unoptimizedIr?: string
  *   optimizedCborHex: string
+ *   optimizedIr?: string
  *   plutusVersion: PlutusVersion
  * }}} CacheEntryUserFuncsJson
  */
@@ -171,22 +173,44 @@ class ContractContextCache {
             for (let name in entry.userFuncs) {
                 const props = entry.userFuncs[name]
 
+                const optimizedIr = props.optimizedIr
+                const optimizedProps = optimizedIr
+                    ? { ir: () => optimizedIr }
+                    : {}
+
                 /**
                  * @type {UplcProgram}
                  */
                 let program =
                     props.plutusVersion == "PlutusScriptV1"
-                        ? UplcProgramV1.fromCbor(props.optimizedCborHex)
-                        : UplcProgramV2.fromCbor(props.optimizedCborHex)
+                        ? UplcProgramV1.fromCbor(
+                              props.optimizedCborHex,
+                              optimizedProps
+                          )
+                        : UplcProgramV2.fromCbor(
+                              props.optimizedCborHex,
+                              optimizedProps
+                          )
 
                 if (props.unoptimizedCborHex) {
+                    const unoptimizedIr = props.unoptimizedIr
+                    const unoptimizedProps = unoptimizedIr
+                        ? { ir: () => unoptimizedIr }
+                        : {}
+
                     if (program.plutusVersion == "PlutusScriptV1") {
                         program = program.withAlt(
-                            UplcProgramV1.fromCbor(props.unoptimizedCborHex)
+                            UplcProgramV1.fromCbor(
+                                props.unoptimizedCborHex,
+                                unoptimizedProps
+                            )
                         )
                     } else if (program.plutusVersion == "PlutusScriptV2") {
                         program = program.withAlt(
-                            UplcProgramV2.fromCbor(props.unoptimizedCborHex)
+                            UplcProgramV2.fromCbor(
+                                props.unoptimizedCborHex,
+                                unoptimizedProps
+                            )
                         )
                     } else {
                         throw new Error("unhandled Plutus version")
@@ -293,9 +317,11 @@ class ContractContextCache {
 
             for (let name in entry.userFuncs) {
                 const userFunc = entry.userFuncs[name]
+                const optimizedIr = userFunc.ir
 
                 resUserFuncs[name] = {
                     optimizedCborHex: bytesToHex(userFunc.toCbor()),
+                    optimizedIr: optimizedIr ?? undefined,
                     unoptimizedCborHex: /** @type {UplcProgramV2} */ (userFunc)
                         .alt
                         ? bytesToHex(
@@ -304,6 +330,7 @@ class ContractContextCache {
                               ).alt.toCbor()
                           )
                         : undefined,
+                    unoptimizedIr: userFunc?.alt?.ir ?? undefined,
                     plutusVersion: userFunc.plutusVersion
                 }
             }

package/src/context/DagCompiler.js

@@ -177,21 +177,32 @@ export class DagCompiler {
                     parameters: parameters,
                     isTestnet: isTestnet,
                     excludeUserFuncs: excludeUserFuncs,
-                    onCompileUserFunc: (
+                    onCompileUserFunc: ({
                         name,
                         cborHex,
-                        cborHexAlt,
-                        plutusVersion
-                    ) => {
+                        plutusVersion,
+                        ...props
+                    }) => {
                         console.log(`Compiled user function ${name}`)
-                        let uplc = restoreUplcProgram(plutusVersion, cborHex)
+                        const ir = props.ir
+                        let uplc = restoreUplcProgram(plutusVersion, cborHex, {
+                            ...(ir ? { ir: () => ir } : {})
+                        })
+
+                        if (props?.alt) {
+                            const alt = props.alt
+                            const altIr = alt.ir
 
-                        if (cborHexAlt) {
                             uplc = uplc.withAlt(
                                 /**  @type {any} */ (
                                     restoreUplcProgram(
                                         plutusVersion,
-                                        cborHexAlt
+                                        props.alt.cborHex,
+                                        {
+                                            ...(altIr
+                                                ? { ir: () => altIr }
+                                                : {})
+                                        }
                                     )
                                 )
                             )

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

@@ -1 +1 @@
-{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AA4gBA;;;;;;GAMG;AACH,kGAHW,UAAU,8BASpB;AArfD;;;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":"AA4gBA;;;;;;GAMG;AACH,8BANa,OAAO,EACP,WAAW,QACb,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,UAC9B,UAAU,GACR,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAQtC;AArfD;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH,kBAHa,OAAO,EACP,WAAW;IAepB;;;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;6BAIS,OAAO,EACP,WAAW,IACX,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC;;;;qBAKlD,OAAO,EACP,WAAW,IACX,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/cast/PermissiveType.js"],"names":[],"mappings":"qDAKa,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC"}
+{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/cast/PermissiveType.js"],"names":[],"mappings":"6BAGa,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;qBAI1D,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAI7B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,KAAK"}

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

@@ -1 +1 @@
-{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/cast/StrictType.js"],"names":[],"mappings":"qDAKa,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC"}
+{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/cast/StrictType.js"],"names":[],"mappings":"6BAGa,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;qBAI1D,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;uBAI7B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,MAAM,OAAO,EAAE,GAAG,CAAC,GAAG,OAAO,GAAG,KAAK"}

package/types/cast/UserFunc.d.ts

@@ -83,5 +83,5 @@ export type UserFuncProps = {
     validatorIndices?: Record<string, number>;
     castConfig: CastConfig;
 };
-export type UnsafeArgsT<ArgsT> = { [K in keyof ArgsT]: K extends "$currentScript" ? string : import("@helios-lang/uplc").UplcData; };
+export type UnsafeArgsT<ArgsT> = { [K in keyof ArgsT]: K extends "$currentScript" ? string : UplcData; };
 //# sourceMappingURL=UserFunc.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAIA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;;GAGG;AAEH;;;GAGG;AACH;;;IAcI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IApBD;;;OAGG;IACH,eAFU,WAAW,CAEjB;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;;OAGG;IACH,gBAHW,KAAK,GACH,IAAI,CAoChB;IAED;;;OAGG;IACH,sBAHW,YAAY,KAAK,CAAC,GAChB,QAAQ,CAYpB;IAED;;;OAGG;IACH,mBAHW,YAAY,KAAK,CAAC,GAChB,SAAS,CA0ErB;CACJ;yBA7LY,OAAO,yBAAyB,EAAE,UAAU;wBAC5C,OAAO,mBAAmB,EAAE,SAAS;uBACrC,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;yBACrC,OAAO,WAAW,EAAE,UAAU;4BAI9B;IACZ,MAAU,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;IACvB,gBAAoB,CAAC,EAAE,OAAO,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,UAAc,EAAE,UAAU,CAAA;CACvB"}
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAKA;;;;;;;GAOG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;;GAGG;AAEH;;;GAGG;AACH,sBAHwC,KAAK,SAAhC;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EAC1B,IAAI;IAgBb;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IApBD;;;OAGG;IACH,eAFU,WAAW,CAEjB;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;;OAGG;IACH,gBAHW,KAAK,GACH,IAAI,CAoChB;IAED;;;OAGG;IACH,sBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,QAAQ,CAYpB;IAED;;;OAGG;IACH,mBAHW,WAAW,CAAC,KAAK,CAAC,GAChB,SAAS,CAkFrB;CACJ;yBArMY,OAAO,yBAAyB,EAAE,UAAU;wBAC5C,OAAO,mBAAmB,EAAE,SAAS;uBACrC,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;yBACrC,OAAO,WAAW,EAAE,UAAU;4BAI9B;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;IACvB,gBAAoB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,UAAc,EAAE,UAAU,CAAA;CACvB;wBAIS,KAAK,IACL,GAAE,CAAgB,IAAX,MAAM,KAAK,GAAG,CAAC,SAAS,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cast/index.js"],"names":[],"mappings":";;;yBAMa,OAAO,WAAW,EAAE,UAAU;qDAM9B,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2DAKlD,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;uDAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBA5B/B,WAAW"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cast/index.js"],"names":[],"mappings":";;;yBAMa,OAAO,WAAW,EAAE,UAAU;6BAI9B,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;qBAI1D,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAI7B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;uBAI1B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBA5B/B,WAAW"}

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"0BAGa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;6CAMpC,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;;WAKzD,MAAM;cACH,QAAQ;iBACL,MAAM;mBACJ,cAAc,YAAY,CAAC;;;;;+BAEN,WAAW,UAAU,UAAU;;;yBApB/C,qBAAqB"}
+{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"0BAGa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;qBAIpC,OAAO,EACP,WAAW,IACX,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIxD;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,QAAY,EAAE,QAAQ,CAAA;IACtB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC9C,MAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;IAChD,UAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;KAAC,CAAA;CACvF;yBArBqB,qBAAqB"}

package/types/codegen/LoadedScriptsWriter.d.ts

@@ -18,14 +18,14 @@ export class LoadedScriptsWriter {
      * @returns {LoadedScriptsWriter}
      */
     writeModules(ms: {
-        [name: string]: import("./TypeCheckedModule.js").TypeCheckedModule;
+        [name: string]: TypeCheckedModule;
     }): LoadedScriptsWriter;
     /**
      * @param {{[name: string]: TypeCheckedValidator}} validators
      * @returns {LoadedScriptsWriter}
      */
     writeValidators(validators: {
-        [name: string]: import("./TypeCheckedValidator.js").TypeCheckedValidator;
+        [name: string]: TypeCheckedValidator;
     }): LoadedScriptsWriter;
     /**
      * @returns {[string, string, string]}

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH;;QAFa,mBAAmB,CAgC/B;IAED;;;OAGG;IACH;;QAFa,mBAAmB,CAoC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;;;;OAKG;IACH,sBALW,MAAM,YACN,MAAM,eACN,MAAM,EAAE,GACN,mBAAmB,CAmB/B;IAED;;;;OAIG;IACH,kBAJW,MAAM,kBACN,MAAM,EAAE,GACN,mBAAmB,CAQ/B;IAED;;OAEG;IACH,qBAgCC;IAED;;OAEG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,OAAO,MAAM,EAAE,mBAAmB,CAAC,QA2B7C;IAED;;;OAGG;IACH,oBA6BC;IAED;;;OAGG;IACH,uBAqDC;IAED;;OAEG;IACH,kCAFW,OAAO,MAAM,EAAE,oBAAoB,CAAC,QAuB9C;CACJ;gCA5XY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BARpB,0BAA0B"}
+{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH,iBAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;KAAC,GACjC,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,4BAHW;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;KAAC,GACpC,mBAAmB,CAoC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;;;;OAKG;IACH,sBALW,MAAM,YACN,MAAM,eACN,MAAM,EAAE,GACN,mBAAmB,CAmB/B;IAED;;;;OAIG;IACH,kBAJW,MAAM,kBACN,MAAM,EAAE,GACN,mBAAmB,CAQ/B;IAED;;OAEG;IACH,qBAgCC;IAED;;OAEG;IACH,kBAFW,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,QA2B7C;IAED;;;OAGG;IACH,oBA6BC;IAED;;;OAGG;IACH,uBAqDC;IAED;;OAEG;IACH,kCAFW,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,QAuB9C;CACJ;gCA5XY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BARpB,0BAA0B"}

package/types/codegen/LoadedValidator.d.ts

@@ -10,7 +10,7 @@ export type LoadedValidator = {
     $sourceCode: string;
     $dependencies: ReadonlyArray<LoadedModule>;
     $hashDependencies: ReadonlyArray<LoadedValidator>;
-    $currentScriptIndex?: number | undefined;
+    $currentScriptIndex?: number;
     $dependsOnOwnHash: boolean;
     $types: {
         [name: string]: CastLike<any, any>;
@@ -28,13 +28,11 @@ export type LoadedValidator = {
 export type NamedDependencyToObject<N extends {
     $name: string;
 }> = { [name in N["$name"]]: Extract<N, {
-    $name: name;
+    "$name": name;
 }>; };
-export type NamedDependenciesToObject<N extends readonly {
+export type NamedDependenciesToObject<N extends ReadonlyArray<{
     $name: string;
-}[]> = { [name in (N extends readonly (infer M)[] ? M : never)["$name"]]: Extract<N extends readonly (infer M)[] ? M : never, {
-    $name: name;
-}>; };
+}>> = NamedDependencyToObject<N extends ReadonlyArray<infer M> ? M : never>;
 export type ExtractDependencies<V extends LoadedValidator> = NamedDependenciesToObject<V["$dependencies"]>;
 import { UserFunc } from "../cast/UserFunc.js";
 //# sourceMappingURL=LoadedValidator.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedValidator.js"],"names":[],"mappings":"6CAKa,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;0BAIxD,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,mBAAmB,EAAE,YAAY;;;;;WAMzC,MAAM;iBACA,MAAM;mBACJ,cAAc,YAAY,CAAC;uBACvB,cAAc,eAAe,CAAC;;uBAE9B,OAAO;;;;;+BAEU,WAAW,UAAU,UAAU;;eACxD,SAAS,GAAG,EAAE,GAAG,CAAC;;cAGjB,UAAU,GAAG,OAAO;YACtB,SAAS,GAAG,EAAE,GAAG,CAAC;;cAEhB,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS;;;WAM7C,MAAM;;;;;WAOQ,MAAM;;;;6DAM7B,0BAA0B,CAAC,CAAC,eAAe,CAAC,CAAC;yBAlDjC,qBAAqB"}
+{"version":3,"file":"LoadedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedValidator.js"],"names":[],"mappings":"qBAGa,OAAO,EACP,WAAW,IACX,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;0BAIxD,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,mBAAmB,EAAE,YAAY;;;;8BAKxC;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC9C,iBAAqB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACrD,mBAAuB,CAAC,EAAE,MAAM,CAAA;IAChC,iBAAqB,EAAE,OAAO,CAAA;IAC9B,MAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;IAChD,UAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;KAAC,CAAA;IAC1F,SAAa,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAC9B,GAAG,CACN;IACA,QAAc,EAAE,UAAU,GAAG,OAAO,CAAA;IACpC,MAAY,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAC3B,GAAG;IACR,QAAc,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,CAAA;CAC7D,CACF;oCAI2B,CAAC,SAAnB;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,IACjB,GACP,IAAkB,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE;IAAC,OAAO,EAAE,IAAI,CAAA;CAAC,CAAC,GAClD;sCAI0C,CAAC,SAAjC,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,CAAE,IAChC,uBAAuB,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gCAInD,CAAC,SAAlB,eAAgB,IACjB,yBAAyB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;yBAlDjC,qBAAqB"}

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

@@ -1 +1 @@
-{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;kCAIpC;IACZ,MAAU,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;CACpB;gCAIS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;IACtB,iBAAqB,EAAE,MAAM,EAAE,CAAA;IAC/B,KAAS,EAAE,OAAO,MAAM,EAAE,UAAU,CAAC,CAAA;IACrC,SAAa,CAAC,EAAE,OAAO,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD"}
+{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;kCAIpC;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,IAAU,EAAE,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;QACtB,UAAgB,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;CACpB;gCAIS;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;IACtB,iBAAqB,EAAE,MAAM,EAAE,CAAA;IAC/B,KAAS,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACrC,SAAa,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD"}

package/types/compiler/CompilerLib.d.ts

@@ -9,6 +9,7 @@
  * @typedef {any} ScriptHashType
  */
 /**
+ * if `debug` is true, the ir is included in the user functions where possible
  * @typedef {{
  *   allValidatorHashTypes: Record<string, ScriptHashType>
  *   allValidatorIndices?: Record<string, number>
@@ -18,8 +19,18 @@
  *   parameters?: Record<string, UplcData>
  *   isTestnet: boolean
  *   optimize: boolean
+ *   debug?: boolean
  *   excludeUserFuncs?: Set<string>
- *   onCompileUserFunc?: (name: string, cborHex: string, altCborHex: Option<string>, plutusVersion: PlutusVersion) => void
+ *   onCompileUserFunc?: (props: {
+ *     name: string,
+ *     cborHex: string,
+ *     plutusVersion: PlutusVersion,
+ *     ir?: string,
+ *     alt?: {
+ *       cborHex: string,
+ *       ir?: string
+ *     }
+ *   }) => void
  * }} CompileOptions
  */
 /**
@@ -61,7 +72,7 @@
  * @returns {{[name: string]: ScriptHashType}}
  */
 export function getValidatorTypes(lib: CompilerLib, validators: string[]): {
-    [name: string]: any;
+    [name: string]: ScriptHashType;
 };
 export type PlutusVersion = import("@helios-lang/uplc").PlutusVersion;
 export type UplcData = import("@helios-lang/uplc").UplcData;
@@ -69,17 +80,30 @@ 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;
+/**
+ * if `debug` is true, the ir is included in the user functions where possible
+ */
 export type CompileOptions = {
     allValidatorHashTypes: Record<string, ScriptHashType>;
-    allValidatorIndices?: Record<string, number> | undefined;
+    allValidatorIndices?: Record<string, number>;
     hashDependencies: Record<string, string>;
-    dependsOnOwnHash?: boolean | undefined;
-    ownHash?: string | undefined;
-    parameters?: Record<string, import("@helios-lang/uplc").UplcData> | undefined;
+    dependsOnOwnHash?: boolean;
+    ownHash?: string;
+    parameters?: Record<string, UplcData>;
     isTestnet: boolean;
     optimize: boolean;
-    excludeUserFuncs?: Set<string> | undefined;
-    onCompileUserFunc?: ((name: string, cborHex: string, altCborHex: Option<string>, plutusVersion: PlutusVersion) => void) | undefined;
+    debug?: boolean;
+    excludeUserFuncs?: Set<string>;
+    onCompileUserFunc?: (props: {
+        name: string;
+        cborHex: string;
+        plutusVersion: PlutusVersion;
+        ir?: string;
+        alt?: {
+            cborHex: string;
+            ir?: string;
+        };
+    }) => void;
 };
 export type CompileOutput = {
     cborHex: string;
@@ -87,10 +111,10 @@ export type CompileOutput = {
 };
 export type TypeCheckOutput = {
     modules: {
-        [name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
+        [name: string]: TypeCheckedModule;
     };
     validators: {
-        [name: string]: import("../codegen/TypeCheckedValidator.js").TypeCheckedValidator;
+        [name: string]: TypeCheckedValidator;
     };
 };
 export type SourceDetails = {
@@ -101,14 +125,14 @@ export type SourceDetails = {
 export type CompilerLib = {
     version: string;
     getScriptHashType: (purpose: string) => ScriptHashType;
-    typeCheck: (validators: string[], modules: string[]) => {
+    typeCheck: (validators: string[], modules: string[]) => ({
         modules: {
-            [name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
+            [name: string]: TypeCheckedModule;
         };
         validators: {
-            [name: string]: import("../codegen/TypeCheckedValidator.js").TypeCheckedValidator;
+            [name: string]: TypeCheckedValidator;
         };
-    };
+    });
     compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
 };
 export type DagDependencies = Record<string, string[]>;

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

@@ -1 +1 @@
-{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH;;GAEG;AAEH;;;;;;;;;;;;;GAaG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AAEH;;;;GAIG;AACH,uCAJW,WAAW,cACX,MAAM,EAAE;;EAUlB;4BA5EY,OAAO,mBAAmB,EAAE,aAAa;uBACzC,OAAO,mBAAmB,EAAE,QAAQ;kCACpC,OAAO,qBAAqB,EAAE,UAAU;gCACxC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;6BAIlD,GAAG;;2BAKY,OAAO,MAAM,EAAE,cAAc,CAAC;;sBAEnC,OAAO,MAAM,EAAE,MAAM,CAAC;;;;eAI7B,OAAO;cACR,OAAO;;gCAEU,MAAM,WAAW,MAAM,cAAc,OAAO,MAAM,CAAC,iBAAiB,aAAa,KAAK,IAAI;;4BAK7G;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,aAAiB,EAAE,aAAa,CAAA;CAC7B;;;;;;;;;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"}
+{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH;;GAEG;AAEH;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AAEH;;;;GAIG;AACH,uCAJW,WAAW,cACX,MAAM,EAAE,GACN;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAAA;CAAC,CAS5C;4BAvFY,OAAO,mBAAmB,EAAE,aAAa;uBACzC,OAAO,mBAAmB,EAAE,QAAQ;kCACpC,OAAO,qBAAqB,EAAE,UAAU;gCACxC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;6BAIlD,GAAG;;;;6BAKH;IACZ,qBAAyB,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACzD,mBAAuB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChD,gBAAoB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5C,gBAAoB,CAAC,EAAE,OAAO,CAAA;IAC9B,OAAW,CAAC,EAAE,MAAM,CAAA;IACpB,UAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACzC,SAAa,EAAE,OAAO,CAAA;IACtB,QAAY,EAAE,OAAO,CAAA;IACrB,KAAS,CAAC,EAAE,OAAO,CAAA;IACnB,gBAAoB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAClC,iBAAqB,CAAC,EAAE,CAAC,KAAK,EAAE;QAChC,IAAU,EAAE,MAAM,CAAC;QACnB,OAAa,EAAE,MAAM,CAAC;QACtB,aAAmB,EAAE,aAAa,CAAC;QACnC,EAAQ,CAAC,EAAE,MAAM,CAAC;QAClB,GAAS,CAAC,EAAE;YACZ,OAAe,EAAE,MAAM,CAAC;YACxB,EAAU,CAAC,EAAE,MAAM,CAAA;SACZ,CAAA;KACF,KAAK,IAAI,CAAA;CACX;4BAIS;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,aAAiB,EAAE,aAAa,CAAA;CAC7B;8BAIS;IACZ,OAAW,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;KAAC,CAAA;IAChD,UAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;KAAC,CAAA;CACnD;4BAIS;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;0BAIS;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,iBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,cAAc,CAAA;IAC1D,SAAa,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QAC7D,OAAa,EAAE;YAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;SAAC,CAAC;QACnD,UAAgB,EAAE;YAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;SAAC,CAAA;KACnD,CAAC,CAAA;IACN,OAAW,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,cAAc,KAAK,aAAa,CAAA;CACrF;8BAIS,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC"}

package/types/compiler/CompilerLib_v0_16.d.ts

@@ -250,7 +250,7 @@ export type Program = {
     mainArgTypes: DataType[];
     throwErrors(): any;
     evalTypes(validatorTypes: {
-        [name: string]: any;
+        [name: string]: ScriptHashType;
     }): TopScope;
 };
 export type TopScope = {

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":"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,CA6CzB;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;uBAhmBY,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"}
+{"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,0CAFgB,WAAW;IAGvB;;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,CA6CzB;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;uBAhmBY,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;iBAI1C;IACZ,QAAY,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,OAAO,CAAA;CACjC;wBAIS;IACZ,IAAQ,EAAE,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;qBAIS;IACZ,IAAQ,EAAE,SAAS,CAAA;IACnB,kBAAsB,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,MAAM,EAAE,CAAA;IACnD,UAAc,EAAE,SAAS,EAAE,CAAA;CACxB;sBAGS;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS,CAAA;IAC/F,IAAQ,CAAC,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,EAAE,CAAA;IAC9C,KAAS,EAAE,SAAS,CAAA;IACpB,mBAAuB,EAAE,MAAM,EAAE,CAAA;IACjC,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,QAAQ,EAAE,CAAA;IAC5B,WAAe,QAAE;IACjB,SAAa,CAAC,cAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,CAAA;KAAC,GAAG,QAAQ,CAAA;CACtE;uBAIS;IACZ,cAAkB,CAAC,IAAI,EAAE,SAAS,GAAG,KAAK,CAAA;CACvC;yBAIS;IACZ,UAAc,CAAC,EAAE,QAAQ,CAAA;CACtB;oBAIS;IACZ,SAAa,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,KAAK,IAAI,OAAC;CAC9D;uBAIS;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,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,iBAAiB,EAAE,CAAA;KAAC,EAAE,CAAA;CAChE;gCAIS;IACZ,IAAQ,EAAE,MAAM,CAAA;CACb,GAAG,YAAY;0BAIN;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,YAAY,CAAA;CAC3B;wBAIS,EACT"}

package/types/compiler/CompilerLib_v0_17.d.ts

@@ -70,12 +70,12 @@ export type Program = {
     currentScriptIndex: Option<number>;
     changeParam(key: string, value: UplcData): void;
     compile(options: {
-        optimize?: boolean | undefined;
-        dependsOnOwnHash?: boolean | undefined;
-        hashDependencies?: Record<string, string> | undefined;
-        validatorIndices?: Record<string, number> | undefined;
-        excludeUserFuncs?: Set<string> | undefined;
-        onCompileUserFunc?: ((name: string, uplc: UplcProgramV2I) => void) | undefined;
+        optimize?: boolean;
+        dependsOnOwnHash?: boolean;
+        hashDependencies?: Record<string, string>;
+        validatorIndices?: Record<string, number>;
+        excludeUserFuncs?: Set<string>;
+        onCompileUserFunc?: (name: string, uplc: UplcProgramV2I) => void;
     }): UplcProgramV2;
 };
 import { UplcProgramV2 } from "@helios-lang/uplc";

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

@@ -1 +1 @@
-{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;GAEG;AACH;IAOI;;OAEG;IACH,iBAFW,GAAG,EAIb;IAXD;;;OAGG;IACH,YAAG;IASH;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAM1B;IAED;;;;;OAKG;IACH,oBALW,MAAM,iBACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA2DzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBAtIY,OAAO,mBAAmB,EAAE,QAAQ;6BACpC,OAAO,mBAAmB,EAAE,cAAc;0BAC1C,OAAO,kBAAkB,EAAE,WAAW;6BACtC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;6BACxC,OAAO,kBAAkB,EAAE,cAAc;8BACzC,OAAO,kBAAkB,EAAE,eAAe;;UAK5C,MAAM;wBACQ,OAAO,MAAM,CAAC;qBACjB,MAAM,SAAS,QAAQ,GAAG,IAAI;;;;;;;oCAOlB,MAAM,QAAQ,cAAc,KAAK,IAAI;QAC9D,aAAa;;8BAxBQ,mBAAmB"}
+{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;GAEG;AACH,0CAFgB,WAAW;IASvB;;OAEG;IACH,iBAFW,GAAG,EAIb;IAXD;;;OAGG;IACH,YAAG;IASH;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAM1B;IAED;;;;;OAKG;IACH,oBALW,MAAM,iBACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA6EzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBAxJY,OAAO,mBAAmB,EAAE,QAAQ;6BACpC,OAAO,mBAAmB,EAAE,cAAc;0BAC1C,OAAO,kBAAkB,EAAE,WAAW;6BACtC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;6BACxC,OAAO,kBAAkB,EAAE,cAAc;8BACzC,OAAO,kBAAkB,EAAE,eAAe;sBAI1C;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,kBAAsB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IACtC,WAAe,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;IACnD,OAAW,CAAC,OAAO,EAAE;QACrB,QAAc,CAAC,EAAE,OAAO,CAAC;QACzB,gBAAsB,CAAC,EAAE,OAAO,CAAC;QACjC,gBAAsB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,gBAAsB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QAC/C,gBAAsB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QACpC,iBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,KAAK,IAAI,CAAA;KACjE,GAAG,aAAa,CAAA;CAClB;8BAzB0B,mBAAmB"}

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

@@ -1 +1 @@
-{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/compiler/ops.js"],"names":[],"mappings":"AAsBA;;;GAGG;AACH,mCAFa,WAAW,CAkBvB;AAED;;;;;;GAMG;AACH,oCALW,WAAW;;uBAED,MAAM,OAAO,MAAM,KAAK,MAAM,GACtC,eAAe,CAM3B;AAED;;;;GAIG;AACH,sCAJW,WAAW,WACX,MAAM,EAAE,GACN,eAAe,CAM3B;0BAzDY,OAAO,kBAAkB,EAAE,WAAW;8BAEtC,OAAO,kBAAkB,EAAE,eAAe"}
+{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/compiler/ops.js"],"names":[],"mappings":"AAsBA;;;GAGG;AACH,mCAFa,WAAW,CAkBvB;AAED;;;;;;GAMG;AACH,oCALW,WAAW,SACX;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;CAAC,YACxB,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,MAAM,GACtC,eAAe,CAM3B;AAED;;;;GAIG;AACH,sCAJW,WAAW,WACX,MAAM,EAAE,GACN,eAAe,CAM3B;0BAzDY,OAAO,kBAAkB,EAAE,WAAW;8BAEtC,OAAO,kBAAkB,EAAE,eAAe"}

package/types/context/ContractContext.d.ts

@@ -9,7 +9,7 @@ export type CastLike<TStrict, TPermissive> = import("../cast/index.js").CastLike
 export type PermissiveType<C extends CastLike<any, any>> = import("../cast/index.js").PermissiveType<C>;
 export type StrictType<C extends CastLike<any, any>> = import("../cast/index.js").StrictType<C>;
 export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>> | ScriptHash);
-export type ContractValidatorContexts<V extends import("../codegen/LoadedValidator.js").LoadedValidator> = V extends {
+export type ContractValidatorContexts<V extends LoadedValidator> = V extends {
     "$purpose": "spending";
     "$Datum": CastLike<any, any>;
     "$Redeemer": CastLike<any, any>;
@@ -32,18 +32,18 @@ export type ContractValidatorContexts<V extends import("../codegen/LoadedValidat
 } ? {
     $hash: ScriptHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
 } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : never;
-export type ContractModuleContexts<V extends import("../codegen/LoadedModule.js").LoadedModule> = ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>;
+export type ContractModuleContexts<V extends LoadedModule> = ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>;
 export type ContractTypesContext<T extends {
     [typeName: string]: CastLike<any, any>;
-}> = { [K in keyof T]: Cast<import("../cast/StrictType.js").StrictType<T[K]>, import("../cast/PermissiveType.js").PermissiveType<T[K]>>; };
+}> = { [K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>; };
 export type ContractUserFuncsContext<T extends {
     [funcName: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
 }> = { [K in keyof T]: ReturnType<T[K]>; };
 export type ContractContext<Vs extends {
-    [name: string]: import("../codegen/LoadedValidator.js").LoadedValidator;
+    [name: string]: LoadedValidator;
 }, Ms extends {
-    [name: string]: import("../codegen/LoadedModule.js").LoadedModule;
-}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K_1 in keyof Ms]: ContractModuleContexts<Ms[K_1]>; };
+    [name: string]: LoadedModule;
+}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; };
 import { ValidatorHash } from "@helios-lang/ledger";
 import { MintingPolicyHash } from "@helios-lang/ledger";
 import { StakingValidatorHash } from "@helios-lang/ledger";

package/types/context/ContractContext.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"0BASa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;mEAM7C,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;oGAQlF,OAAO,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,CAAC;mEAMnH,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;6CAMlF,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2DAKzD,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uDAK5C,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,CACZ,cAAkB,gBAAgB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GACtD,kBAAsB,eAAe,GAAG,EAAE,GAAG,CAAC,CAAC,GAC/C,qBAAyB,eAAe,GAAG,EAAE,GAAG,CAAC,CAAC,GAClD,UAAc,CACX;2GAKS,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAChH,KAAa,EAAE,cACf,gBACA,WAAuB,CAAC,CAAC,QAAQ,CAAC,CAAC,EACnC,eAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvC,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,CAAO,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC3E,KAAa,EAAE,kBACf,eACA,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,CAAO,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC1G,KAAa,EAAE,qBACf,eACA,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,CAAO,SAAS;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACvG,KAAa,EAAE,WACf,gBACA,WAAwB,CAAC,CAAC,QAAQ,CAAC,CAAC,EACpC,eAA4B,CAAC,CAAC,QAAQ,CAAC,CAAC,EACxC,WAAwB,CAAC,CAAC,WAAW,CAAC,CAAC,EACvC,eAA4B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACH,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,KAAW;kGAMC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,yBAAyB,CAAC,CAAC,YAAY,CAAC,CAAC;;;;;+BAWhD,WAAW,UAAU,UAAU;;;;;;;8BA9GlE,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;2BAArB,qBAAqB;qBACG,kBAAkB;yBAAlB,kBAAkB"}
+{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"0BASa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;2BAI7C,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;4BAIlF,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,CAAC;2BAInH,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;qBAIlF,OAAO,EACP,WAAW,IACX,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIpC,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uBAIvB,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,CACR,aAAa,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAClD,iBAAiB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC3C,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC9C,UAAU,CACX;sCAI2B,CAAC,SAAlB,eAAgB,IACjB,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAChH,KAAa,EAAE,aAAa,CAClB,eAAe,CACb,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC3E,KAAa,EAAE,iBAAiB,CACtB,cAAc,CACZ,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC1G,KAAa,EAAE,oBAAoB,CACzB,cAAc,CACZ,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACvG,KAAa,EAAE,UAAU,CACf,eAAe,CACZ,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACH,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,KAAW;mCAKgB,CAAC,SAAf,YAAa,IACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIlC,CAAC,SAA5C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,IAC1C,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAI0F,CAAC,SAAlF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;CAAE,IAChF,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI6C,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,GACP,CAAa,IAAR,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAa,IAAR,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C;8BA3HG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;2BAArB,qBAAqB;qBACG,kBAAkB;yBAAlB,kBAAkB"}

package/types/context/ContractContextBuilder.d.ts

@@ -26,9 +26,9 @@
  * @template {{[name: string]: LoadedModule}} Ms
  */
 export class ContractContextBuilder<Vs extends {
-    [name: string]: import("./DagCompiler.js").LoadedValidator;
+    [name: string]: LoadedValidator;
 }, Ms extends {
-    [name: string]: import("./ContractContext.js").LoadedModule;
+    [name: string]: LoadedModule;
 }> {
     /**
      * @returns {ContractContextBuilder<{}, {}>}
@@ -59,7 +59,7 @@ export class ContractContextBuilder<Vs extends {
      *   Ms & ExtractDependencies<V>
      * >}
      */
-    with<V extends import("./DagCompiler.js").LoadedValidator>(validator: V): ContractContextBuilder<Vs & { [K in V["$name"]]: V; }, Ms & ExtractDependencies<V>>;
+    with<V extends LoadedValidator>(validator: V): ContractContextBuilder<Vs & { [K in V["$name"]]: V; }, Ms & ExtractDependencies<V>>;
     /**
      * @template {LoadedModule} M
      * @param {M} m
@@ -68,7 +68,7 @@ export class ContractContextBuilder<Vs extends {
      *   Ms & {[K in M["$name"]]: M}
      * >}
      */
-    withModule<M extends import("./ContractContext.js").LoadedModule>(m: M): ContractContextBuilder<Vs, Ms & { [K_1 in M["$name"]]: M; }>;
+    withModule<M extends LoadedModule>(m: M): ContractContextBuilder<Vs, Ms & { [K in M["$name"]]: M; }>;
     /**
      * @param {ContractContextBuildProps} props
      * @returns {ContractContext<Vs, Ms>}
@@ -79,18 +79,18 @@ export type CastConfig = import("../cast/index.js").CastConfig;
 export type LoadedModule = import("../codegen/LoadedModule.js").LoadedModule;
 export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
 export type CompilerLib = import("../compiler/index.js").CompilerLib;
-export type ExtractDependencies<V extends import("./DagCompiler.js").LoadedValidator> = import("../codegen/LoadedValidator.js").ExtractDependencies<V>;
+export type ExtractDependencies<V extends LoadedValidator> = import("../codegen/LoadedValidator.js").ExtractDependencies<V>;
 export type ContractContext<Vs extends {
-    [name: string]: import("./DagCompiler.js").LoadedValidator;
+    [name: string]: LoadedValidator;
 }, Ms extends {
-    [name: string]: import("./ContractContext.js").LoadedModule;
+    [name: string]: LoadedModule;
 }> = import("./ContractContext.js").ContractContext<Vs, Ms>;
 export type ContractContextBuildProps = {
     isMainnet: boolean;
     expectedHashes?: {
         [name: string]: string;
-    } | undefined;
-    parameters?: Record<string, any> | undefined;
-    dumpHashes?: boolean | undefined;
+    };
+    parameters?: Record<string, any>;
+    dumpHashes?: boolean;
 };
 //# sourceMappingURL=ContractContextBuilder.d.ts.map

package/types/context/ContractContextBuilder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAMA;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;;GAOG;AAEH;;;GAGG;AACH;;;;;IAwBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IArBD;;;;OAIG;IACH,4BAAU;IAEV;;;OAGG;IACH,kBAFU,EAAE,CAEL;IAmBP;;;;;;;OAOG;IACH,8JAaC;IAED;;;;;;;OAOG;IACH,sIAQC;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,gBAAgB,EAAE,EAAE,EAAE,CAAC,CAyFnC;CACJ;yBAlMY,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;wFAK1C,OAAO,+BAA+B,EAAE,mBAAmB,CAAC,CAAC,CAAC;;;;;KAM9D,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;eAKnD,OAAO"}
+{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAMA;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;;GAOG;AAEH;;;GAGG;AACH,oCAHiD,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE;IA0BzC;;OAEG;IACH,gBAFa,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IArBD;;;;OAIG;IACH,4BAAU;IAEV;;;OAGG;IACH,kBAFU,EAAE,CAEL;IAmBP;;;;;;;OAOG;IACH,KAP+B,CAAC,SAAlB,eAAgB,aACnB,CAAC,GACC,sBAAsB,CAC9B,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,EAC3B,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAC5B,CAeH;IAED;;;;;;;OAOG;IACH,WAP4B,CAAC,SAAf,YAAa,KAChB,CAAC,GACC,sBAAsB,CAC9B,EAAE,EACF,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,CAC5B,CAUH;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,CAyFnC;CACJ;yBAlMY,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;gCAIxB,CAAC,SAAlB,eAAgB,IACjB,OAAO,+BAA+B,EAAE,mBAAmB,CAAC,CAAC,CAAC;4BAI1B,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;wCAItD;IACZ,SAAa,EAAE,OAAO,CAAA;IACtB,cAAkB,CAAC,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,CAAA;IAC7C,UAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IACpC,UAAc,CAAC,EAAE,OAAO,CAAA;CACrB"}

package/types/context/ContractContextCache.d.ts

@@ -6,28 +6,30 @@ export type TypeSchema = import("../codegen/index.js").TypeSchema;
 export type AnyContractValidatorContext = import("./ContractContext.js").AnyContractValidatorContext;
 export type CacheEntry = {
     validators: {
-        [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
+        [name: string]: AnyContractValidatorContext;
     };
     userFuncs: {
-        [name: string]: import("@helios-lang/uplc").UplcProgram;
+        [name: string]: UplcProgram;
     };
 };
 export type CacheEntryValidatorsJson = {
     [name: string]: {
         purpose: "minting" | "spending" | "staking" | "mixed";
         bytes: number[];
-        unoptimizedCborHex?: string | undefined;
+        unoptimizedCborHex?: string;
         optimizedCborHex: string;
         plutusVersion: PlutusVersion;
         castConfig: CastConfig;
-        datum?: import("@helios-lang/type-utils").TypeSchema | undefined;
+        datum?: TypeSchema;
         redeemer: TypeSchema;
     };
 };
 export type CacheEntryUserFuncsJson = {
     [name: string]: {
-        unoptimizedCborHex?: string | undefined;
+        unoptimizedCborHex?: string;
+        unoptimizedIr?: string;
         optimizedCborHex: string;
+        optimizedIr?: string;
         plutusVersion: PlutusVersion;
     };
 };
@@ -63,7 +65,9 @@ export type CacheEntryJson = {
 /**
  * @typedef {{[name: string]: {
  *   unoptimizedCborHex?: string
+ *   unoptimizedIr?: string
  *   optimizedCborHex: string
+ *   optimizedIr?: string
  *   plutusVersion: PlutusVersion
  * }}} CacheEntryUserFuncsJson
  */

package/types/context/ContractContextCache.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AA8TA,wDAA8D;4BAjTjD,OAAO,mBAAmB,EAAE,aAAa;0BACzC,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;yBACrC,OAAO,qBAAqB,EAAE,UAAU;0CACxC,OAAO,sBAAsB,EAAE,2BAA2B;;;;;;;;;;;iBAYvD,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO;eAC9C,MAAM,EAAE;;0BAEG,MAAM;uBACT,aAAa;oBAChB,UAAU;;kBAEZ,UAAU;;;;;;0BAOJ,MAAM;uBACT,aAAa;;;6BAKpB;IACZ,UAAc,EAAE,wBAAwB,CAAA;IACxC,SAAa,EAAE,uBAAuB,CAAA;CACnC;AAxCJ;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;;;;;;GAWG;AAEH;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;IACI;;OAEG;IACH,OAFU,UAAU,EAAE,CAEjB;IAEL;;;OAGG;IACH,GAFU,MAAM,CAEf;IAED;;OAEG;IACH,SAFU,OAAO,CAEV;IAQP,eAEC;IAED;;OAEG;IACH,WAFW,cAAc,EAAE,QAoH1B;IAED;;OAEG;IACH,aAFW,UAAU,QAMpB;IAED;;OAEG;IACH,SAFa,OAAO,UAAU,CAAC,CAY9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CAyF3B;CACJ"}
+{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AAyVA,wDAA8D;4BA5UjD,OAAO,mBAAmB,EAAE,aAAa;0BACzC,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;yBACrC,OAAO,qBAAqB,EAAE,UAAU;0CACxC,OAAO,sBAAsB,EAAE,2BAA2B;yBAI1D;IACZ,UAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IAC7D,SAAa,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC;uCAIS;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QAC7B,OAAa,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAA;QAC3D,KAAW,EAAE,MAAM,EAAE,CAAA;QACrB,kBAAwB,CAAC,EAAE,MAAM,CAAA;QACjC,gBAAsB,EAAE,MAAM,CAAA;QAC9B,aAAmB,EAAE,aAAa,CAAA;QAClC,UAAgB,EAAE,UAAU,CAAA;QAC5B,KAAW,CAAC,EAAE,UAAU,CAAA;QACxB,QAAc,EAAE,UAAU,CAAA;KACrB,CAAA;CAAC;sCAIM;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QAC7B,kBAAsB,CAAC,EAAE,MAAM,CAAA;QAC/B,aAAiB,CAAC,EAAE,MAAM,CAAA;QAC1B,gBAAoB,EAAE,MAAM,CAAA;QAC5B,WAAe,CAAC,EAAE,MAAM,CAAA;QACxB,aAAiB,EAAE,aAAa,CAAA;KAC7B,CAAA;CAAC;6BAIQ;IACZ,UAAc,EAAE,wBAAwB,CAAA;IACxC,SAAa,EAAE,uBAAuB,CAAA;CACnC;AA1CJ;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;;;;;;GAWG;AAEH;;;;;;;;GAQG;AAEH;;;;;GAKG;AAEH;IACI;;OAEG;IACH,OAFU,UAAU,EAAE,CAEjB;IAEL;;;OAGG;IACH,GAFU,MAAM,CAEf;IAED;;OAEG;IACH,SAFU,OAAO,CAEV;IAQP,eAEC;IAED;;OAEG;IACH,WAFW,cAAc,EAAE,QA0I1B;IAED;;OAEG;IACH,aAFW,UAAU,QAMpB;IAED;;OAEG;IACH,SAFa,MAAM,CAAC,UAAU,CAAC,CAY9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CA4F3B;CACJ"}

package/types/context/DagCompiler.d.ts

@@ -49,7 +49,7 @@ export class DagCompiler {
      * @type {{[name: string]: UplcProgram}}
      */
     private readonly cachedUserFuncs;
-    castConfig: import("./ContractContext.js").CastConfig;
+    castConfig: import("../cast/Cast.js").CastConfig;
     /**
      * @param {LoadedValidator[]} validators
      * @param {Record<string, any>} parameters
@@ -96,10 +96,10 @@ export type CompilerLib = import("../compiler/index.js").CompilerLib;
 export type AnyContractValidatorContext = import("./ContractContext.js").AnyContractValidatorContext;
 export type DagCompilerOutput = {
     validators: {
-        [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
+        [name: string]: AnyContractValidatorContext;
     };
     userFuncs: {
-        [name: string]: import("@helios-lang/uplc").UplcProgram;
+        [name: string]: UplcProgram;
     };
 };
 //# sourceMappingURL=DagCompiler.d.ts.map

package/types/context/DagCompiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AAiXA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AA9XD;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAOpB;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAQX,sDAA4B;IAKhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;SAEL,iBAAiB,CA6J7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA8BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BAnWY,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B"}
+{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AA4XA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AAzYD;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAOpB;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAQX,iDAA4B;IAKhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO,mBACP,MAAM,CAAC;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,CAAC,GAC9B,iBAAiB,CAwK7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA8BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BA9WY,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B;gCAI1D;IACZ,UAAc,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IAC7D,SAAa,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC"}

package/types/context/index.d.ts

@@ -1,8 +1,8 @@
 export { ContractContextBuilder } from "./ContractContextBuilder.js";
 export { contractContextCache } from "./ContractContextCache.js";
 export type ContractContext<Vs extends {
-    [name: string]: import("./ContractContextBuilder.js").LoadedValidator;
+    [name: string]: import("../codegen/index.js").LoadedValidator;
 }, Ms extends {
-    [name: string]: import("./ContractContextBuilder.js").LoadedModule;
+    [name: string]: import("../codegen/index.js").LoadedModule;
 }> = import("./ContractContext.js").ContractContext<Vs, Ms>;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/context/index.js"],"names":[],"mappings":";;;;;;KAMa,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/context/index.js"],"names":[],"mappings":";;4BAI+E,EAAE,SAApE;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,qBAAqB,EAAE,eAAe,CAAA;CAAE,EACF,EAAE,SAAjE;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,qBAAqB,EAAE,YAAY,CAAA;CAAE,IAC9D,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC"}

package/types/hl2ts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hl2ts.d.ts","sourceRoot":"","sources":["../src/hl2ts.js"],"names":[],"mappings":";0BAiBa,OAAO,2BAA2B,EAAE,WAAW;4BAC/C,OAAO,2BAA2B,EAAE,iBAAiB;+BACrD,OAAO,2BAA2B,EAAE,oBAAoB;4BAIxD;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;yBAIS,YAAY,GAAG,YAAY"}
+{"version":3,"file":"hl2ts.d.ts","sourceRoot":"","sources":["../src/hl2ts.js"],"names":[],"mappings":";0BAiBa,OAAO,2BAA2B,EAAE,WAAW;4BAC/C,OAAO,2BAA2B,EAAE,iBAAiB;+BACrD,OAAO,2BAA2B,EAAE,oBAAoB;4BAIxD;IACZ,IAAQ,EAAE,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;yBAIS,YAAY,GAAG,YAAY"}