@helios-lang/contract-utils 0.2.31 → 0.2.32

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.2.31",
+    "version": "0.2.32",
     "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,15 +1,18 @@
 import { expectSome, isLeft } from "@helios-lang/type-utils"
 import { ConstrData, UplcDataValue, UplcProgramV2 } from "@helios-lang/uplc"
+import { Cast } from "./Cast.js"
 
 /**
  * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("@helios-lang/uplc").UplcValue} UplcValue
+ * @typedef {import("./Cast.js").CastConfig} CastConfig
  */
 
 /**
  * @typedef {{
+ *   name: string
  *   requiresScriptContext: boolean
  *   requiresCurrentScript: boolean
  *   arguments: {
@@ -19,11 +22,18 @@ import { ConstrData, UplcDataValue, UplcProgramV2 } from "@helios-lang/uplc"
  *   }[]
  *   returns: TypeSchema
  *   validatorIndices?: Record<string, number>
+ *   castConfig: CastConfig
  * }} UserFuncProps
  */
 
 /**
- * @template T
+ * @template ArgsT
+ * @typedef {{[K in keyof ArgsT]: K extends "$currentScript" ? string : UplcData}} UnsafeArgsT
+ */
+
+/**
+ * @template {{[argName: string]: any}} ArgsT
+ * @template RetT
  */
 export class UserFunc {
     /**
@@ -50,78 +60,104 @@ export class UserFunc {
     }
 
     /**
-     * @type {T}
+     * @param {ArgsT} namedArgs
+     * @returns {RetT}
      */
-    get evalUnsafe() {
-        return /** @type {any} */ (
-            (namedArgs) => {
-                /**
-                 * @type {UplcData[]}
-                 */
-                const args = this.props.arguments.map(
-                    ({ name, type, isOptional }) => {
-                        if (isOptional) {
-                            if (name in namedArgs) {
-                                return new ConstrData(0, [namedArgs[name]])
-                            } else {
-                                return new ConstrData(1, [])
-                            }
-                        } else {
-                            const rawArg = expectSome(namedArgs[name])
-
-                            // TODO: apply type conversion
-                            return rawArg
-                        }
-                    }
+    eval(namedArgs) {
+        /**
+         * @type {{[argName: string]: any}}
+         */
+        const unsafeNamedArgs = {}
+
+        Object.entries(namedArgs).forEach(([argName, argValue]) => {
+            const argDetails = this.props.arguments.find(
+                (a) => a.name == argName
+            )
+
+            if (argDetails) {
+                const typeSchema = argDetails.type
+
+                unsafeNamedArgs[argName] = new Cast(
+                    typeSchema,
+                    this.props.castConfig
+                ).toUplcData(argValue)
+            } else {
+                console.error(
+                    `invalid arg '${argName}' for user function ${this.props.name}`
                 )
+            }
+        })
 
-                if (this.props.requiresScriptContext) {
-                    args.push(expectSome(namedArgs["$scriptContext"]))
-                }
+        const result = this.evalUnsafe(
+            /** @type {UnsafeArgsT<ArgsT>} */ (unsafeNamedArgs)
+        )
+
+        return new Cast(this.props.returns, this.props.castConfig).fromUplcData(
+            result
+        )
+    }
 
-                if (this.props.requiresCurrentScript) {
-                    const currentScriptName = expectSome(
-                        namedArgs["$currentScript"]
-                    )
-
-                    const index = expectSome(
-                        expectSome(this.props.validatorIndices)[
-                            currentScriptName
-                        ]
-                    )
-                    args.push(new ConstrData(index, []))
+    /**
+     * @param {UnsafeArgsT<ArgsT>} namedArgs
+     * @returns {UplcData}
+     */
+    evalUnsafe(namedArgs) {
+        /**
+         * @type {UplcData[]}
+         */
+        const args = this.props.arguments.map(({ name, type, isOptional }) => {
+            if (isOptional) {
+                if (name in namedArgs && namedArgs[name]) {
+                    return new ConstrData(0, [namedArgs[name]])
+                } else {
+                    return new ConstrData(1, [])
                 }
+            } else {
+                const rawArg = expectSome(namedArgs[name])
+
+                // TODO: apply type conversion
+                return rawArg
+            }
+        })
 
-                const argValues = args.map((a) => new UplcDataValue(a))
+        if (this.props.requiresScriptContext) {
+            args.push(expectSome(namedArgs["$scriptContext"]))
+        }
 
-                const result = this.uplc.eval(argValues).result
+        if (this.props.requiresCurrentScript) {
+            const currentScriptName = expectSome(
+                /** @type {any} */ (namedArgs)["$currentScript"]
+            )
 
-                if (
-                    "alt" in this.uplc &&
-                    this.uplc.alt instanceof UplcProgramV2
-                ) {
-                    const resultUnoptim = this.uplc.alt.eval(argValues).result
-                    const resultUnoptimStr = evalResultToString(resultUnoptim)
-                    const resultStr = evalResultToString(result)
+            const index = expectSome(
+                expectSome(this.props.validatorIndices)[currentScriptName]
+            )
+            args.push(new ConstrData(index, []))
+        }
 
-                    if (resultStr != resultUnoptimStr) {
-                        throw new Error(
-                            `Critical error: contact Helios maintainers, expected ${resultUnoptimStr}, got ${resultStr}`
-                        )
-                    }
-                }
+        const argValues = args.map((a) => new UplcDataValue(a))
 
-                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`
-                    )
-                }
+        const result = this.uplc.eval(argValues).result
+
+        if ("alt" in this.uplc && this.uplc.alt instanceof UplcProgramV2) {
+            const resultUnoptim = this.uplc.alt.eval(argValues).result
+            const resultUnoptimStr = evalResultToString(resultUnoptim)
+            const resultStr = evalResultToString(result)
+
+            if (resultStr != resultUnoptimStr) {
+                throw new Error(
+                    `Critical error: contact Helios maintainers, expected ${resultUnoptimStr}, got ${resultStr}`
+                )
             }
-        )
+        }
+
+        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

@@ -2,6 +2,7 @@ import { UserFunc } from "../cast/UserFunc.js"
 
 /**
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
  */
 
 /**
@@ -17,6 +18,6 @@ import { UserFunc } from "../cast/UserFunc.js"
  *   $sourceCode: string
  *   $dependencies: ReadonlyArray<LoadedModule>
  *   $types: {[name: string]: CastLike<any, any>}
- *   $functions: {[name: string]: (uplc: UplcProgram) => UserFunc<any>}
+ *   $functions: {[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}
  * }} LoadedModule
  */

package/src/codegen/LoadedScriptsWriter.js

@@ -201,6 +201,7 @@ export class LoadedScriptsWriter {
         )
         this.writeImportType("@helios-lang/ledger", "TimeLike")
         this.writeImportType("@helios-lang/ledger", "UplcData")
+        this.writeImportType("@helios-lang/uplc", "UplcProgram")
     }
 
     /**
@@ -241,21 +242,18 @@ export class LoadedScriptsWriter {
 
         for (let key in functions) {
             const fn = functions[key]
-            const t = genFuncType(fn)
+            const [argsType, retType] = genFuncType(fn)
 
-            let propsStr = JSON.stringify(fn)
-            if (fn.requiresCurrentScript) {
-                propsStr = `{...(${propsStr}), validatorIndices: __validatorIndices}`
-            }
+            const propsStr = `{...(${JSON.stringify(fn)}), castConfig: config, validatorIndices: __validatorIndices}`
 
             this.definition.write(
-                `        "${key}": (uplc) => /** @type {UserFunc<${t}>} */ (new UserFunc(uplc, ${propsStr})),\n`
+                `        "${key}": (uplc, config) => /** @type {UserFunc<${argsType}, ${retType}>} */ (new UserFunc(uplc, ${propsStr})),\n`
             )
             this.declaration.write(
-                `        "${key}": (uplc) => UserFunc<${t}>,\n`
+                `        "${key}": (uplc: UplcProgram, config: CastConfig) => UserFunc<${argsType}, ${retType}>,\n`
             )
             this.combined.write(
-                `        "${key}": (uplc) => new UserFunc<${t}>(uplc, ${propsStr}),\n`
+                `        "${key}": (uplc: UplcProgram, config: CastConfig) => new UserFunc<${argsType}, ${retType}>(uplc, ${propsStr}),\n`
             )
         }
 
@@ -387,7 +385,7 @@ ${datumTypes ? `    $Datum: (config: CastConfig) => new Cast<${datumTypes[0]}, $
 
 /**
  * @param {TypeCheckedUserFunc} fn
- * @returns {string}
+ * @returns {[string, string]}
  */
 function genFuncType(fn) {
     /**
@@ -403,9 +401,12 @@ function genFuncType(fn) {
         fields.push("$currentScript: string")
     }
 
-    fn.arguments.forEach(({ name, type: _type, isOptional }, i) => {
-        fields.push(`${name}${isOptional ? "?" : ""}: UplcData`)
+    fn.arguments.forEach(({ name, type, isOptional }, i) => {
+        fields.push(`${name}${isOptional ? "?" : ""}: ${genTypes(type)[1]}`)
     })
 
-    return `(args: {${fields.join(", ")}}) => UplcData`
+    const argsTypeStr = `{${fields.join(", ")}}`
+    const retTypeStr = genTypes(fn.returns)[0]
+
+    return [argsTypeStr, retTypeStr]
 }

package/src/codegen/LoadedValidator.js

@@ -8,6 +8,7 @@ import { UserFunc } from "../cast/UserFunc.js"
 
 /**
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
  * @typedef {import("./LoadedModule.js").LoadedModule} LoadedModule
  */
 
@@ -21,7 +22,7 @@ import { UserFunc } from "../cast/UserFunc.js"
  *   $currentScriptIndex?: number
  *   $dependsOnOwnHash: boolean
  *   $types: {[name: string]: CastLike<any, any>}
- *   $functions: {[name: string]: (uplc: UplcProgram) => UserFunc<any>}
+ *   $functions: {[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}
  *   $Redeemer: CastLike<any, any>
  * } & (
  *   {

package/src/codegen/TypeSchema.js

@@ -5,7 +5,7 @@
 /**
  * TODO: handle recursive data structures
  * @param {TypeSchema} schema
- * @returns {[string, string]} - the first entry is the canonical type, the second is the permissive type
+ * @returns {[string, string]} - the first entry is the strict canonical type, the second is the permissive type
  */
 export function genTypes(schema) {
     const kind = schema.kind

package/src/context/ContractContext.js

@@ -8,6 +8,7 @@ import { Cast, UserFunc } from "../cast/index.js"
 
 /**
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
+ * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
  * @typedef {import("../codegen/index.js").LoadedModule} LoadedModule
  * @typedef {import("../codegen/index.js").LoadedValidator} LoadedValidator
  */
@@ -112,7 +113,7 @@ import { Cast, UserFunc } from "../cast/index.js"
  */
 
 /**
- * @template {{[funcName: string]: (uplc: UplcProgram) => UserFunc<any>}} T
+ * @template {{[funcName: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}} T
  * @typedef {{
  *   [K in keyof T]: ReturnType<T[K]>
  * }} ContractUserFuncsContext

package/src/context/ContractContextBuilder.js

@@ -128,6 +128,7 @@ export class ContractContextBuilder {
                   props.expectedHashes
               )
 
+        // TODO: adapt to use generic cache interface
         contractContextCache.push(compiled)
 
         if (props.dumpHashes) {
@@ -158,7 +159,8 @@ export class ContractContextBuilder {
                             userFunc(
                                 expectSome(
                                     compiled.userFuncs[`${name}::${funcKey}`]
-                                )
+                                ),
+                                castConfig
                             )
                         ]
                     )
@@ -185,7 +187,8 @@ export class ContractContextBuilder {
                             userFunc(
                                 expectSome(
                                     compiled.userFuncs[`${name}::${funcKey}`]
-                                )
+                                ),
+                                castConfig
                             )
                         ]
                     )

package/types/cast/UserFunc.d.ts

@@ -3,9 +3,11 @@
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
  * @typedef {import("@helios-lang/uplc").UplcValue} UplcValue
+ * @typedef {import("./Cast.js").CastConfig} CastConfig
  */
 /**
  * @typedef {{
+ *   name: string
  *   requiresScriptContext: boolean
  *   requiresCurrentScript: boolean
  *   arguments: {
@@ -15,12 +17,20 @@
  *   }[]
  *   returns: TypeSchema
  *   validatorIndices?: Record<string, number>
+ *   castConfig: CastConfig
  * }} UserFuncProps
  */
 /**
- * @template T
+ * @template ArgsT
+ * @typedef {{[K in keyof ArgsT]: K extends "$currentScript" ? string : UplcData}} UnsafeArgsT
  */
-export class UserFunc<T> {
+/**
+ * @template {{[argName: string]: any}} ArgsT
+ * @template RetT
+ */
+export class UserFunc<ArgsT extends {
+    [argName: string]: any;
+}, RetT> {
     /**
      * @param {UplcProgram} uplc
      * @param {UserFuncProps} props
@@ -39,15 +49,23 @@ export class UserFunc<T> {
      */
     private readonly props;
     /**
-     * @type {T}
+     * @param {ArgsT} namedArgs
+     * @returns {RetT}
+     */
+    eval(namedArgs: ArgsT): RetT;
+    /**
+     * @param {UnsafeArgsT<ArgsT>} namedArgs
+     * @returns {UplcData}
      */
-    get evalUnsafe(): T;
+    evalUnsafe(namedArgs: UnsafeArgsT<ArgsT>): UplcData;
 }
 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 UplcValue = import("@helios-lang/uplc").UplcValue;
+export type CastConfig = import("./Cast.js").CastConfig;
 export type UserFuncProps = {
+    name: string;
     requiresScriptContext: boolean;
     requiresCurrentScript: boolean;
     arguments: {
@@ -57,5 +75,7 @@ export type UserFuncProps = {
     }[];
     returns: TypeSchema;
     validatorIndices?: Record<string, number>;
+    castConfig: CastConfig;
 };
+export type UnsafeArgsT<ArgsT> = { [K in keyof ArgsT]: K extends "$currentScript" ? string : import("@helios-lang/uplc").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":"AAGA;;;;;GAKG;AAEH;;;;;;;;;;;;GAYG;AAEH;;GAEG;AACH;IAeI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IArBD;;;;OAIG;IACH,sBAAI;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;OAEG;IACH,oBAsEC;CACJ;yBAzHY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;wBACvC,OAAO,mBAAmB,EAAE,SAAS;4BAIrC;IACZ,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;CAC1C"}
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;;GAGG;AAEH;;;GAGG;AACH;;;IAeI;;;OAGG;IACH,kBAHW,WAAW,SACX,aAAa,EAKvB;IArBD;;;;OAIG;IACH,sBAAI;IAEJ;;;;OAIG;IACH,uBAAK;IAWL;;;OAGG;IACH,gBAHW,KAAK,GACH,IAAI,CAkChB;IAED;;;OAGG;IACH,sBAHW,YAAY,KAAK,CAAC,GAChB,QAAQ,CA2DpB;CACJ;yBA5JY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,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"}

package/types/codegen/LoadedModule.d.ts

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

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;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"}
+{"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"}

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,qBA6BC;IAED;;OAEG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;OAEG;IACH,0BAFW,OAAO,MAAM,EAAE,mBAAmB,CAAC,QA8B7C;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;;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,qBA8BC;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;gCA1XY,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

@@ -1,5 +1,6 @@
 export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
 export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
+export type CastConfig = import("../cast/Cast.js").CastConfig;
 export type LoadedModule = import("./LoadedModule.js").LoadedModule;
 /**
  * * Note: `$hashDependencies` doesn't contain the indirect dependencies! It must be kept to a minimum in order to inform in which order the validators must be compiled
@@ -15,7 +16,7 @@ export type LoadedValidator = {
         [name: string]: CastLike<any, any>;
     };
     $functions: {
-        [name: string]: (uplc: UplcProgram) => UserFunc<any>;
+        [name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
     };
     $Redeemer: CastLike<any, any>;
 } & ({

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;2BACvC,OAAO,mBAAmB,EAAE,YAAY;;;;;WAMzC,MAAM;iBACA,MAAM;mBACJ,cAAc,YAAY,CAAC;uBACvB,cAAc,eAAe,CAAC;;uBAE9B,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;yBAjDjC,qBAAqB"}
+{"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"}

package/types/codegen/TypeSchema.d.ts

@@ -4,7 +4,7 @@
 /**
  * TODO: handle recursive data structures
  * @param {TypeSchema} schema
- * @returns {[string, string]} - the first entry is the canonical type, the second is the permissive type
+ * @returns {[string, string]} - the first entry is the strict canonical type, the second is the permissive type
  */
 export function genTypes(schema: TypeSchema): [string, string];
 export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;

package/types/context/ContractContext.d.ts

@@ -1,4 +1,5 @@
 export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
+export type CastConfig = import("../cast/Cast.js").CastConfig;
 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>;
@@ -36,7 +37,7 @@ 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>;
+    [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;

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;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"}
+{"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"}

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,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"}
+{"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"}

package/types/context/DagCompiler.d.ts

@@ -49,7 +49,7 @@ export class DagCompiler {
      * @type {{[name: string]: UplcProgram}}
      */
     private readonly cachedUserFuncs;
-    castConfig: import("../cast/Cast.js").CastConfig;
+    castConfig: import("./ContractContext.js").CastConfig;
     /**
      * @param {LoadedValidator[]} validators
      * @param {Record<string, any>} parameters

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

@@ -1 +1 @@
-{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AAuUA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AApVD;;;;;;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,CAuH7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA0BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BAzTY,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":"AAuUA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AApVD;;;;;;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,CAuH7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA0BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;0BAzTY,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"}