@helios-lang/contract-utils 0.1.13 → 0.1.15

package/package.json

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

package/src/lib/Lib.js

@@ -11,8 +11,17 @@
 /**
  * @typedef {{
  *   cborHex: string
+ *   prettyIR: string
  * }} CompileOutput
  */
+
+/**
+ * @typedef {{
+ *   isMainnet?: boolean
+ *   checkCasts?: boolean
+ * }} LibOptions
+ */
+
 /**
  * @typedef {{
  *   version: string

package/src/lib/Libg_v0_16.js

@@ -1,3 +1,6 @@
+import { bytesToHex } from "@helios-lang/compiler"
+import { readHeader } from "@helios-lang/compiler-utils"
+
 /**
  * @typedef {import("../codegen/index.js").Module} ModuleDetails
  * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
@@ -5,13 +8,10 @@
  * @typedef {import("./Lib.js").CompileOptions} CompileOptions
  * @typedef {import("./Lib.js").CompileOutput} CompileOutput
  * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").LibOptions} LibOptions
  * @typedef {import("./Lib.js").SourceDetails} SourceDetails
  */
 
-import { bytesToHex } from "@helios-lang/compiler"
-import { readHeader } from "@helios-lang/compiler-utils"
-import { UplcProgramV1 } from "@helios-lang/uplc"
-
 /**
  * @typedef {{
  *   [name: string]: string[]
@@ -116,9 +116,15 @@ import { UplcProgramV1 } from "@helios-lang/uplc"
 export class Lib_v0_16 {
     /**
      * @param {any} lib
+     * @param {LibOptions} options
      */
-    constructor(lib) {
+    constructor(lib, { isMainnet, checkCasts }) {
         this.lib = lib
+
+        this.lib.config.set({
+            IS_TESTNET: !(isMainnet ?? false),
+            CHECK_CASTS: checkCasts ?? false
+        })
     }
 
     /**
@@ -423,6 +429,7 @@ export class Lib_v0_16 {
             const cborHex = bytesToHex(irProgram.toUplc().toCbor())
 
             return {
+                prettyIR: irProgram.program.annotate(),
                 cborHex
             }
         } else {
@@ -431,6 +438,7 @@ export class Lib_v0_16 {
             const cborHex = bytesToHex(irProgram.toUplc().toCbor())
 
             return {
+                prettyIR: irProgram.program.annotate(),
                 cborHex
             }
         }

package/src/lib/index.js

@@ -2,4 +2,5 @@ export { loadLibrary } from "./load.js"
 
 /**
  * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").LibOptions} LibOptions
  */

package/src/lib/load.js

@@ -4,19 +4,21 @@ import { Lib_v0_16 } from "./Libg_v0_16.js"
 
 /**
  * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").LibOptions} LibOptions
  */
 
 /**
+ * @param {LibOptions} options
  * @returns {Lib}
  */
-export function loadLibrary() {
+export function loadLibrary(options = {}) {
     const [major, minor] = getVersion(lib)
 
     switch (major) {
         case 0:
             switch (minor) {
                 case 16:
-                    return new Lib_v0_16(lib)
+                    return new Lib_v0_16(lib, options)
             }
         default:
             throw new Error(`compiler version ${lib.VERSION} not supported`)

package/src/runtime/ContractContextBuilder.js

@@ -13,6 +13,7 @@ import { ContractContext } from "./ContractContext.js"
 
 /**
  * @typedef {import("../lib/index.js").Lib} Lib
+ * @typedef {import("../lib/index.js").LibOptions} LibOptions
  * @typedef {import("./ContractContext.js").Validator} CompiledValidator
  */
 
@@ -121,8 +122,8 @@ export class ContractContextBuilder {
     }
 
     /**
-     *
      * @param {Option<{[name: string]: string}>} expectedHashes
+     * @param {LibOptions} options
      * @returns {{
      *   [K in keyof T]:
      *     T[K]["$purpose"] extends "spending" ? ValidatorHash<
@@ -147,8 +148,8 @@ export class ContractContextBuilder {
      *     > : never
      * }}
      */
-    build(expectedHashes = None) {
-        const lib = loadLibrary()
+    build(expectedHashes = None, options = {}) {
+        const lib = loadLibrary(options)
 
         const allValidatorTypes = this.getValidatorTypes(lib)
 
@@ -229,7 +230,7 @@ export class ContractContextBuilder {
         function buildValidator(validator) {
             const name = validator.$name
 
-            if (name in validator) {
+            if (name in validators) {
                 return
             }
 
@@ -239,7 +240,7 @@ export class ContractContextBuilder {
 
             const modules = collectModules(validator)
 
-            const { cborHex: optimizedCborHex } = lib.compile(
+            const { cborHex: optimizedCborHex, prettyIR } = lib.compile(
                 validator.$sourceCode,
                 Array.from(modules.values()),
                 {
@@ -256,6 +257,8 @@ export class ContractContextBuilder {
 
             if (expectedHashes && name in expectedHashes) {
                 if (expectedHashes[name] != ownHash) {
+                    console.log(prettyIR)
+
                     throw new Error(
                         `expected hash ${expectedHashes[name]} for validator ${name}, got ${ownHash}`
                     )
@@ -300,34 +303,25 @@ export class ContractContextBuilder {
                 UplcProgramV2.fromCbor(unoptimizedCborHex)
 
             if (purpose == "spending") {
-                validators[validator.$name] = new ValidatorHash(
-                    ownTypedHash.bytes,
-                    {
-                        program: optimizedProgram.withAlt(unoptimizedProgram),
-                        datum: expectSome(validator.$Datum),
-                        redeemer: validator.$Redeemer
-                    }
-                )
+                validators[name] = new ValidatorHash(ownHash, {
+                    program: optimizedProgram.withAlt(unoptimizedProgram),
+                    datum: expectSome(validator.$Datum),
+                    redeemer: validator.$Redeemer
+                })
             } else if (purpose == "minting") {
-                validators[validator.$name] = new MintingPolicyHash(
-                    ownTypedHash.bytes,
-                    {
-                        program: optimizedProgram.withAlt(unoptimizedProgram),
-                        redeemer: validator.$Redeemer
-                    }
-                )
+                validators[name] = new MintingPolicyHash(ownHash, {
+                    program: optimizedProgram.withAlt(unoptimizedProgram),
+                    redeemer: validator.$Redeemer
+                })
             } else if (
                 purpose == "staking" ||
                 purpose == "certifying" ||
                 purpose == "rewarding"
             ) {
-                validators[validator.$name] = new StakingValidatorHash(
-                    ownTypedHash.bytes,
-                    {
-                        program: optimizedProgram.withAlt(unoptimizedProgram),
-                        redeemer: validator.$Redeemer
-                    }
-                )
+                validators[name] = new StakingValidatorHash(ownHash, {
+                    program: optimizedProgram.withAlt(unoptimizedProgram),
+                    redeemer: validator.$Redeemer
+                })
             } else {
                 throw new Error("unhandled purpose")
             }

package/types/lib/Lib.d.ts

@@ -10,8 +10,15 @@
 /**
  * @typedef {{
  *   cborHex: string
+ *   prettyIR: string
  * }} CompileOutput
  */
+/**
+ * @typedef {{
+ *   isMainnet?: boolean
+ *   checkCasts?: boolean
+ * }} LibOptions
+ */
 /**
  * @typedef {{
  *   version: string
@@ -56,6 +63,11 @@ export type CompileOptions = {
 };
 export type CompileOutput = {
     cborHex: string;
+    prettyIR: string;
+};
+export type LibOptions = {
+    isMainnet?: boolean;
+    checkCasts?: boolean;
 };
 export type Lib = {
     version: string;

package/types/lib/Lib.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;GAIG;AACH;;;;;;;;GAQG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;;;;;;qBA1CgD,MAAM;kBAAQ,MAAM;;;;;cAGtD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;CAChB;;aAIU,MAAM;gCACa,MAAM,KAAK,GAAG;;;;;;;;;;;;;oBAG1B,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa;;kCAK5E,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}
+{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;GAKG;AAEH;;;;;GAKG;AAEH;;;;;;;;GAQG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;;;;;;qBAnDgD,MAAM;kBAAQ,MAAM;;;;;cAGtD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,QAAY,EAAE,MAAM,CAAA;CACjB;yBAIS;IACZ,SAAa,CAAC,EAAE,OAAO,CAAA;IACvB,UAAc,CAAC,EAAE,OAAO,CAAA;CACrB;;aAKU,MAAM;gCACa,MAAM,KAAK,GAAG;;;;;;;;;;;;;oBAG1B,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa;;kCAK5E,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}

package/types/lib/Libg_v0_16.d.ts

@@ -1,3 +1,13 @@
+/**
+ * @typedef {import("../codegen/index.js").Module} ModuleDetails
+ * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
+ * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ * @typedef {import("./Lib.js").CompileOptions} CompileOptions
+ * @typedef {import("./Lib.js").CompileOutput} CompileOutput
+ * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").LibOptions} LibOptions
+ * @typedef {import("./Lib.js").SourceDetails} SourceDetails
+ */
 /**
  * @typedef {{
  *   [name: string]: string[]
@@ -90,8 +100,9 @@
 export class Lib_v0_16 implements Lib {
     /**
      * @param {any} lib
+     * @param {LibOptions} options
      */
-    constructor(lib: any);
+    constructor(lib: any, { isMainnet, checkCasts }: LibOptions);
     lib: any;
     /**
      * @type {string}
@@ -165,6 +176,7 @@ export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
 export type CompileOptions = import("./Lib.js").CompileOptions;
 export type CompileOutput = import("./Lib.js").CompileOutput;
 export type Lib = import("./Lib.js").Lib;
+export type LibOptions = import("./Lib.js").LibOptions;
 export type SourceDetails = import("./Lib.js").SourceDetails;
 export type DagDependencies = {
     [name: string]: string[];

package/types/lib/Libg_v0_16.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAcA;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,0BAHW,MAAM,GACJ,QAAQ,CAapB;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;OAGG;IACH,wBAHW,UAAU,GACR,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,2BAHW,QAAQ,GACN,mBAAmB,CAc/B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CAwFzB;CACJ;4BApbY,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,UAAU,EAAE,cAAc;4BACjC,OAAO,UAAU,EAAE,aAAa;kBAChC,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;;;;uBAchC,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;;UAKvC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC;8BACK,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;gBACA,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE;WACvC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;uBAKhB;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;yBAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,UAAU,CAAA;IACzB,SAAa,EAAE,UAAU,CAAA;CACtB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,eAAe,EAAE,CAAA;CAC9B,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,eAAe,EAAE,CAAA;KAAC,EAAE,CAAA;CAC9D;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,UAAU;0BAIJ;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,UAAU,CAAA;CACzB;wBAIS,EACT"}
+{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAGA;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;;OAGG;IACH,iBAHW,GAAG,6BACH,UAAU,EASpB;IANG,SAAc;IAQlB;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,0BAHW,MAAM,GACJ,QAAQ,CAapB;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;OAGG;IACH,wBAHW,UAAU,GACR,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,2BAHW,QAAQ,GACN,mBAAmB,CAc/B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA0FzB;CACJ;4BAzbY,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,UAAU,EAAE,cAAc;4BACjC,OAAO,UAAU,EAAE,aAAa;kBAChC,OAAO,UAAU,EAAE,GAAG;yBACtB,OAAO,UAAU,EAAE,UAAU;4BAC7B,OAAO,UAAU,EAAE,aAAa;;;;uBAUhC,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;;UAKvC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC;8BACK,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;gBACA,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE;WACvC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;uBAKhB;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;yBAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,UAAU,CAAA;IACzB,SAAa,EAAE,UAAU,CAAA;CACtB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,eAAe,EAAE,CAAA;CAC9B,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,eAAe,EAAE,CAAA;KAAC,EAAE,CAAA;CAC9D;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,UAAU;0BAIJ;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,UAAU,CAAA;CACzB;wBAIS,EACT"}

package/types/lib/index.d.ts

@@ -1,3 +1,4 @@
 export { loadLibrary } from "./load.js";
 export type Lib = import("./Lib.js").Lib;
+export type LibOptions = import("./Lib.js").LibOptions;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.js"],"names":[],"mappings":";kBAGa,OAAO,UAAU,EAAE,GAAG"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.js"],"names":[],"mappings":";kBAGa,OAAO,UAAU,EAAE,GAAG;yBACtB,OAAO,UAAU,EAAE,UAAU"}

package/types/lib/load.d.ts

@@ -1,9 +1,12 @@
 /**
  * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").LibOptions} LibOptions
  */
 /**
+ * @param {LibOptions} options
  * @returns {Lib}
  */
-export function loadLibrary(): Lib;
+export function loadLibrary(options?: LibOptions): Lib;
 export type Lib = import("./Lib.js").Lib;
+export type LibOptions = import("./Lib.js").LibOptions;
 //# sourceMappingURL=load.d.ts.map

package/types/lib/load.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AAIA;;GAEG;AAEH;;GAEG;AACH,+BAFa,GAAG,CAcf;kBAlBY,OAAO,UAAU,EAAE,GAAG"}
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AAIA;;;GAGG;AAEH;;;GAGG;AACH,sCAHW,UAAU,GACR,GAAG,CAcf;kBApBY,OAAO,UAAU,EAAE,GAAG;yBACtB,OAAO,UAAU,EAAE,UAAU"}

package/types/runtime/ContractContextBuilder.d.ts

@@ -1,5 +1,6 @@
 /**
  * @typedef {import("../lib/index.js").Lib} Lib
+ * @typedef {import("../lib/index.js").LibOptions} LibOptions
  * @typedef {import("./ContractContext.js").Validator} CompiledValidator
  */
 /**
@@ -82,8 +83,8 @@ export class ContractContextBuilder<T extends {
      */
     private getValidatorTypes;
     /**
-     *
      * @param {Option<{[name: string]: string}>} expectedHashes
+     * @param {LibOptions} options
      * @returns {{
      *   [K in keyof T]:
      *     T[K]["$purpose"] extends "spending" ? ValidatorHash<
@@ -110,9 +111,10 @@ export class ContractContextBuilder<T extends {
      */
     build(expectedHashes?: Option<{
         [name: string]: string;
-    }>): { [K_1 in keyof T]: T[K_1]["$purpose"] extends "spending" ? ValidatorHash<SpendingContext<import("./StrictType.js").StrictType<T[K_1]["$Datum"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Datum"]>, import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "minting" ? MintingPolicyHash<MintingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "certifying" | "rewarding" ? StakingValidatorHash<StakingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : never; };
+    }>, options?: LibOptions): { [K_1 in keyof T]: T[K_1]["$purpose"] extends "spending" ? ValidatorHash<SpendingContext<import("./StrictType.js").StrictType<T[K_1]["$Datum"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Datum"]>, import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "minting" ? MintingPolicyHash<MintingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "certifying" | "rewarding" ? StakingValidatorHash<StakingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : never; };
 }
 export type Lib = import("../lib/index.js").Lib;
+export type LibOptions = import("../lib/index.js").LibOptions;
 export type CompiledValidator = import("./ContractContext.js").Validator;
 export type MintingContext<TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>;
 export type SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive>;

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAaA;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH;;;IAgBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAbD;;;OAGG;IACH,sBAEC;IAbD;;;;OAIG;IACH,4BAAU;IAiBV;;;;;;OAMG;IACH,+FAKC;IAED;;;;OAIG;IACH,0BAMC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH;;2wBA+LC;CACJ;kBAvUY,OAAO,iBAAiB,EAAE,GAAG;gCAC7B,OAAO,sBAAsB,EAAE,SAAS;mEAMxC,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;6HAKlF,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;yHAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBAIvC;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;CACxB;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,QAAY,EAAE,MAAM,CAAA;IACpB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;IAC3B,iBAAqB,EAAE,SAAS,EAAE,CAAA;IAClC,iBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAa,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;IAC7B,MAAU,CAAC,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;CACxB;8BA5DG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBAIP,WAAW"}
+{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAaA;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH;;;IAgBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAbD;;;OAGG;IACH,sBAEC;IAbD;;;;OAIG;IACH,4BAAU;IAiBV;;;;;;OAMG;IACH,+FAKC;IAED;;;;OAIG;IACH,0BAMC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH;;kBAzBW,UAAU,qwBAiNpB;CACJ;kBAjUY,OAAO,iBAAiB,EAAE,GAAG;yBAC7B,OAAO,iBAAiB,EAAE,UAAU;gCACpC,OAAO,sBAAsB,EAAE,SAAS;mEAMxC,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;6HAKlF,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;yHAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBAIvC;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;CACxB;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,QAAY,EAAE,MAAM,CAAA;IACpB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;IAC3B,iBAAqB,EAAE,SAAS,EAAE,CAAA;IAClC,iBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAa,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;IAC7B,MAAU,CAAC,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;CACxB;8BA7DG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBAIP,WAAW"}