@helios-lang/contract-utils 0.2.10 → 0.2.12

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.2.10",
+    "version": "0.2.12",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
     "types": "types/index.d.ts",
@@ -38,7 +38,7 @@
         "@helios-lang/cli-utils": "^0.1.6",
         "@helios-lang/codec-utils": "^0.1.30",
         "@helios-lang/compiler-utils": "^0.1.25",
-        "@helios-lang/ledger": "^0.2.7",
+        "@helios-lang/ledger": "^0.2.8",
         "@helios-lang/type-utils": "^0.1.20",
         "@helios-lang/uplc": "^0.1.31"
     }

package/src/cast/Cast.js

@@ -145,6 +145,8 @@ function schemaToUplc(schema, x, defs = {}) {
                     return PubKeyHash.new(x).toUplcData()
                 case "Real":
                     return encodeRealData(x)
+                case "Ratio":
+                    return new ListData([new IntData(x[0]), new IntData(x[1])])
                 case "ScriptHash":
                     return ScriptHash.new(x).toUplcData()
                 case "StakingCredential":
@@ -294,6 +296,13 @@ function uplcToSchema(schema, data, config, defs = {}) {
                     return MintingPolicyHash.fromUplcData(data)
                 case "PubKeyHash":
                     return PubKeyHash.fromUplcData(data)
+                case "Ratio": {
+                    const [top, bottom] = ListData.expect(data).items
+                    return [
+                        IntData.expect(top).value,
+                        IntData.expect(bottom).value
+                    ]
+                }
                 case "Real":
                     return decodeRealData(data)
                 case "ScriptHash":

package/src/cast/UserFunc.js

@@ -0,0 +1,36 @@
+export {}
+
+/**
+ * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ */
+
+/**
+ * @typedef {{
+ *   requiresScriptContext: boolean
+ *   requiresCurrentScript: boolean
+ *   arguments: {
+ *     name: string
+ *     type: TypeSchema
+ *   }[]
+ *   returns: TypeSchema
+ * }} UserFuncProps
+ */
+
+/**
+ * @template {((args: Record<string, UplcData>) => UplcData)} T
+ */
+export class UserFunc {
+    /**
+     * @readonly
+     * @type {UserFuncProps}
+     */
+    props
+
+    /**
+     * @param {UserFuncProps} props
+     */
+    constructor(props) {
+        this.props = props
+    }
+}

package/src/cast/index.js

@@ -1,6 +1,7 @@
 import { Cast } from "./Cast.js"
 export { Cast }
 export { configureCast } from "./Cast.js"
+export { UserFunc } from "./UserFunc.js"
 
 /**
  * @typedef {import("./Cast.js").CastConfig} CastConfig

package/src/codegen/LoadedScriptsWriter.js

@@ -3,6 +3,7 @@ import { genTypes } from "./TypeSchema.js"
 
 /**
  * @typedef {import("./TypeCheckedModule.js").TypeCheckedModule} TypeCheckedModule
+ * @typedef {import("./TypeCheckedModule.js").TypeCheckedUserFunc} TypeCheckedUserFunc
  * @typedef {import("./TypeCheckedValidator.js").TypeCheckedValidator} TypeCheckedValidator
  * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
  */
@@ -200,7 +201,6 @@ export class LoadedScriptsWriter {
     }
 
     /**
-     *
      * @param {Record<string, TypeSchema>} types
      */
     writeTypes(types) {
@@ -228,6 +228,32 @@ export class LoadedScriptsWriter {
         )
     }
 
+    /**
+     * @param {Record<string, TypeCheckedUserFunc>} functions
+     */
+    writeFunctions(functions) {
+        ;[this.definition, this.declaration, this.combined].forEach((w) =>
+            w.write("    $functions: {\n")
+        )
+
+        for (let key in functions) {
+            const fn = functions[key]
+            const t = genFuncType(fn)
+
+            this.definition.write(
+                `        ${key}: /** @type {UserFunc<${t}>} */ (new UserFunc(${JSON.stringify(fn)})),\n`
+            )
+            this.declaration.write(`        ${key}: UserFunc<${t}>,\n`)
+            this.combined.write(
+                `        ${key}: new UserFunc<${t}>(${JSON.stringify(fn)}),\n`
+            )
+        }
+
+        ;[this.definition, this.declaration, this.combined].forEach((w) =>
+            w.write("    },\n")
+        )
+    }
+
     /**
      * @private
      * @param {TypeCheckedModule} m
@@ -310,9 +336,37 @@ ${datumTypes ? `    $Datum: (config: CastConfig) => new Cast<${datumTypes[0]}, $
         )
 
         this.writeTypes(v.types)
+        if (v.functions) {
+            this.writeFunctions(v.functions)
+        }
 
         this.definition.write(`}\n`)
         this.declaration.write(`}\n`)
         this.combined.write(`}\n`)
     }
 }
+
+/**
+ * @param {TypeCheckedUserFunc} fn
+ * @returns {string}
+ */
+function genFuncType(fn) {
+    /**
+     * @type {string[]}
+     */
+    const fields = []
+
+    if (fn.requiresScriptContext) {
+        fields.push("$scriptContext: UplcData")
+    }
+
+    if (fn.requiresCurrentScript) {
+        fields.push("$currentScript: string")
+    }
+
+    fn.arguments.forEach(({ name, type: _type }) => {
+        fields.push(`${name}: UplcData`)
+    })
+
+    return `({${fields.join(", ")}}) => UplcData`
+}

package/src/codegen/LoadedValidator.js

@@ -21,7 +21,7 @@ import { Cast } from "../cast/Cast.js"
  *   $Redeemer: CastLike<any, any>
  * } & (
  *   {
- *     $purpose: "spending"
+ *     $purpose: "spending" | "mixed"
  *     $Datum: CastLike<any, any>
  *   } | {
  *     $purpose: "minting" | "certifying" | "rewarding" | "staking"

package/src/codegen/TypeCheckedModule.js

@@ -4,12 +4,25 @@ export {}
  * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
  */
 
+/**
+ * @typedef {{
+ *   requiresScriptContext: boolean
+ *   requiresCurrentScript: boolean
+ *   arguments: {
+ *     name: string
+ *     type: TypeSchema
+ *   }[]
+ *   returns: TypeSchema
+ * }} TypeCheckedUserFunc
+ */
+
 /**
  * @typedef {{
  *   name: string
  *   purpose: string
  *   sourceCode: string
  *   moduleDepedencies: string[]
- *   types: {[name: string]: TypeSchema}
+ *   types: Record<string, TypeSchema>
+ *   functions?: Record<string, TypeCheckedUserFunc>
  * }} TypeCheckedModule
  */

package/src/codegen/TypeSchema.js

@@ -40,6 +40,8 @@ export function genTypes(schema) {
                     return ["PubKey", "PubKey | string | number[]"]
                 case "PubKeyHash":
                     return ["PubKeyHash", "PubKeyHash | string | number[]"]
+                case "Ratio":
+                    return ["[bigint, bigint]", "[IntLike, IntLike]"]
                 case "Real":
                     return ["number", "number"]
                 case "SpendingCredential":

package/src/context/ContractContext.js

@@ -1,7 +1,8 @@
 import {
     StakingValidatorHash,
     ValidatorHash,
-    MintingPolicyHash
+    MintingPolicyHash,
+    ScriptHash
 } from "@helios-lang/ledger"
 import { Cast } from "../cast/index.js"
 
@@ -50,7 +51,8 @@ import { Cast } from "../cast/index.js"
  * @typedef {(
  *   ValidatorHash<SpendingContext<any, any, any, any>> |
  *   MintingPolicyHash<MintingContext<any, any>> |
- *   StakingValidatorHash<StakingContext<any, any>>
+ *   StakingValidatorHash<StakingContext<any, any>> |
+ *   ScriptHash
  * )} AnyContractValidatorContext
  */
 

package/src/context/ContractContextCache.js

@@ -1,6 +1,7 @@
 import { bytesToHex } from "@helios-lang/codec-utils"
 import {
     MintingPolicyHash,
+    ScriptHash,
     StakingValidatorHash,
     ValidatorHash
 } from "@helios-lang/ledger"
@@ -22,7 +23,7 @@ import { UplcProgramV2 } from "@helios-lang/uplc"
 
 /**
  * @typedef {{[name: string]: {
- *   purpose: "minting" | "spending" | "staking"
+ *   purpose: "minting" | "spending" | "staking" | "mixed"
  *   bytes: number[]
  *   unoptimizedCborHex?: string
  *   optimizedCborHex: string
@@ -173,7 +174,9 @@ class ContractContextCache {
                           ? "minting"
                           : hash instanceof StakingValidatorHash
                             ? "staking"
-                            : "unknown"
+                            : hash instanceof ScriptHash
+                              ? "mixed"
+                              : "unknown"
                 if (purpose == "unknown") {
                     throw new Error("unhandled hash type")
                 }

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

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

package/types/cast/UserFunc.d.ts

@@ -0,0 +1,41 @@
+/**
+ * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
+ * @typedef {import("@helios-lang/uplc").UplcData} UplcData
+ */
+/**
+ * @typedef {{
+ *   requiresScriptContext: boolean
+ *   requiresCurrentScript: boolean
+ *   arguments: {
+ *     name: string
+ *     type: TypeSchema
+ *   }[]
+ *   returns: TypeSchema
+ * }} UserFuncProps
+ */
+/**
+ * @template {((args: Record<string, UplcData>) => UplcData)} T
+ */
+export class UserFunc<T extends (args: Record<string, UplcData>) => UplcData> {
+    /**
+     * @param {UserFuncProps} props
+     */
+    constructor(props: UserFuncProps);
+    /**
+     * @readonly
+     * @type {UserFuncProps}
+     */
+    readonly props: UserFuncProps;
+}
+export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;
+export type UplcData = import("@helios-lang/uplc").UplcData;
+export type UserFuncProps = {
+    requiresScriptContext: boolean;
+    requiresCurrentScript: boolean;
+    arguments: {
+        name: string;
+        type: TypeSchema;
+    }[];
+    returns: TypeSchema;
+};
+//# sourceMappingURL=UserFunc.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"UserFunc.d.ts","sourceRoot":"","sources":["../../src/cast/UserFunc.js"],"names":[],"mappings":"AAEA;;;GAGG;AAEH;;;;;;;;;;GAUG;AAEH;;GAEG;AACH,uCAFsB,OAAO,MAAM,EAAE,QAAQ,CAAC,KAAK,QAAQ;IASvD;;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"}

package/types/cast/index.d.ts

@@ -1,5 +1,6 @@
 export { Cast };
 export { configureCast } from "./Cast.js";
+export { UserFunc } from "./UserFunc.js";
 export type CastConfig = import("./Cast.js").CastConfig;
 export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
 export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cast/index.js"],"names":[],"mappings":";;yBAKa,OAAO,WAAW,EAAE,UAAU;qDAM9B,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2DAKlD,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;uDAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBA3B/B,WAAW"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/cast/index.js"],"names":[],"mappings":";;;yBAMa,OAAO,WAAW,EAAE,UAAU;qDAM9B,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2DAKlD,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;uDAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBA5B/B,WAAW"}

package/types/codegen/LoadedScriptsWriter.d.ts

@@ -1,5 +1,6 @@
 /**
  * @typedef {import("./TypeCheckedModule.js").TypeCheckedModule} TypeCheckedModule
+ * @typedef {import("./TypeCheckedModule.js").TypeCheckedUserFunc} TypeCheckedUserFunc
  * @typedef {import("./TypeCheckedValidator.js").TypeCheckedValidator} TypeCheckedValidator
  * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
  */
@@ -55,10 +56,13 @@ export class LoadedScriptsWriter {
      */
     private writeHeaders;
     /**
-     *
      * @param {Record<string, TypeSchema>} types
      */
     writeTypes(types: Record<string, TypeSchema>): void;
+    /**
+     * @param {Record<string, TypeCheckedUserFunc>} functions
+     */
+    writeFunctions(functions: Record<string, TypeCheckedUserFunc>): void;
     /**
      * @private
      * @param {TypeCheckedModule} m
@@ -71,6 +75,7 @@ export class LoadedScriptsWriter {
     private writeValidator;
 }
 export type TypeCheckedModule = import("./TypeCheckedModule.js").TypeCheckedModule;
+export type TypeCheckedUserFunc = import("./TypeCheckedModule.js").TypeCheckedUserFunc;
 export type TypeCheckedValidator = import("./TypeCheckedValidator.js").TypeCheckedValidator;
 export type TypeSchema = import("./TypeSchema.js").TypeSchema;
 import { StringWriter } from "@helios-lang/codec-utils";

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;;GAIG;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;;;OAGG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;;OAGG;IACH,oBA4BC;IAED;;;OAGG;IACH,uBAgDC;CACJ;gCAzTY,OAAO,wBAAwB,EAAE,iBAAiB;mCAClD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BANpB,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,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"}

package/types/codegen/LoadedValidator.d.ts

@@ -11,7 +11,7 @@ export type LoadedValidator = {
     };
     $Redeemer: CastLike<any, any>;
 } & ({
-    $purpose: "spending";
+    $purpose: "spending" | "mixed";
     $Datum: CastLike<any, any>;
 } | {
     $purpose: "minting" | "certifying" | "rewarding" | "staking";

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;YACZ,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;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"}

package/types/codegen/TypeCheckedModule.d.ts

@@ -1,11 +1,19 @@
 export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type TypeCheckedUserFunc = {
+    requiresScriptContext: boolean;
+    requiresCurrentScript: boolean;
+    arguments: {
+        name: string;
+        type: TypeSchema;
+    }[];
+    returns: TypeSchema;
+};
 export type TypeCheckedModule = {
     name: string;
     purpose: string;
     sourceCode: string;
     moduleDepedencies: string[];
-    types: {
-        [name: string]: import("@helios-lang/type-utils").TypeSchema;
-    };
+    types: Record<string, TypeSchema>;
+    functions?: Record<string, TypeCheckedUserFunc>;
 };
 //# sourceMappingURL=TypeCheckedModule.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;;UAKtC,MAAM;aACH,MAAM;gBACH,MAAM;uBACC,MAAM,EAAE"}
+{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;kCAIpC;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;gCAIS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;IACtB,iBAAqB,EAAE,MAAM,EAAE,CAAA;IAC/B,KAAS,EAAE,OAAO,MAAM,EAAE,UAAU,CAAC,CAAA;IACrC,SAAa,CAAC,EAAE,OAAO,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD"}

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

@@ -1 +1 @@
-{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CAkJ5B;yBAxJY,OAAO,yBAAyB,EAAE,UAAU"}
+{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;GAIG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CAoJ5B;yBA1JY,OAAO,yBAAyB,EAAE,UAAU"}

package/types/context/ContractContext.d.ts

@@ -6,7 +6,7 @@ export type StakingContext<TRedeemerStrict, TRedeemerPermissive> = import("@heli
 export type CastLike<TStrict, TPermissive> = import("../cast/index.js").CastLike<TStrict, TPermissive>;
 export type PermissiveType<C extends CastLike<any, any>> = import("../cast/index.js").PermissiveType<C>;
 export type StrictType<C extends CastLike<any, any>> = import("../cast/index.js").StrictType<C>;
-export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>>);
+export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>> | ScriptHash);
 export type ContractValidatorContexts<V extends import("../codegen/LoadedValidator.js").LoadedValidator> = V extends {
     "$purpose": "spending";
     "$Datum": CastLike<any, any>;
@@ -36,5 +36,6 @@ export type ContractContext<Vs extends {
 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";
 //# 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":"2BAQa,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,CAC/C;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;;;;;;;;;8BAtFvC,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBACP,kBAAkB"}
+{"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"}

package/types/context/ContractContextCache.d.ts

@@ -8,7 +8,7 @@ export type CacheEntry = {
 };
 export type CacheEntryJson = {
     [name: string]: {
-        purpose: "minting" | "spending" | "staking";
+        purpose: "minting" | "spending" | "staking" | "mixed";
         bytes: number[];
         unoptimizedCborHex?: string | undefined;
         optimizedCborHex: string;
@@ -29,7 +29,7 @@ export type CacheEntryJson = {
  */
 /**
  * @typedef {{[name: string]: {
- *   purpose: "minting" | "spending" | "staking"
+ *   purpose: "minting" | "spending" | "staking" | "mixed"
  *   bytes: number[]
  *   unoptimizedCborHex?: string
  *   optimizedCborHex: string

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AAgOA,wDAA8D;4BApNjD,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;eACpC,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,CAiE3B;CACJ"}
+{"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"}