@helios-lang/contract-utils 0.2.16 → 0.2.18

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.2.16",
+    "version": "0.2.18",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
     "types": "types/index.d.ts",

package/src/cast/UserFunc.js

@@ -1,10 +1,12 @@
-export {}
-
 /**
  * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  */
 
+import { expectSome, isLeft } from "@helios-lang/type-utils"
+import { ConstrData, UplcDataValue } from "@helios-lang/uplc"
+
 /**
  * @typedef {{
  *   requiresScriptContext: boolean
@@ -22,15 +24,74 @@ export {}
  */
 export class UserFunc {
     /**
+     * @private
+     * @readonly
+     * @type {UplcProgram}
+     */
+    uplc
+
+    /**
+     * @private
      * @readonly
      * @type {UserFuncProps}
      */
     props
 
     /**
+     * @param {UplcProgram} uplc
      * @param {UserFuncProps} props
      */
-    constructor(props) {
+    constructor(uplc, props) {
+        this.uplc = uplc
         this.props = props
     }
+
+    /**
+     * @type {T}
+     */
+    get evalUnsafe() {
+        return /** @type {any} */ (
+            (namedArgs) => {
+                /**
+                 * @type {UplcData[]}
+                 */
+                const args = this.props.arguments.map(({ name, type }) => {
+                    const rawArg = expectSome(namedArgs[name])
+
+                    // TODO: apply type conversion
+                    return rawArg
+                })
+
+                if (this.props.requiresScriptContext) {
+                    args.push(expectSome(namedArgs["$scriptContext"]))
+                }
+
+                if (this.props.requiresCurrentScript) {
+                    const currentScriptName = expectSome(
+                        namedArgs["$currentScript"]
+                    )
+
+                    console.error(
+                        `TODO: convert ${currentScriptName} to correct ConstrData`
+                    )
+
+                    args.push(new ConstrData(0, []))
+                }
+
+                const result = this.uplc.eval(
+                    args.map((a) => new UplcDataValue(a))
+                ).result
+
+                if (isLeft(result)) {
+                    throw new Error(result.left.error)
+                } else if (result.right instanceof UplcDataValue) {
+                    return result.right.value
+                } else {
+                    throw new Error(
+                        `${result.right.toString()} isn't a UplcDataValue`
+                    )
+                }
+            }
+        )
+    }
 }

package/src/codegen/LoadedModule.js

@@ -1,4 +1,8 @@
-export {}
+import { UserFunc } from "../cast/UserFunc.js"
+
+/**
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ */
 
 /**
  * @template TStrict
@@ -13,5 +17,6 @@ export {}
  *   $sourceCode: string
  *   $dependencies: ReadonlyArray<LoadedModule>
  *   $types: {[name: string]: CastLike<any, any>}
+ *   $functions: {[name: string]: (uplc: UplcProgram) => UserFunc<any>}
  * }} LoadedModule
  */

package/src/codegen/LoadedScriptsWriter.js

@@ -241,11 +241,13 @@ export class LoadedScriptsWriter {
             const t = genFuncType(fn)
 
             this.definition.write(
-                `        ${key}: /** @type {UserFunc<${t}>} */ (new UserFunc(${JSON.stringify(fn)})),\n`
+                `        "${key}": (uplc) => /** @type {UserFunc<${t}>} */ (new UserFunc(uplc, ${JSON.stringify(fn)})),\n`
+            )
+            this.declaration.write(
+                `        "${key}": (uplc) => UserFunc<${t}>,\n`
             )
-            this.declaration.write(`        ${key}: UserFunc<${t}>,\n`)
             this.combined.write(
-                `        ${key}: new UserFunc<${t}>(${JSON.stringify(fn)}),\n`
+                `        "${key}": (uplc) => new UserFunc<${t}>(uplc, ${JSON.stringify(fn)}),\n`
             )
         }
 
@@ -282,6 +284,7 @@ export class LoadedScriptsWriter {
         )
 
         this.writeTypes(m.types)
+        this.writeFunctions(m.functions ?? {})
 
         this.definition.write(`}\n`)
         this.declaration.write(`}\n`)
@@ -336,9 +339,7 @@ ${datumTypes ? `    $Datum: (config: CastConfig) => new Cast<${datumTypes[0]}, $
         )
 
         this.writeTypes(v.types)
-        if (v.functions) {
-            this.writeFunctions(v.functions)
-        }
+        this.writeFunctions(v.functions ?? {})
 
         this.definition.write(`}\n`)
         this.declaration.write(`}\n`)

package/src/codegen/LoadedValidator.js

@@ -1,4 +1,4 @@
-import { Cast } from "../cast/Cast.js"
+import { UserFunc } from "../cast/UserFunc.js"
 
 /**
  * @template TStrict
@@ -7,6 +7,7 @@ import { Cast } from "../cast/Cast.js"
  */
 
 /**
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("./LoadedModule.js").LoadedModule} LoadedModule
  */
 
@@ -18,6 +19,7 @@ import { Cast } from "../cast/Cast.js"
  *   $hashDependencies: ReadonlyArray<LoadedValidator>
  *   $dependsOnOwnHash: boolean
  *   $types: {[name: string]: CastLike<any, any>}
+ *   $functions: {[name: string]: (uplc: UplcProgram) => UserFunc<any>}
  *   $Redeemer: CastLike<any, any>
  * } & (
  *   {

package/src/compiler/CompilerLib.js

@@ -3,6 +3,7 @@ import { readHeader } from "@helios-lang/compiler-utils"
 export {}
 
 /**
+ * @typedef {import("@helios-lang/uplc").PlutusVersion} PlutusVersion
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
  * @typedef {import("../codegen/index.js").TypeCheckedModule} TypeCheckedModule
@@ -22,6 +23,8 @@ export {}
  *   parameters?: Record<string, UplcData>
  *   isTestnet: boolean
  *   optimize: boolean
+ *   excludeUserFuncs?: Set<string>
+ *   onCompileUserFunc?: (name: string, cborHex: string, plutusVersion: PlutusVersion) => void
  * }} CompileOptions
  */
 

package/src/compiler/CompilerLib_v0_17.js

@@ -14,7 +14,13 @@ import { UplcProgramV2 } from "@helios-lang/uplc"
  * @typedef {{
  *   name: string
  *   changeParam(key: string, value: UplcData): void
- *   compile(options: {optimize?: boolean, dependsOnOwnHash?: boolean, hashDependencies?: Record<string, string>}): UplcProgramV2
+ *   compile(options: {
+ *     optimize?: boolean,
+ *     dependsOnOwnHash?: boolean,
+ *     hashDependencies?: Record<string, string>
+ *     excludeUserFuncs?: Set<string>
+ *     onCompileUserFunc?: (name: string, uplc: UplcProgramV2) => void
+ *   }): UplcProgramV2
  * }} Program
  */
 
@@ -77,6 +83,8 @@ export class CompilerLib_v0_17 {
             })
         }
 
+        const onCompileUserFunc = options.onCompileUserFunc
+
         /**
          * @type {UplcProgramV2}
          */
@@ -86,7 +94,23 @@ export class CompilerLib_v0_17 {
             hashDependencies: {
                 ...options.hashDependencies,
                 ...(options.ownHash ? { [program.name]: options.ownHash } : {})
-            }
+            },
+            ...(options.excludeUserFuncs
+                ? {
+                      excludeUserFuncs: options.excludeUserFuncs
+                  }
+                : {}),
+            ...(onCompileUserFunc
+                ? {
+                      onCompileUserFunc: (name, uplc) => {
+                          onCompileUserFunc(
+                              name,
+                              bytesToHex(uplc.toCbor()),
+                              "PlutusScriptV2"
+                          )
+                      }
+                  }
+                : {})
         })
 
         return {

package/src/context/ContractContext.js

@@ -4,9 +4,10 @@ import {
     MintingPolicyHash,
     ScriptHash
 } from "@helios-lang/ledger"
-import { Cast } from "../cast/index.js"
+import { Cast, UserFunc } from "../cast/index.js"
 
 /**
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("../codegen/index.js").LoadedModule} LoadedModule
  * @typedef {import("../codegen/index.js").LoadedValidator} LoadedValidator
  */
@@ -67,7 +68,7 @@ import { Cast } from "../cast/index.js"
  *           PermissiveType<V["$Redeemer"]>
  *         >
  *       >
- *     } & ContractTypesContext<V["$types"]> :
+ *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
  *     V extends {"$purpose": "minting", "$Redeemer": CastLike<any, any>} ? {
  *       $hash: MintingPolicyHash<
  *         MintingContext<
@@ -75,7 +76,7 @@ import { Cast } from "../cast/index.js"
  *           PermissiveType<V["$Redeemer"]>
  *         >
  *       >
- *     } & ContractTypesContext<V["$types"]> :
+ *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
  *     V extends {"$purpose": ("certifying" | "rewarding" | "staking"), "$Redeemer": CastLike<any, any>} ? {
  *       $hash: StakingValidatorHash<
  *         StakingContext<
@@ -83,23 +84,40 @@ import { Cast } from "../cast/index.js"
  *           PermissiveType<V["$Redeemer"]>
  *         >
  *       >
- *     } & ContractTypesContext<V["$types"]> :
+ *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
+ *     V extends {"$purpose": "mixed", "$Datum": CastLike<any, any>, "$Redeemer": CastLike<any, any>} ? {
+ *       $hash: ScriptHash<
+ *         SpendingContext<
+ *            StrictType<V["$Datum"]>,
+ *            PermissiveType<V["$Datum"]>,
+ *            StrictType<V["$Redeemer"]>,
+ *            PermissiveType<V["$Redeemer"]>
+ *          >
+ *       >
+ *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
  *     never
  * } ContractValidatorContexts
  */
 
 /**
  * @template {LoadedModule} V
- * @typedef {ContractTypesContext<V["$types"]>} ContractModuleContexts
+ * @typedef {ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>} ContractModuleContexts
  */
 
 /**
- * @template {{[typeName:string]: CastLike<any, any>}} T
+ * @template {{[typeName: string]: CastLike<any, any>}} T
  * @typedef {{
  *   [K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>
  * }} ContractTypesContext
  */
 
+/**
+ * @template {{[funcName: string]: (uplc: UplcProgram) => UserFunc<any>}} T
+ * @typedef {{
+ *   [K in keyof T]: UserFunc<T[K]>
+ * }} ContractUserFuncsContext
+ */
+
 /**
  * @template {{[name: string]: LoadedValidator}} Vs
  * @template {{[name: string]: LoadedModule}} Ms

package/src/context/ContractContextBuilder.js

@@ -1,6 +1,7 @@
+import { expectSome } from "@helios-lang/type-utils"
+import { configureCast } from "../cast/Cast.js"
 import { loadCompilerLib } from "../compiler/index.js"
 import { DagCompiler } from "./DagCompiler.js"
-import { configureCast } from "../cast/Cast.js"
 import { contractContextCache } from "./ContractContextCache.js"
 
 /**
@@ -118,7 +119,7 @@ export class ContractContextBuilder {
 
         const cached = contractContextCache.shift()
 
-        const hashes = cached
+        const compiled = cached
             ? cached
             : dagCompiler.build(
                   Object.values(this.validators),
@@ -127,11 +128,11 @@ export class ContractContextBuilder {
                   props.expectedHashes
               )
 
-        contractContextCache.push(hashes)
+        contractContextCache.push(compiled)
 
         if (props.dumpHashes) {
-            for (let name in hashes) {
-                console.log(`${name}: ${hashes[name].toHex()},`)
+            for (let name in compiled.validators) {
+                console.log(`${name}: ${compiled.validators[name].toHex()},`)
             }
         }
 
@@ -141,27 +142,55 @@ export class ContractContextBuilder {
         const res = {}
 
         for (let name in this.modules) {
-            res[name] = Object.fromEntries(
-                Object.entries(this.modules[name].$types).map(
-                    ([typeName, castLike]) => [
+            const mod = this.modules[name]
+
+            res[name] = {
+                ...Object.fromEntries(
+                    Object.entries(mod.$types).map(([typeName, castLike]) => [
                         typeName,
                         configureCast(castLike, castConfig)
-                    ]
+                    ])
+                ),
+                ...Object.fromEntries(
+                    Object.entries(mod.$functions).map(
+                        ([funcKey, userFunc]) => [
+                            funcKey,
+                            userFunc(
+                                expectSome(
+                                    compiled.userFuncs[`${name}::${funcKey}`]
+                                )
+                            )
+                        ]
+                    )
                 )
-            )
+            }
         }
 
         for (let name in this.validators) {
+            const validator = this.validators[name]
+
             res[name] = {
                 ...Object.fromEntries(
-                    Object.entries(this.validators[name].$types).map(
+                    Object.entries(validator.$types).map(
                         ([typeName, castLike]) => [
                             typeName,
                             configureCast(castLike, castConfig)
                         ]
                     )
                 ),
-                $hash: hashes[name]
+                ...Object.fromEntries(
+                    Object.entries(validator.$functions).map(
+                        ([funcKey, userFunc]) => [
+                            funcKey,
+                            userFunc(
+                                expectSome(
+                                    compiled.userFuncs[`${name}::${funcKey}`]
+                                )
+                            )
+                        ]
+                    )
+                ),
+                $hash: compiled.validators[name]
             }
         }
 

package/src/context/ContractContextCache.js

@@ -12,26 +12,45 @@ import { UplcProgramV2 } from "@helios-lang/uplc"
 
 /**
  * @typedef {import("@helios-lang/uplc").PlutusVersion} PlutusVersion
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("../cast/index.js").CastConfig} CastConfig
  * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
  * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
  */
 
 /**
- * @typedef {{[name: string]: AnyContractValidatorContext}} CacheEntry
+ * @typedef {{
+ *   validators: {[name: string]: AnyContractValidatorContext}
+ *   userFuncs: {[name: string]: UplcProgram}
+ * }} CacheEntry
+ */
+
+/**
+ * @typedef {{[name: string]: {
+ *     purpose: "minting" | "spending" | "staking" | "mixed"
+ *     bytes: number[]
+ *     unoptimizedCborHex?: string
+ *     optimizedCborHex: string
+ *     plutusVersion: PlutusVersion
+ *     castConfig: CastConfig
+ *     datum?: TypeSchema
+ *     redeemer: TypeSchema
+ *   }}} CacheEntryValidatorsJson
  */
 
 /**
  * @typedef {{[name: string]: {
- *   purpose: "minting" | "spending" | "staking" | "mixed"
- *   bytes: number[]
  *   unoptimizedCborHex?: string
  *   optimizedCborHex: string
  *   plutusVersion: PlutusVersion
- *   castConfig: CastConfig
- *   datum?: TypeSchema
- *   redeemer: TypeSchema
- * }}} CacheEntryJson
+ * }}} CacheEntryUserFuncsJson
+ */
+
+/**
+ * @typedef {{
+ *   validators: CacheEntryValidatorsJson
+ *   userFuncs: CacheEntryUserFuncsJson
+ * }} CacheEntryJson
  */
 
 class ContractContextCache {
@@ -69,10 +88,13 @@ class ContractContextCache {
             /**
              * @type {CacheEntry}
              */
-            const res = {}
+            const res = {
+                validators: {},
+                userFuncs: {}
+            }
 
-            for (let name in entry) {
-                const props = entry[name]
+            for (let name in entry.validators) {
+                const props = entry.validators[name]
 
                 let program =
                     props.plutusVersion == "PlutusScriptV1"
@@ -97,7 +119,7 @@ class ContractContextCache {
 
                 switch (props.purpose) {
                     case "spending": {
-                        res[name] = new ValidatorHash(props.bytes, {
+                        res.validators[name] = new ValidatorHash(props.bytes, {
                             datum: new Cast(
                                 expectSome(props.datum),
                                 props.castConfig
@@ -108,24 +130,65 @@ class ContractContextCache {
                         break
                     }
                     case "minting": {
-                        res[name] = new MintingPolicyHash(props.bytes, {
-                            redeemer: redeemer,
-                            program: program
-                        })
+                        res.validators[name] = new MintingPolicyHash(
+                            props.bytes,
+                            {
+                                redeemer: redeemer,
+                                program: program
+                            }
+                        )
                         break
                     }
                     case "staking": {
-                        res[name] = new StakingValidatorHash(props.bytes, {
+                        res.validators[name] = new StakingValidatorHash(
+                            props.bytes,
+                            {
+                                redeemer: redeemer,
+                                program: program
+                            }
+                        )
+                        break
+                    }
+                    case "mixed": {
+                        res.validators[name] = new ScriptHash(props.bytes, {
+                            datum: new Cast(
+                                expectSome(props.datum),
+                                props.castConfig
+                            ),
                             redeemer: redeemer,
                             program: program
                         })
-                        break
                     }
                     default:
                         throw new Error("unhandled purpose")
                 }
             }
 
+            for (let name in entry.userFuncs) {
+                const props = entry.userFuncs[name]
+
+                let program =
+                    props.plutusVersion == "PlutusScriptV1"
+                        ? UplcProgramV1.fromCbor(props.optimizedCborHex)
+                        : UplcProgramV2.fromCbor(props.optimizedCborHex)
+
+                if (props.unoptimizedCborHex) {
+                    if (program instanceof UplcProgramV1) {
+                        program = program.withAlt(
+                            UplcProgramV1.fromCbor(props.unoptimizedCborHex)
+                        )
+                    } else if (program instanceof UplcProgramV2) {
+                        program = program.withAlt(
+                            UplcProgramV2.fromCbor(props.unoptimizedCborHex)
+                        )
+                    } else {
+                        throw new Error("unhandled Plutus version")
+                    }
+                }
+
+                res.userFuncs[name] = program
+            }
+
             return res
         })
     }
@@ -160,12 +223,17 @@ class ContractContextCache {
     toJson() {
         return this.cache.map((entry) => {
             /**
-             * @type {CacheEntryJson}
+             * @type {CacheEntryValidatorsJson}
              */
-            const res = {}
+            const resValidators = {}
 
-            for (let name in entry) {
-                const hash = entry[name]
+            /**
+             * @type {CacheEntryUserFuncsJson}
+             */
+            const resUserFuncs = {}
+
+            for (let name in entry.validators) {
+                const hash = entry.validators[name]
 
                 const purpose =
                     hash instanceof ValidatorHash
@@ -206,7 +274,7 @@ class ContractContextCache {
                     }
                 }
 
-                res[name] = {
+                resValidators[name] = {
                     purpose: purpose,
                     bytes: hash.bytes,
                     optimizedCborHex: bytesToHex(hash.context.program.toCbor()),
@@ -220,7 +288,27 @@ class ContractContextCache {
                 }
             }
 
-            return res
+            for (let name in entry.userFuncs) {
+                const userFunc = entry.userFuncs[name]
+
+                resUserFuncs[name] = {
+                    optimizedCborHex: bytesToHex(userFunc.toCbor()),
+                    unoptimizedCborHex: /** @type {UplcProgramV2} */ (userFunc)
+                        .alt
+                        ? bytesToHex(
+                              /** @type {UplcProgramV2} */ (
+                                  userFunc
+                              ).alt.toCbor()
+                          )
+                        : undefined,
+                    plutusVersion: userFunc.plutusVersion
+                }
+            }
+
+            return {
+                validators: resValidators,
+                userFuncs: resUserFuncs
+            }
         })
     }
 }

package/src/context/DagCompiler.js

@@ -4,17 +4,25 @@ import {
     StakingValidatorHash,
     ValidatorHash
 } from "@helios-lang/ledger"
-import { None } from "@helios-lang/type-utils"
-import { UplcProgramV2 } from "@helios-lang/uplc"
+import { None, expectSome } from "@helios-lang/type-utils"
+import { UplcProgramV1, UplcProgramV2 } from "@helios-lang/uplc"
 import { configureCast } from "../cast/index.js"
 
 /**
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("../cast/index.js").CastConfig} CastConfig
  * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
  * @typedef {import("../compiler/index.js").CompilerLib} CompilerLib
  * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
  */
 
+/**
+ * @typedef {{
+ *   validators: {[name: string]: AnyContractValidatorContext}
+ *   userFuncs: {[name: string]: UplcProgram}
+ * }} DagCompilerOutput
+ */
+
 /**
  * Compiles a set of validators that depend on eachothers hashes (forming a Directed Acyclical Graph)
  */
@@ -38,7 +46,14 @@ export class DagCompiler {
      * @readonly
      * @type {{[name: string]: AnyContractValidatorContext}}
      */
-    cache
+    cachedValidators
+
+    /**
+     * @private
+     * @readonly
+     * @type {{[name: string]: UplcProgram}}
+     */
+    cachedUserFuncs
 
     /**
      * @param {CompilerLib} lib
@@ -47,7 +62,8 @@ export class DagCompiler {
     constructor(lib, castConfig) {
         this.lib = lib
         this.castConfig = castConfig
-        this.cache = {}
+        this.cachedValidators = {}
+        this.cachedUserFuncs = {}
     }
 
     /**
@@ -55,7 +71,7 @@ export class DagCompiler {
      * @param {Record<string, any>} parameters
      * @param {boolean} isTestnet
      * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {{[name: string]: AnyContractValidatorContext}}
+     * @returns {DagCompilerOutput}
      */
     build(validators, parameters, isTestnet, expectedHashes = None) {
         const hashTypes = this.getHashTypes(validators)
@@ -70,7 +86,7 @@ export class DagCompiler {
             const sourceCode = validator.$sourceCode
 
             // if already built before, return immediately
-            if (name in this.cache) {
+            if (name in this.cachedValidators) {
                 return
             }
 
@@ -81,17 +97,26 @@ export class DagCompiler {
             const hashDeps = this.getHashDependencies(validator)
             const moduleDeps = getModuleDependencies(validator)
 
+            const excludeUserFuncs = new Set(Object.keys(this.cachedUserFuncs))
+
             // optimized compilation
             const { cborHex: optimizedCborHex } = this.lib.compile(
                 sourceCode,
                 moduleDeps,
                 {
-                    optimize: false,
+                    optimize: true,
                     hashDependencies: hashDeps,
                     allValidatorHashTypes: hashTypes,
                     dependsOnOwnHash: validator.$dependsOnOwnHash,
                     parameters: parameters,
-                    isTestnet: isTestnet
+                    isTestnet: isTestnet,
+                    excludeUserFuncs: excludeUserFuncs,
+                    onCompileUserFunc: (name, cborHex, plutusVersion) => {
+                        this.cachedUserFuncs[name] =
+                            plutusVersion == "PlutusScriptV1"
+                                ? UplcProgramV1.fromCbor(cborHex)
+                                : UplcProgramV2.fromCbor(cborHex)
+                    }
                 }
             )
 
@@ -114,20 +139,49 @@ export class DagCompiler {
                 validator.$sourceCode,
                 Array.from(moduleDeps.values()),
                 {
-                    optimize: true,
+                    optimize: false,
                     hashDependencies: hashDeps,
                     allValidatorHashTypes: hashTypes,
                     ownHash: validator.$dependsOnOwnHash ? ownHash : undefined,
                     parameters: parameters,
-                    isTestnet: isTestnet
+                    isTestnet: isTestnet,
+                    excludeUserFuncs: excludeUserFuncs,
+                    onCompileUserFunc: (name, cborHex, plutusVersion) => {
+                        const prev = expectSome(this.cachedUserFuncs[name])
+
+                        if (plutusVersion == "PlutusScriptV1") {
+                            if (prev instanceof UplcProgramV1) {
+                                this.cachedUserFuncs[name] =
+                                    UplcProgramV1.fromCbor(cborHex).withAlt(
+                                        prev
+                                    )
+                            } else {
+                                throw new Error("previous not UplcProgramV1")
+                            }
+                        } else if (plutusVersion == "PlutusScriptV2") {
+                            if (prev instanceof UplcProgramV2) {
+                                this.cachedUserFuncs[name] =
+                                    UplcProgramV2.fromCbor(cborHex).withAlt(
+                                        prev
+                                    )
+                            } else {
+                                throw new Error("previous not UplcProgramV2")
+                            }
+                        } else {
+                            throw new Error(
+                                `unhandled PlutusVersion ${plutusVersion}`
+                            )
+                        }
+                    }
                 }
             )
 
+            // TODO: with source mapping
             const unoptimizedProgram =
                 UplcProgramV2.fromCbor(unoptimizedCborHex)
 
             // add result to cache (unoptimizedProgram is attached to optimizedProgram)
-            this.addToCache(
+            this.addValidatorToCache(
                 validator,
                 optimizedProgram.withAlt(unoptimizedProgram),
                 ownHash
@@ -136,7 +190,10 @@ export class DagCompiler {
 
         validators.forEach((v) => buildValidator(v))
 
-        return this.cache
+        return {
+            validators: this.cachedValidators,
+            userFuncs: this.cachedUserFuncs
+        }
     }
 
     /**
@@ -145,20 +202,20 @@ export class DagCompiler {
      * @param {UplcProgramV2} program
      * @param {string} hash - although this can be derived from `program`, reuse this to save some effort
      */
-    addToCache(validator, program, hash) {
+    addValidatorToCache(validator, program, hash) {
         const name = validator.$name
         const redeemer = configureCast(validator.$Redeemer, this.castConfig)
 
         switch (validator.$purpose) {
             case "spending":
-                this.cache[name] = new ValidatorHash(hash, {
+                this.cachedValidators[name] = new ValidatorHash(hash, {
                     program,
                     redeemer,
                     datum: configureCast(validator.$Datum, this.castConfig)
                 })
                 break
             case "minting":
-                this.cache[name] = new MintingPolicyHash(hash, {
+                this.cachedValidators[name] = new MintingPolicyHash(hash, {
                     program,
                     redeemer
                 })
@@ -166,7 +223,7 @@ export class DagCompiler {
             case "certifying":
             case "rewarding":
             case "staking":
-                this.cache[name] = new StakingValidatorHash(hash, {
+                this.cachedValidators[name] = new StakingValidatorHash(hash, {
                     program,
                     redeemer
                 })
@@ -189,7 +246,7 @@ export class DagCompiler {
 
         validator.$hashDependencies.forEach((dep) => {
             const k = dep.$name
-            const v = this.cache[k]
+            const v = this.cachedValidators[k]
 
             if (!v) {
                 throw new Error(

package/types/cast/UserFunc.d.ts

@@ -1,7 +1,3 @@
-/**
- * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- */
 /**
  * @typedef {{
  *   requiresScriptContext: boolean
@@ -18,17 +14,30 @@
  */
 export class UserFunc<T> {
     /**
+     * @param {UplcProgram} uplc
      * @param {UserFuncProps} props
      */
-    constructor(props: UserFuncProps);
+    constructor(uplc: UplcProgram, props: UserFuncProps);
     /**
+     * @private
+     * @readonly
+     * @type {UplcProgram}
+     */
+    private readonly uplc;
+    /**
+     * @private
      * @readonly
      * @type {UserFuncProps}
      */
-    readonly props: UserFuncProps;
+    private readonly props;
+    /**
+     * @type {T}
+     */
+    get evalUnsafe(): T;
 }
 export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;
 export type UplcData = import("@helios-lang/uplc").UplcData;
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type UserFuncProps = {
     requiresScriptContext: boolean;
     requiresCurrentScript: boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAEA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AACH;IAOI;;OAEG;IACH,mBAFW,aAAa,EAIvB;IAXD;;;OAGG;IACH,gBAFU,aAAa,CAElB;CAQR;yBAhCY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;4BAIpC;IACZ,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;KACjB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;CACpB"}
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AASA;;;;;;;;;;GAUG;AAEH;;GAEG;AACH;IAeI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IArBD;;;;OAIG;IACH,sBAAI;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,oBA4CC;CACJ;yBA/FY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;4BAOvC;IACZ,qBAAyB,EAAE,OAAO,CAAA;IAClC,qBAAyB,EAAE,OAAO,CAAA;IAClC,SAAa,EAAE;QACf,MAAY,MAAM,CAAA;QAClB,IAAU,EAAE,UAAU,CAAA;KACjB,EAAE,CAAA;IACP,OAAW,EAAE,UAAU,CAAA;CACpB"}

package/types/codegen/LoadedModule.d.ts

@@ -1,3 +1,4 @@
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
 export type LoadedModule = {
     $name: string;
@@ -7,5 +8,9 @@ export type LoadedModule = {
     $types: {
         [name: string]: CastLike<any, any>;
     };
+    $functions: {
+        [name: string]: (uplc: UplcProgram) => UserFunc<any>;
+    };
 };
+import { UserFunc } from "../cast/UserFunc.js";
 //# sourceMappingURL=LoadedModule.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"6CAKa,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;;WAKzD,MAAM;cACH,QAAQ;iBACL,MAAM;mBACJ,cAAc,YAAY,CAAC"}
+{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"0BAGa,OAAO,mBAAmB,EAAE,WAAW;6CAMvC,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;;WAKzD,MAAM;cACH,QAAQ;iBACL,MAAM;mBACJ,cAAc,YAAY,CAAC;;;;;+BAEN,WAAW,KAAK,SAAS,GAAG,CAAC;;;yBAnB7C,qBAAqB"}

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;;;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,CAkC/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,qBA6BC;IAED;;OAEG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,OAAO,MAAM,EAAE,mBAAmB,CAAC,QAuB7C;IAED;;;OAGG;IACH,oBA4BC;IAED;;;OAGG;IACH,uBAmDC;CACJ;gCAtVY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BAPpB,0BAA0B"}
+{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;;;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,CAkC/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,qBA6BC;IAED;;OAEG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,OAAO,MAAM,EAAE,mBAAmB,CAAC,QAyB7C;IAED;;;OAGG;IACH,oBA6BC;IAED;;;OAGG;IACH,uBAiDC;CACJ;gCAvVY,OAAO,wBAAwB,EAAE,iBAAiB;kCAClD,OAAO,wBAAwB,EAAE,mBAAmB;mCACpD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BAPpB,0BAA0B"}

package/types/codegen/LoadedValidator.d.ts

@@ -1,4 +1,5 @@
 export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type LoadedModule = import("./LoadedModule.js").LoadedModule;
 export type LoadedValidator = {
     $name: string;
@@ -9,6 +10,9 @@ export type LoadedValidator = {
     $types: {
         [name: string]: CastLike<any, any>;
     };
+    $functions: {
+        [name: string]: (uplc: UplcProgram) => UserFunc<any>;
+    };
     $Redeemer: CastLike<any, any>;
 } & ({
     $purpose: "spending" | "mixed";
@@ -27,4 +31,5 @@ export type NamedDependenciesToObject<N extends readonly {
     $name: name;
 }>; };
 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;2BAIxD,OAAO,mBAAmB,EAAE,YAAY;;WAKzC,MAAM;iBACA,MAAM;mBACJ,cAAc,YAAY,CAAC;uBACvB,cAAc,eAAe,CAAC;uBAC9B,OAAO;;;;eAEf,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"}
+{"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;2BACvC,OAAO,mBAAmB,EAAE,YAAY;;WAKzC,MAAM;iBACA,MAAM;mBACJ,cAAc,YAAY,CAAC;uBACvB,cAAc,eAAe,CAAC;uBAC9B,OAAO;;;;;+BAEU,WAAW,KAAK,SAAS,GAAG,CAAC;;eACtD,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;yBA/CjC,qBAAqB"}

package/types/compiler/CompilerLib.d.ts

@@ -1,4 +1,5 @@
 /**
+ * @typedef {import("@helios-lang/uplc").PlutusVersion} PlutusVersion
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
  * @typedef {import("../codegen/index.js").TypeCheckedModule} TypeCheckedModule
@@ -16,6 +17,8 @@
  *   parameters?: Record<string, UplcData>
  *   isTestnet: boolean
  *   optimize: boolean
+ *   excludeUserFuncs?: Set<string>
+ *   onCompileUserFunc?: (name: string, cborHex: string, plutusVersion: PlutusVersion) => void
  * }} CompileOptions
  */
 /**
@@ -58,6 +61,7 @@
 export function getValidatorTypes(lib: CompilerLib, validators: string[]): {
     [name: string]: any;
 };
+export type PlutusVersion = import("@helios-lang/uplc").PlutusVersion;
 export type UplcData = import("@helios-lang/uplc").UplcData;
 export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
 export type TypeCheckedModule = import("../codegen/index.js").TypeCheckedModule;
@@ -75,6 +79,8 @@ export type CompileOptions = {
     parameters?: Record<string, import("@helios-lang/uplc").UplcData> | undefined;
     isTestnet: boolean;
     optimize: boolean;
+    excludeUserFuncs?: Set<string> | undefined;
+    onCompileUserFunc?: ((name: string, cborHex: string, plutusVersion: PlutusVersion) => void) | undefined;
 };
 export type CompileOutput = {
     cborHex: 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;;;;;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"}
+{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH;;GAEG;AAEH;;;;;;;;;;;;GAYG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AAEH;;;;GAIG;AACH,uCAJW,WAAW,cACX,MAAM,EAAE;;EAUlB;4BA1EY,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;;;;;;;;;;;eAUA,OAAO;cACR,OAAO;;gCAEU,MAAM,WAAW,MAAM,iBAAiB,aAAa,KAAK,IAAI;;4BAKjF;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_17.d.ts

@@ -10,7 +10,13 @@
  * @typedef {{
  *   name: string
  *   changeParam(key: string, value: UplcData): void
- *   compile(options: {optimize?: boolean, dependsOnOwnHash?: boolean, hashDependencies?: Record<string, string>}): UplcProgramV2
+ *   compile(options: {
+ *     optimize?: boolean,
+ *     dependsOnOwnHash?: boolean,
+ *     hashDependencies?: Record<string, string>
+ *     excludeUserFuncs?: Set<string>
+ *     onCompileUserFunc?: (name: string, uplc: UplcProgramV2) => void
+ *   }): UplcProgramV2
  * }} Program
  */
 /**
@@ -59,9 +65,11 @@ export type Program = {
     name: string;
     changeParam(key: string, value: UplcData): void;
     compile(options: {
-        optimize?: boolean;
-        dependsOnOwnHash?: boolean;
-        hashDependencies?: Record<string, string>;
+        optimize?: boolean | undefined;
+        dependsOnOwnHash?: boolean | undefined;
+        hashDependencies?: Record<string, string> | undefined;
+        excludeUserFuncs?: Set<string> | undefined;
+        onCompileUserFunc?: ((name: string, uplc: UplcProgramV2) => void) | undefined;
     }): 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":"AAGA;;;;;;;GAOG;AAEH;;;;;;GAMG;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,CAoCzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBAtGY,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,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;qBACK,MAAM,SAAS,QAAQ,GAAG,IAAI;qBAC9B;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,OAAO,MAAM,EAAE,MAAM,CAAC,CAAA;KAAC,GAAG,aAAa;;8BAfnG,mBAAmB"}
+{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AAEH;;;;;;;;;;;;GAYG;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,CAsDzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBA9HY,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,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;qBACK,MAAM,SAAS,QAAQ,GAAG,IAAI;;;;;;oCAMlB,MAAM,QAAQ,aAAa,KAAK,IAAI;QAC7D,aAAa;;8BArBQ,mBAAmB"}

package/types/context/ContractContext.d.ts

@@ -1,3 +1,4 @@
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type LoadedModule = import("../codegen/index.js").LoadedModule;
 export type LoadedValidator = import("../codegen/index.js").LoadedValidator;
 export type MintingContext<TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>;
@@ -13,29 +14,39 @@ export type ContractValidatorContexts<V extends import("../codegen/LoadedValidat
     "$Redeemer": CastLike<any, any>;
 } ? {
     $hash: ValidatorHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
-} & ContractTypesContext<V["$types"]> : V extends {
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
     "$purpose": "minting";
     "$Redeemer": CastLike<any, any>;
 } ? {
     $hash: MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
-} & ContractTypesContext<V["$types"]> : V extends {
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
     "$purpose": ("certifying" | "rewarding" | "staking");
     "$Redeemer": CastLike<any, any>;
 } ? {
     $hash: StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
-} & ContractTypesContext<V["$types"]> : never;
-export type ContractModuleContexts<V extends import("../codegen/LoadedModule.js").LoadedModule> = ContractTypesContext<V["$types"]>;
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
+    "$purpose": "mixed";
+    "$Datum": CastLike<any, any>;
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $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 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]>>; };
+export type ContractUserFuncsContext<T extends {
+    [funcName: string]: (uplc: UplcProgram) => UserFunc<any>;
+}> = { [K in keyof T]: UserFunc<T[K]>; };
 export type ContractContext<Vs extends {
     [name: string]: import("../codegen/LoadedValidator.js").LoadedValidator;
 }, Ms extends {
     [name: string]: import("../codegen/LoadedModule.js").LoadedModule;
-}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K_1 in keyof Ms]: ContractTypesContext<Ms[K_1]["$types"]>; };
+}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K_1 in keyof Ms]: ContractModuleContexts<Ms[K_1]>; };
 import { ValidatorHash } from "@helios-lang/ledger";
 import { MintingPolicyHash } from "@helios-lang/ledger";
 import { StakingValidatorHash } from "@helios-lang/ledger";
 import { ScriptHash } from "@helios-lang/ledger";
 import { Cast } from "../cast/index.js";
+import { UserFunc } from "../cast/index.js";
 //# sourceMappingURL=ContractContext.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"2BASa,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,GAC3C,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,GAC3C,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,GAC3C,KAAW;kGAMC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC;;;;;;;;;8BAvFvC,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;2BAArB,qBAAqB;qBACP,kBAAkB"}
+{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"0BASa,OAAO,mBAAmB,EAAE,WAAW;2BACvC,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,KAAK,SAAS,GAAG,CAAC;;;;;;;8BA7GhE,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;2BAArB,qBAAqB;qBACG,kBAAkB;yBAAlB,kBAAkB"}

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAKA;;;;;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,CA0DnC;CACJ;yBAnKY,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;;;;;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,CAsFnC;CACJ;yBA/LY,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"}

package/types/context/ContractContextCache.d.ts

@@ -1,12 +1,18 @@
 export const contractContextCache: ContractContextCache;
 export type PlutusVersion = import("@helios-lang/uplc").PlutusVersion;
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type CastConfig = import("../cast/index.js").CastConfig;
 export type TypeSchema = import("../codegen/index.js").TypeSchema;
 export type AnyContractValidatorContext = import("./ContractContext.js").AnyContractValidatorContext;
 export type CacheEntry = {
-    [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
+    validators: {
+        [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
+    };
+    userFuncs: {
+        [name: string]: import("@helios-lang/uplc").UplcProgram;
+    };
 };
-export type CacheEntryJson = {
+export type CacheEntryValidatorsJson = {
     [name: string]: {
         purpose: "minting" | "spending" | "staking" | "mixed";
         bytes: number[];
@@ -18,26 +24,54 @@ export type CacheEntryJson = {
         redeemer: TypeSchema;
     };
 };
+export type CacheEntryUserFuncsJson = {
+    [name: string]: {
+        unoptimizedCborHex?: string | undefined;
+        optimizedCborHex: string;
+        plutusVersion: PlutusVersion;
+    };
+};
+export type CacheEntryJson = {
+    validators: CacheEntryValidatorsJson;
+    userFuncs: CacheEntryUserFuncsJson;
+};
 /**
  * @typedef {import("@helios-lang/uplc").PlutusVersion} PlutusVersion
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("../cast/index.js").CastConfig} CastConfig
  * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
  * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
  */
 /**
- * @typedef {{[name: string]: AnyContractValidatorContext}} CacheEntry
+ * @typedef {{
+ *   validators: {[name: string]: AnyContractValidatorContext}
+ *   userFuncs: {[name: string]: UplcProgram}
+ * }} CacheEntry
+ */
+/**
+ * @typedef {{[name: string]: {
+ *     purpose: "minting" | "spending" | "staking" | "mixed"
+ *     bytes: number[]
+ *     unoptimizedCborHex?: string
+ *     optimizedCborHex: string
+ *     plutusVersion: PlutusVersion
+ *     castConfig: CastConfig
+ *     datum?: TypeSchema
+ *     redeemer: TypeSchema
+ *   }}} CacheEntryValidatorsJson
  */
 /**
  * @typedef {{[name: string]: {
- *   purpose: "minting" | "spending" | "staking" | "mixed"
- *   bytes: number[]
  *   unoptimizedCborHex?: string
  *   optimizedCborHex: string
  *   plutusVersion: PlutusVersion
- *   castConfig: CastConfig
- *   datum?: TypeSchema
- *   redeemer: TypeSchema
- * }}} CacheEntryJson
+ * }}} CacheEntryUserFuncsJson
+ */
+/**
+ * @typedef {{
+ *   validators: CacheEntryValidatorsJson
+ *   userFuncs: CacheEntryUserFuncsJson
+ * }} CacheEntryJson
  */
 declare class ContractContextCache {
     /**

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AAmOA,wDAA8D;4BAtNjD,OAAO,mBAAmB,EAAE,aAAa;yBACzC,OAAO,kBAAkB,EAAE,UAAU;yBACrC,OAAO,qBAAqB,EAAE,UAAU;0CACxC,OAAO,sBAAsB,EAAE,2BAA2B;;;;;;iBASzD,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO;eAC9C,MAAM,EAAE;;0BAEG,MAAM;uBACT,aAAa;oBAChB,UAAU;;kBAEZ,UAAU;;;AApBzB;;;;;GAKG;AAEH;;GAEG;AAEH;;;;;;;;;;;GAWG;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,QAkE1B;IAED;;OAEG;IACH,aAFW,UAAU,QAMpB;IAED;;OAEG;IACH,SAFa,OAAO,UAAU,CAAC,CAY9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CAmE3B;CACJ"}
+{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AA2TA,wDAA8D;4BA9SjD,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,QA8G1B;IAED;;OAEG;IACH,aAFW,UAAU,QAMpB;IAED;;OAEG;IACH,SAFa,OAAO,UAAU,CAAC,CAY9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CA4F3B;CACJ"}

package/types/context/DagCompiler.d.ts

@@ -4,11 +4,18 @@
  */
 export function getModuleDependencies(validator: LoadedValidator): string[];
 /**
+ * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("../cast/index.js").CastConfig} CastConfig
  * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
  * @typedef {import("../compiler/index.js").CompilerLib} CompilerLib
  * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
  */
+/**
+ * @typedef {{
+ *   validators: {[name: string]: AnyContractValidatorContext}
+ *   userFuncs: {[name: string]: UplcProgram}
+ * }} DagCompilerOutput
+ */
 /**
  * Compiles a set of validators that depend on eachothers hashes (forming a Directed Acyclical Graph)
  */
@@ -35,27 +42,31 @@ export class DagCompiler {
      * @readonly
      * @type {{[name: string]: AnyContractValidatorContext}}
      */
-    private readonly cache;
+    private readonly cachedValidators;
+    /**
+     * @private
+     * @readonly
+     * @type {{[name: string]: UplcProgram}}
+     */
+    private readonly cachedUserFuncs;
     castConfig: import("../cast/Cast.js").CastConfig;
     /**
      * @param {LoadedValidator[]} validators
      * @param {Record<string, any>} parameters
      * @param {boolean} isTestnet
      * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {{[name: string]: AnyContractValidatorContext}}
+     * @returns {DagCompilerOutput}
      */
     build(validators: LoadedValidator[], parameters: Record<string, any>, isTestnet: boolean, expectedHashes?: Option<{
         [name: string]: string;
-    }>): {
-        [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
-    };
+    }>): DagCompilerOutput;
     /**
      * @private
      * @param {LoadedValidator} validator
      * @param {UplcProgramV2} program
      * @param {string} hash - although this can be derived from `program`, reuse this to save some effort
      */
-    private addToCache;
+    private addValidatorToCache;
     /**
      * @private
      * @param {LoadedValidator} validator
@@ -69,8 +80,17 @@ export class DagCompiler {
      */
     private getHashTypes;
 }
+export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
 export type CastConfig = import("../cast/index.js").CastConfig;
 export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
 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;
+    };
+    userFuncs: {
+        [name: string]: import("@helios-lang/uplc").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":"AA2NA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AAzOD;;;;;GAKG;AAEH;;GAEG;AACH;IAsBI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAMpB;IA7BD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,uBAAK;IAQD,iDAA4B;IAIhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;;;MAoFjB;IAED;;;;;OAKG;IACH,mBA6BC;IAED;;;;OAIG;IACH,4BAoBC;IAED;;;;OAIG;IACH,qBAMC;CACJ;yBA9MY,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":"AAoRA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AAlSD;;;;;;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,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;SAEL,iBAAiB,CA2H7B;IAED;;;;;OAKG;IACH,4BA6BC;IAED;;;;OAIG;IACH,4BAoBC;IAED;;;;OAIG;IACH,qBAMC;CACJ;0BAvQY,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"}