@helios-lang/contract-utils 0.2.81 → 0.3.0

package/types/compiler/CompilerLib_v0_17.d.ts

@@ -1,11 +1,6 @@
 /**
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @typedef {import("@helios-lang/uplc").UplcProgramV2I} UplcProgramV2I
- * @typedef {import("./CompilerLib.js").CompilerLib} CompilerLib
- * @typedef {import("./CompilerLib.js").CompileOptions} CompileOptions
- * @typedef {import("./CompilerLib.js").CompileOutput} CompileOutput
- * @typedef {import("./CompilerLib.js").ScriptHashType} ScriptHashType
- * @typedef {import("./CompilerLib.js").TypeCheckOutput} TypeCheckOutput
+ * @import { UplcData, UplcProgramV2 } from "@helios-lang/uplc"
+ * @import { CompilerLib, CompileOptions, CompileOutput, ScriptHashType, TypeCheckOutput } from "../index.js"
  */
 /**
  * @typedef {{
@@ -18,53 +13,15 @@
  *     hashDependencies?: Record<string, string>
  *     validatorIndices?: Record<string, number>
  *     excludeUserFuncs?: Set<string>
- *     onCompileUserFunc?: (name: string, uplc: UplcProgramV2I) => void
- *   }): UplcProgramV2I
+ *     onCompileUserFunc?: (name: string, uplc: UplcProgramV2) => void
+ *   }): UplcProgramV2
  * }} Program
  */
 /**
- * @implements {CompilerLib}
+ * @param {any} lib
+ * @returns {CompilerLib}
  */
-export class CompilerLib_v0_17 implements CompilerLib {
-    /**
-     * @param {any} lib
-     */
-    constructor(lib: any);
-    /**
-     * @private
-     * @type {any}
-     */
-    private lib;
-    /**
-     * @type {string}
-     */
-    get version(): string;
-    /**
-     * @param {string} purpose
-     * @returns {ScriptHashType}
-     */
-    getScriptHashType(purpose: string): ScriptHashType;
-    /**
-     * @param {string} mainSource
-     * @param {string[]} moduleSources
-     * @param {CompileOptions} options
-     * @returns {CompileOutput}
-     */
-    compile(mainSource: string, moduleSources: string[], options: CompileOptions): CompileOutput;
-    /**
-     * @param {string[]} validatorSources
-     * @param {string[]} moduleSources
-     * @returns {TypeCheckOutput}
-     */
-    typeCheck(validatorSources: string[], moduleSources: string[]): TypeCheckOutput;
-}
-export type UplcData = import("@helios-lang/uplc").UplcData;
-export type UplcProgramV2I = import("@helios-lang/uplc").UplcProgramV2I;
-export type CompilerLib = import("./CompilerLib.js").CompilerLib;
-export type CompileOptions = import("./CompilerLib.js").CompileOptions;
-export type CompileOutput = import("./CompilerLib.js").CompileOutput;
-export type ScriptHashType = import("./CompilerLib.js").ScriptHashType;
-export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
+export function makeCompilerLib_v0_17(lib: any): CompilerLib;
 export type Program = {
     name: string;
     currentScriptIndex: Option<number>;
@@ -75,7 +32,10 @@ export type Program = {
         hashDependencies?: Record<string, string>;
         validatorIndices?: Record<string, number>;
         excludeUserFuncs?: Set<string>;
-        onCompileUserFunc?: (name: string, uplc: UplcProgramV2I) => void;
-    }): UplcProgramV2I;
+        onCompileUserFunc?: (name: string, uplc: UplcProgramV2) => void;
+    }): UplcProgramV2;
 };
+import type { CompilerLib } from "../index.js";
+import type { UplcData } from "@helios-lang/uplc";
+import type { UplcProgramV2 } from "@helios-lang/uplc";
 //# sourceMappingURL=CompilerLib_v0_17.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAIA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;GAEG;AACH,0CAFgB,WAAW;IASvB;;OAEG;IACH,iBAFW,GAAG,EAIb;IAXD;;;OAGG;IACH,YAAG;IASH;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAM1B;IAED;;;;;OAKG;IACH,oBALW,MAAM,iBACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA+FzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBA1KY,OAAO,mBAAmB,EAAE,QAAQ;6BACpC,OAAO,mBAAmB,EAAE,cAAc;0BAC1C,OAAO,kBAAkB,EAAE,WAAW;6BACtC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;6BACxC,OAAO,kBAAkB,EAAE,cAAc;8BACzC,OAAO,kBAAkB,EAAE,eAAe;sBAI1C;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IAClC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC/C,OAAO,CAAC,OAAO,EAAE;QACf,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACzC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACzC,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC9B,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,KAAK,IAAI,CAAA;KACjE,GAAG,cAAc,CAAA;CACnB"}
+{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH;;;;;;;;;;;;;;GAcG;AAEH;;;GAGG;AACH,2CAHW,GAAG,GACD,WAAW,CAIvB;sBArBY;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAA;IAClC,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC/C,OAAO,CAAC,OAAO,EAAE;QACf,QAAQ,CAAC,EAAE,OAAO,CAAC;QACnB,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAC3B,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACzC,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;QACzC,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;QAC9B,iBAAiB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,KAAK,IAAI,CAAA;KAChE,GAAG,aAAa,CAAA;CAClB;iCAhB4F,aAAa;8BADjE,mBAAmB;mCAAnB,mBAAmB"}

package/types/compiler/index.d.ts

@@ -1,4 +1,2 @@
-export type CompilerLib = import("./CompilerLib.js").CompilerLib;
-export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
 export { loadCompilerLib, typeCheckFiles, typeCheckScripts } from "./ops.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compiler/index.js"],"names":[],"mappings":"0BAGa,OAAO,kBAAkB,EAAE,WAAW;8BACtC,OAAO,kBAAkB,EAAE,eAAe"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compiler/index.js"],"names":[],"mappings":""}

package/types/compiler/ops.d.ts

@@ -19,6 +19,6 @@ export function typeCheckFiles(lib: CompilerLib, files: {
  * @returns {TypeCheckOutput}
  */
 export function typeCheckScripts(lib: CompilerLib, scripts: string[]): TypeCheckOutput;
-export type CompilerLib = import("./CompilerLib.js").CompilerLib;
-export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
+import type { CompilerLib } from "../index.js";
+import type { TypeCheckOutput } from "../index.js";
 //# sourceMappingURL=ops.d.ts.map

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

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

package/types/context/CacheEntry.d.ts

@@ -1,15 +1,7 @@
 /**
- * @typedef {import("@helios-lang/type-utils").TypeSchema} TypeSchema
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @typedef {import("@helios-lang/uplc").PlutusVersion} PlutusVersion
- * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
- * @typedef {import("@helios-lang/uplc").UplcProgramV1I} UplcProgramV1I
- * @typedef {import("@helios-lang/uplc").UplcProgramV2I} UplcProgramV2I
- * @typedef {import("@helios-lang/uplc").UplcSourceMapJsonSafe} UplcSourceMapJsonSafe
- * @typedef {import("../cast/index.js").CastConfig} CastConfig
- * @typedef {import("../codegen/LoadedModule.js").LoadedModule} LoadedModule
- * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
- * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
+ * @import { TypeSchema } from "@helios-lang/type-utils"
+ * @import { PlutusVersion, UplcData, UplcProgram, UplcProgramV1, UplcProgramV2, UplcSourceMapJsonSafe } from "@helios-lang/uplc"
+ * @import { AnyContractValidatorContext, Cast, CastConfig, LoadedModule, LoadedValidator } from "../index.js"
  */
 /**
  * @typedef {{
@@ -62,17 +54,6 @@ export function cacheEntryToJsonSafe(entry: CacheEntry): CacheEntryJson;
  * @returns {CacheEntry}
  */
 export function cacheEntryFromJson(entry: CacheEntryJson): CacheEntry;
-export type TypeSchema = import("@helios-lang/type-utils").TypeSchema;
-export type UplcData = import("@helios-lang/uplc").UplcData;
-export type PlutusVersion = import("@helios-lang/uplc").PlutusVersion;
-export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
-export type UplcProgramV1I = import("@helios-lang/uplc").UplcProgramV1I;
-export type UplcProgramV2I = import("@helios-lang/uplc").UplcProgramV2I;
-export type UplcSourceMapJsonSafe = import("@helios-lang/uplc").UplcSourceMapJsonSafe;
-export type CastConfig = import("../cast/index.js").CastConfig;
-export type LoadedModule = import("../codegen/LoadedModule.js").LoadedModule;
-export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
-export type AnyContractValidatorContext = import("./ContractContext.js").AnyContractValidatorContext;
 export type CacheEntry = {
     debug?: boolean;
     validators: {
@@ -114,4 +95,10 @@ export type CacheEntryJson = {
     validators: CacheEntryValidatorsJson;
     userFuncs: CacheEntryUserFuncsJson;
 };
+import type { AnyContractValidatorContext } from "../index.js";
+import type { UplcProgram } from "@helios-lang/uplc";
+import type { UplcSourceMapJsonSafe } from "@helios-lang/uplc";
+import type { PlutusVersion } from "@helios-lang/uplc";
+import type { CastConfig } from "../index.js";
+import type { TypeSchema } from "@helios-lang/type-utils";
 //# sourceMappingURL=CacheEntry.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"CacheEntry.d.ts","sourceRoot":"","sources":["../../src/context/CacheEntry.js"],"names":[],"mappings":"AAWA;;;;;;;;;;;;GAYG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH;;;;;;;;;;GAUG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,4CAHW,UAAU,GACR,cAAc,CA0G1B;AAED;;;GAGG;AACH,0CAHW,cAAc,GACZ,UAAU,CA+HtB;yBAzSY,OAAO,yBAAyB,EAAE,UAAU;uBAC5C,OAAO,mBAAmB,EAAE,QAAQ;4BACpC,OAAO,mBAAmB,EAAE,aAAa;0BACzC,OAAO,mBAAmB,EAAE,WAAW;6BACvC,OAAO,mBAAmB,EAAE,cAAc;6BAC1C,OAAO,mBAAmB,EAAE,cAAc;oCAC1C,OAAO,mBAAmB,EAAE,qBAAqB;yBACjD,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0CACvD,OAAO,sBAAsB,EAAE,2BAA2B;yBAI1D;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IACzD,SAAS,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC;uCAIS;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QACvB,OAAO,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAA;QACrD,KAAK,EAAE,MAAM,EAAE,CAAA;QACf,kBAAkB,CAAC,EAAE,MAAM,CAAA;QAC3B,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,oBAAoB,CAAC,EAAE,qBAAqB,CAAA;QAC5C,gBAAgB,EAAE,MAAM,CAAA;QACxB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,kBAAkB,CAAC,EAAE,qBAAqB,CAAA;QAC1C,aAAa,EAAE,aAAa,CAAA;QAC5B,UAAU,EAAE,UAAU,CAAA;QACtB,KAAK,CAAC,EAAE,UAAU,CAAA;QAClB,QAAQ,EAAE,UAAU,CAAA;KACrB,CAAA;CAAC;sCAIM;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QACzB,kBAAkB,CAAC,EAAE,MAAM,CAAA;QAC3B,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,oBAAoB,CAAC,EAAE,qBAAqB,CAAA;QAC5C,gBAAgB,EAAE,MAAM,CAAA;QACxB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,kBAAkB,CAAC,EAAE,qBAAqB,CAAA;QAC1C,aAAa,EAAE,aAAa,CAAA;KAC7B,CAAA;CAAC;6BAIQ;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE,wBAAwB,CAAA;IACpC,SAAS,EAAE,uBAAuB,CAAA;CACnC"}
+{"version":3,"file":"CacheEntry.d.ts","sourceRoot":"","sources":["../../src/context/CacheEntry.js"],"names":[],"mappings":"AAcA;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;;;;;GAeG;AAEH;;;;;;;;;;GAUG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,4CAHW,UAAU,GACR,cAAc,CAiI1B;AAED;;;GAGG;AACH,0CAHW,cAAc,GACZ,UAAU,CAmItB;yBAtTY;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IACzD,SAAS,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC;uCAIS;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QACvB,OAAO,EAAE,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,OAAO,CAAA;QACrD,KAAK,EAAE,MAAM,EAAE,CAAA;QACf,kBAAkB,CAAC,EAAE,MAAM,CAAA;QAC3B,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,oBAAoB,CAAC,EAAE,qBAAqB,CAAA;QAC5C,gBAAgB,EAAE,MAAM,CAAA;QACxB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,kBAAkB,CAAC,EAAE,qBAAqB,CAAA;QAC1C,aAAa,EAAE,aAAa,CAAA;QAC5B,UAAU,EAAE,UAAU,CAAA;QACtB,KAAK,CAAC,EAAE,UAAU,CAAA;QAClB,QAAQ,EAAE,UAAU,CAAA;KACrB,CAAA;CAAC;sCAIM;IAAC,CAAC,IAAI,EAAE,MAAM,GAAG;QACzB,kBAAkB,CAAC,EAAE,MAAM,CAAA;QAC3B,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,oBAAoB,CAAC,EAAE,qBAAqB,CAAA;QAC5C,gBAAgB,EAAE,MAAM,CAAA;QACxB,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,kBAAkB,CAAC,EAAE,qBAAqB,CAAA;QAC1C,aAAa,EAAE,aAAa,CAAA;KAC7B,CAAA;CAAC;6BAIQ;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE,wBAAwB,CAAA;IACpC,SAAS,EAAE,uBAAuB,CAAA;CACnC;iDA7C6F,aAAa;iCADA,mBAAmB;2CAAnB,mBAAmB;mCAAnB,mBAAmB;gCAChC,aAAa;gCAF/E,yBAAyB"}

package/types/context/ContractContext.d.ts

@@ -1,10 +1,6 @@
-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>;
-export type SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive>;
-export type StakingContext<TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").StakingContext<TRedeemerStrict, TRedeemerPermissive>;
 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>;
@@ -44,10 +40,14 @@ export type ContractContext<Vs extends {
 }, Ms extends {
     [name: string]: LoadedModule;
 }> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; };
-import { ValidatorHash } from "@helios-lang/ledger";
-import { MintingPolicyHash } from "@helios-lang/ledger";
-import { StakingValidatorHash } from "@helios-lang/ledger";
-import { ScriptHash } from "@helios-lang/ledger";
+import type { SpendingContext } from "@helios-lang/ledger";
+import type { ValidatorHash } from "@helios-lang/ledger";
+import type { MintingContext } from "@helios-lang/ledger";
+import type { MintingPolicyHash } from "@helios-lang/ledger";
+import type { StakingContext } from "@helios-lang/ledger";
+import type { StakingValidatorHash } from "@helios-lang/ledger";
+import type { ScriptHash } from "@helios-lang/ledger";
 import { Cast } from "../cast/index.js";
+import type { UplcProgram } from "@helios-lang/uplc";
 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":"0BASa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;2BAI7C,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;4BAIlF,YAAY,EACZ,gBAAgB,EAChB,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,CAAC;2BAInH,eAAe,EACf,mBAAmB,IACnB,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;qBAIlF,OAAO,EACP,WAAW,IACX,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIpC,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uBAIvB,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,CACR,aAAa,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GAClD,iBAAiB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC3C,oBAAoB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC9C,UAAU,CACX;sCAI2B,CAAC,SAAlB,eAAgB,IACjB,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACxG,KAAK,EAAE,aAAa,CAClB,eAAe,CACb,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACnE,KAAK,EAAE,iBAAiB,CACtB,cAAc,CACZ,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAClG,KAAK,EAAE,oBAAoB,CACzB,cAAc,CACZ,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC/F,KAAK,EAAE,UAAU,CACf,eAAe,CACZ,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACH,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,KAAW;mCAKgB,CAAC,SAAf,YAAa,IACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIlC,CAAC,SAA5C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,IAC1C,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAI0F,CAAC,SAAlF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;CAAE,IAChF,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI6C,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,GACP,CAAa,IAAR,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAa,IAAR,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C;8BA3HG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;2BAArB,qBAAqB;qBACG,kBAAkB;yBAAlB,kBAAkB"}
+{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"yBAKa,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;qBAI7C,OAAO,EACP,WAAW,IACX,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIpC,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uBAIvB,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,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;sCAI2B,CAAC,SAAlB,eAAgB,IACjB,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACxG,KAAK,EAAE,cACf,gBACY,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACnE,KAAK,EAAE,kBACf,eACY,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAClG,KAAK,EAAE,qBACf,eACY,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC/F,KAAK,EAAE,WACf,gBACa,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACH,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,KAAW;mCAKgB,CAAC,SAAf,YAAa,IACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIlC,CAAC,SAA5C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,IAC1C,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAI0F,CAAC,SAAlF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;CAAE,IAChF,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI6C,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,GACP,CAAa,IAAR,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAa,IAAR,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C;qCApGoI,qBAAqB;mCAArB,qBAAqB;oCAArB,qBAAqB;uCAArB,qBAAqB;oCAArB,qBAAqB;0CAArB,qBAAqB;gCAArB,qBAAqB;qBAH9H,kBAAkB;iCAIjB,mBAAmB;yBAJpB,kBAAkB"}

package/types/context/ContractContextBuilder.d.ts

@@ -1,105 +1,10 @@
 /**
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @typedef {import("../cast/index.js").CastConfig} CastConfig
- * @typedef {import("../codegen/LoadedModule.js").LoadedModule} LoadedModule
- * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
- * @typedef {import("../compiler/index.js").CompilerLib} CompilerLib
+ * @import { UplcData } from "@helios-lang/uplc"
+ * @import { CastConfig, CompilerLib, ContractContext, ContractContextBuilder, ContractContextBuilderProps, ExtractDependencies, LoadedModule, LoadedValidator } from "../index.js"
  */
 /**
- * @template {LoadedValidator} V
- * @typedef {import("../codegen/LoadedValidator.js").ExtractDependencies<V>} ExtractDependencies
+ * @returns {ContractContextBuilder<{}, {}>}
  */
-/**
- * @template {{[name: string]: LoadedValidator}} Vs
- * @template {{[name: string]: LoadedModule}} Ms
- * @typedef {import("./ContractContext.js").ContractContext<Vs, Ms>} ContractContext
- */
-/**
- * if `debug` is true, the ir is included where possible
- * @typedef {{
- *   isMainnet: boolean
- *   expectedHashes?: {[name: string]: string}
- *   parameters?: Record<string, UplcData>
- *   dumpHashes?: boolean
- *   debug?: boolean
- * }} ContractContextBuildProps
- */
-/**
- * @template {{[name: string]: LoadedValidator}} Vs
- * @template {{[name: string]: LoadedModule}} Ms
- */
-export class ContractContextBuilder<Vs extends {
-    [name: string]: LoadedValidator;
-}, Ms extends {
-    [name: string]: LoadedModule;
-}> {
-    /**
-     * @returns {ContractContextBuilder<{}, {}>}
-     */
-    static "new"(): ContractContextBuilder<{}, {}>;
-    /**
-     * @private
-     * @param {Vs} validators
-     * @param {Ms} modules
-     */
-    private constructor();
-    /**
-     * @private
-     * @readonly
-     * @type {Vs}
-     */
-    private readonly validators;
-    /**
-     * @private
-     * @readonly
-     * @type {Ms}
-     */
-    private readonly modules;
-    /**
-     * @template {LoadedValidator} V
-     * @param {V} validator
-     * @returns {ContractContextBuilder<
-     *   Vs & {[K in V["$name"]]: V},
-     *   Ms & ExtractDependencies<V>
-     * >}
-     */
-    with<V extends LoadedValidator>(validator: V): ContractContextBuilder<Vs & { [K in V["$name"]]: V; }, Ms & ExtractDependencies<V>>;
-    /**
-     * @template {LoadedModule} M
-     * @param {M} m
-     * @returns {ContractContextBuilder<
-     *   Vs,
-     *   Ms & {[K in M["$name"]]: M}
-     * >}
-     */
-    withModule<M extends LoadedModule>(m: M): ContractContextBuilder<Vs, Ms & { [K in M["$name"]]: M; }>;
-    /**
-     * @param {ContractContextBuildProps} props
-     * @returns {ContractContext<Vs, Ms>}
-     */
-    build(props: ContractContextBuildProps): ContractContext<Vs, Ms>;
-}
-export type UplcData = import("@helios-lang/uplc").UplcData;
-export type CastConfig = import("../cast/index.js").CastConfig;
-export type LoadedModule = import("../codegen/LoadedModule.js").LoadedModule;
-export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
-export type CompilerLib = import("../compiler/index.js").CompilerLib;
-export type ExtractDependencies<V extends LoadedValidator> = import("../codegen/LoadedValidator.js").ExtractDependencies<V>;
-export type ContractContext<Vs extends {
-    [name: string]: LoadedValidator;
-}, Ms extends {
-    [name: string]: LoadedModule;
-}> = import("./ContractContext.js").ContractContext<Vs, Ms>;
-/**
- * if `debug` is true, the ir is included where possible
- */
-export type ContractContextBuildProps = {
-    isMainnet: boolean;
-    expectedHashes?: {
-        [name: string]: string;
-    };
-    parameters?: Record<string, UplcData>;
-    dumpHashes?: boolean;
-    debug?: boolean;
-};
+export function makeContractContextBuilder(): ContractContextBuilder<{}, {}>;
+import type { ContractContextBuilder } from "../index.js";
 //# sourceMappingURL=ContractContextBuilder.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAMA;;;;;;GAMG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;;;;GASG;AAEH;;;GAGG;AACH,oCAHiD,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE;IA2BzC;;OAEG;IACH,gBAFa,sBAAsB,CAAC,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IAtBD;;;;OAIG;IACH,4BAAU;IAEV;;;;OAIG;IACH,yBAAO;IAmBP;;;;;;;OAOG;IACH,KAP+B,CAAC,SAAlB,eAAgB,aACnB,CAAC,GACC,sBAAsB,CAC9B,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,EAC3B,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAC5B,CAeH;IAED;;;;;;;OAOG;IACH,WAP4B,CAAC,SAAf,YAAa,KAChB,CAAC,GACC,sBAAsB,CAC9B,EAAE,EACF,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,CAC5B,CAUH;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC,CAsHnC;CACJ;uBAnOY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;gCAIxB,CAAC,SAAlB,eAAgB,IACjB,OAAO,+BAA+B,EAAE,mBAAmB,CAAC,CAAC,CAAC;4BAI1B,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;;;wCAKtD;IACR,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,CAAC,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,CAAA;IACzC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB"}
+{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAMA;;;GAGG;AAEH;;GAEG;AACH,8CAFa,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAI1C;4CARqK,aAAa"}

package/types/context/ContractContextCache.d.ts

@@ -1,8 +1,4 @@
 export const contractContextCache: ContractContextCache;
-export type UplcData = import("@helios-lang/uplc").UplcData;
-export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
-export type LoadedModule = import("../codegen/LoadedModule.js").LoadedModule;
-export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
 export type CacheEntry = import("./CacheEntry.js").CacheEntry;
 export type CacheEntryJson = import("./CacheEntry.js").CacheEntryJson;
 export type CacheEntryUserFuncsJson = import("./CacheEntry.js").CacheEntryUserFuncsJson;
@@ -13,10 +9,8 @@ export type ExplicitCache = {
     set(key: string, entry: JsonSafe): void;
 };
 /**
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
- * @typedef {import("../codegen/LoadedModule.js").LoadedModule} LoadedModule
- * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
+ * @import { UplcData, UplcProgram } from "@helios-lang/uplc"
+ * @import { LoadedModule, LoadedValidator } from "../index.js"
  * @typedef {import("./CacheEntry.js").CacheEntry} CacheEntry
  * @typedef {import("./CacheEntry.js").CacheEntryJson} CacheEntryJson
  * @typedef {import("./CacheEntry.js").CacheEntryUserFuncsJson} CacheEntryUserFuncsJson
@@ -93,5 +87,8 @@ declare class ContractContextCache {
      */
     toJson(): CacheEntryJson[];
 }
+import type { LoadedValidator } from "../index.js";
+import type { LoadedModule } from "../index.js";
+import type { UplcData } from "@helios-lang/uplc";
 export {};
 //# sourceMappingURL=ContractContextCache.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AA0JA,wDAA8D;uBApJjD,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;2BACvC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;yBACvD,OAAO,iBAAiB,EAAE,UAAU;6BACpC,OAAO,iBAAiB,EAAE,cAAc;sCACxC,OAAO,iBAAiB,EAAE,uBAAuB;uCACjD,OAAO,iBAAiB,EAAE,wBAAwB;4BAIlD;IACR,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;IACzB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC1B,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;CACxC;AAhBJ;;;;;;;;;GASG;AAEH;;;;;;GAMG;AAEH;IACI;;;;OAIG;IACH,wBAAe;IAEf;;;;OAIG;IACH,eAFU,MAAM,CAAC,aAAa,CAAC,CAElB;IAEb;;;;OAIG;IACH,UAAC;IAED;;;OAGG;IACH,gBAAO;IAQP,eAEC;IAED;;;;;;;;;;;OAWG;IACH,mBAVW;QACN,OAAO,EAAE,MAAM,CAAA;QACf,KAAK,EAAE,OAAO,CAAA;QACd,SAAS,EAAE,OAAO,CAAA;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;QAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;KACrC,GACS,MAAM,CA0BlB;IAED;;OAEG;IACH,WAFW,cAAc,EAAE,QAI1B;IAED;;;OAGG;IACH,SAHW,MAAM,SACN,UAAU,QAQpB;IAED;;;OAGG;IACH,SAHW,MAAM,GACJ,MAAM,CAAC,UAAU,CAAC,CAuB9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CAI3B;CACJ"}
+{"version":3,"file":"ContractContextCache.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextCache.js"],"names":[],"mappings":"AAwJA,wDAA8D;yBAhJjD,OAAO,iBAAiB,EAAE,UAAU;6BACpC,OAAO,iBAAiB,EAAE,cAAc;sCACxC,OAAO,iBAAiB,EAAE,uBAAuB;uCACjD,OAAO,iBAAiB,EAAE,wBAAwB;4BAIlD;IACR,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAA;IACzB,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,CAAA;IAC1B,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAA;CACxC;AAdJ;;;;;;;GAOG;AAEH;;;;;;GAMG;AAEH;IACI;;;;OAIG;IACH,wBAAe;IAEf;;;;OAIG;IACH,eAFU,MAAM,CAAC,aAAa,CAAC,CAElB;IAEb;;;;OAIG;IACH,UAAC;IAED;;;OAGG;IACH,gBAAO;IAQP,eAEC;IAED;;;;;;;;;;;OAWG;IACH,mBAVW;QACN,OAAO,EAAE,MAAM,CAAA;QACf,KAAK,EAAE,OAAO,CAAA;QACd,SAAS,EAAE,OAAO,CAAA;QAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;QAC3C,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;QACrC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;KACrC,GACS,MAAM,CA0BlB;IAED;;OAEG;IACH,WAFW,cAAc,EAAE,QAI1B;IAED;;;OAGG;IACH,SAHW,MAAM,SACN,UAAU,QAQpB;IAED;;;OAGG;IACH,SAHW,MAAM,GACJ,MAAM,CAAC,UAAU,CAAC,CAuB9B;IAED;;OAEG;IACH,UAFY,cAAc,EAAE,CAI3B;CACJ;qCA/IiD,aAAa;kCAAb,aAAa;8BADrB,mBAAmB"}

package/types/context/DagCompiler.d.ts

@@ -4,12 +4,8 @@
  */
 export function getModuleDependencies(validator: LoadedValidator): string[];
 /**
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @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
+ * @import { UplcData, UplcProgram, UplcProgramV2 } from "@helios-lang/uplc"
+ * @import { AnyContractValidatorContext, CastConfig, CompilerLib, LoadedValidator} from "../index.js"
  */
 /**
  * @typedef {CastConfig & {
@@ -61,12 +57,12 @@ export class DagCompiler {
      * @param {LoadedValidator[]} validators
      * @param {Record<string, UplcData>} parameters
      * @param {boolean} isTestnet
-     * @param {Option<{[name: string]: string}>} expectedHashes
+     * @param {{[name: string]: string} | undefined} expectedHashes
      * @returns {DagCompilerOutput}
      */
-    build(validators: LoadedValidator[], parameters: Record<string, UplcData>, isTestnet: boolean, expectedHashes?: Option<{
+    build(validators: LoadedValidator[], parameters: Record<string, UplcData>, isTestnet: boolean, expectedHashes?: {
         [name: string]: string;
-    }>): DagCompilerOutput;
+    } | undefined): DagCompilerOutput;
     /**
      * @private
      * @param {LoadedValidator} validator
@@ -96,12 +92,6 @@ export class DagCompiler {
      */
     private getValidatorIndices;
 }
-export type UplcData = import("@helios-lang/uplc").UplcData;
-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 DagCompilerConfig = CastConfig & {
     debug?: boolean;
 };
@@ -117,4 +107,10 @@ export type DagCompilerOutput = {
         [name: string]: UplcProgram;
     };
 };
+import type { LoadedValidator } from "../index.js";
+import type { UplcData } from "@helios-lang/uplc";
+import type { CompilerLib } from "../index.js";
+import type { CastConfig } from "../index.js";
+import type { AnyContractValidatorContext } from "../index.js";
+import type { UplcProgram } from "@helios-lang/uplc";
 //# 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":"AAuZA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AApaD;;;;;;;GAOG;AAEH;;;;GAIG;AACH;;;;;;;GAOG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,UACX,iBAAiB,EAO3B;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAaf;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,aACxB,OAAO,mBACP,MAAM,CAAC;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,CAAC,GAC9B,iBAAiB,CA2L7B;IAED;;;;;OAKG;IACH,4BAsCC;IAED;;;;;OAKG;IACH,yBA8BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;uBAzYY,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B;gCAI1D,UAAU,GAAG;IACrB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;;;;gCAIS;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IACzD,SAAS,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC"}
+{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AA2ZA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AAtaD;;;GAGG;AAEH;;;;GAIG;AACH;;;;;;;GAOG;AAEH;;GAEG;AACH;IA6BI;;;OAGG;IACH,iBAHW,WAAW,UACX,iBAAiB,EAO3B;IArCD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,kCAAgB;IAEhB;;;;OAIG;IACH,iCAAe;IAaf;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,aACxB,OAAO,mBACP;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,GAAG,SAAS,GAClC,iBAAiB,CAgM7B;IAED;;;;;OAKG;IACH,4BAuCC;IAED;;;;;OAKG;IACH,yBA8BC;IAED;;;;;OAKG;IACH,qBAoBC;IAED;;;;;OAKG;IACH,4BAeC;CACJ;gCAtYY,UAAU,GAAG;IACrB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;;;;gCAIS;IACR,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,2BAA2B,CAAA;KAAC,CAAA;IACzD,SAAS,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAAA;KAAC,CAAA;CACzC;qCAdqF,aAAa;8BAD7C,mBAAmB;iCACa,aAAa;gCAAb,aAAa;iDAAb,aAAa;iCAD7C,mBAAmB"}

package/types/context/index.d.ts

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

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

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

package/types/hl2ts.d.ts

@@ -1,7 +1,4 @@
 #!/usr/bin/env node
-export type CompilerLib = import("./compiler/CompilerLib.js").CompilerLib;
-export type ModuleDetails = import("./compiler/CompilerLib.js").TypeCheckedModule;
-export type ValidatorDetails = import("./compiler/CompilerLib.js").TypeCheckedValidator;
 export type SourceDetails = {
     name: string;
     purpose: string;

package/types/hl2ts.d.ts.map

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