@helios-lang/contract-utils 0.3.21 → 0.3.22

package/types/lib/Libg_v0_16.d.ts

@@ -1,256 +0,0 @@
-/**
- * @typedef {import("../codegen/index.js").TypeCheckedModule} ModuleDetails
- * @typedef {import("../codegen/index.js").TypeCheckedValidator} 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").SourceDetails} SourceDetails
- */
-/**
- * @typedef {{
- *   [name: string]: string[]
- * }} DagDependencies
- */
-/**
- * @typedef {{
- * }} ScriptHashType
- */
-/**
- * @typedef {{
- *   includes: (m: string) => boolean
- * }} IR
- */
-/**
- * @typedef {{
- *   name: string
- * }} EnumStatement
- */
-/**
- * @typedef {{
- *   name: string
- * }} StructStatement
- */
-/**
- * @typedef {StructStatement | EnumStatement | any} Statement
- */
-/**
- * @typedef {{
- *   name: {value: string}
- *   filterDependencies: (all: Module[]) => Module[]
- *   statements: Statement[]
- * }} Module
- */
-/**
- * @typedef {{
- *   name: string
- *   toIR: (ctx: any, extra: Map<string, IR>) => IR
- *   types: UserTypes
- *   mainImportedModules: Module[]
- *   mainModule: Module
- *   mainArgTypes: DataType[]
- * }} Program
- */
-/**
- * @typedef {{
- *   typeDetails?: TypeDetails
- * }} DataType
- */
-/**
- * @typedef {{
- *   type:  string
- * } | {
- *   type:     "List"
- *   itemType: TypeSchema
- * } | {
- *   type:      "Map"
- *   keyType:   TypeSchema
- *   valueType: TypeSchema
- * } | {
- *   type:     "Option"
- *   someType: TypeSchema
- * } | {
- *   type:       "Struct"
- *   fieldTypes: NamedTypeSchema[]
- * } | {
- *   type:         "Enum"
- *   variantTypes: {name: string, fieldTypes: NamedTypeSchema[]}[]
- * }} TypeSchema
- */
-/**
- * @typedef {{
- * 	 name: string
- * } & TypeSchema} NamedTypeSchema
- */
-/**
- * @typedef {{
- *   inputType: string
- *   outputType: string
- *   internalType: TypeSchema
- * }} TypeDetails
- */
-/**
- * @typedef {{
- * }} UserTypes
- */
-/**
- * @implements {Lib}
- */
-export class Lib_v0_16 implements Lib {
-    /**
-     * @param {any} lib
-     */
-    constructor(lib: any);
-    lib: any;
-    /**
-     * @type {string}
-     */
-    get version(): string;
-    /**
-     * @param {string} purpose
-     * @returns {ScriptHashType}
-     */
-    getScriptHashType(purpose: string): ScriptHashType;
-    /**
-     * @param {{[name: string]: SourceDetails}} validators
-     * @param {{[name: string]: SourceDetails}} modules
-     * @returns {{modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}}}
-     */
-    typeCheck(validators: {
-        [name: string]: import("./Lib.js").SourceDetails;
-    }, modules: {
-        [name: string]: import("./Lib.js").SourceDetails;
-    }): {
-        modules: {
-            [name: string]: import("./Lib.js").TypeCheckedModule;
-        };
-        validators: {
-            [name: string]: import("./Lib.js").TypeCheckedValidator;
-        };
-    };
-    /**
-     * Generate additional IR definitions
-     *   * dependency on own precalculated hash (eg. unoptimized program should use hash of optimized program)
-     *   * dependency on own hash through methods defined on the ScriptContext
-     *   * dependency on hashes of other validators
-     * @private
-     * @param {string} name - name of the validator being compiled
-     * @param {string} purpose - purpose the validator being compiled
-     * @param {number} nPosParams
-     * @param {CompileOptions} options
-     * @returns {Map<string, IR>}
-     */
-    private generateExtraIRDefinitions;
-    /**
-     * @param {string} main
-     * @param {string[]} modules
-     * @param {CompileOptions} options
-     * @returns {CompileOutput}
-     */
-    compile(main: string, modules: string[], options: CompileOptions): CompileOutput;
-    /**
-     * @private
-     * @param {SourceDetails[]} validators
-     * @param {SourceDetails[]} modules
-     * @param {{[name: string]: ScriptHashType}} validatorTypes
-     * @returns {Program[]}
-     */
-    private createPrograms;
-    /**
-     * @private
-     * @param {Program} program
-     * @param {{[name: string]: ScriptHashType}} validatorTypes
-     * @returns {IR}
-     */
-    private toTestIR;
-    /**
-     * @private
-     * @param {Program[]} validators
-     * @param {{[name: string]: ScriptHashType}} validatorTypes
-     * @returns {DagDependencies}
-     */
-    private buildDagDependencies;
-    /**
-     * @private
-     * @param {TypeSchema} it
-     * @returns {InternalTypeDetails}
-     */
-    private convertInternalType;
-    /**
-     * @private
-     * @param {DataType} dt
-     * @returns {InternalTypeDetails}
-     */
-    private getInternalTypeDetails;
-}
-export type ModuleDetails = import("../codegen/index.js").TypeCheckedModule;
-export type ValidatorDetails = import("../codegen/index.js").TypeCheckedValidator;
-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 SourceDetails = import("./Lib.js").SourceDetails;
-export type DagDependencies = {
-    [name: string]: string[];
-};
-export type ScriptHashType = {};
-export type IR = {
-    includes: (m: string) => boolean;
-};
-export type EnumStatement = {
-    name: string;
-};
-export type StructStatement = {
-    name: string;
-};
-export type Statement = StructStatement | EnumStatement | any;
-export type Module = {
-    name: {
-        value: string;
-    };
-    filterDependencies: (all: Module[]) => Module[];
-    statements: Statement[];
-};
-export type Program = {
-    name: string;
-    toIR: (ctx: any, extra: Map<string, IR>) => IR;
-    types: UserTypes;
-    mainImportedModules: Module[];
-    mainModule: Module;
-    mainArgTypes: DataType[];
-};
-export type DataType = {
-    typeDetails?: TypeDetails;
-};
-export type TypeSchema = {
-    type: string;
-} | {
-    type: "List";
-    itemType: TypeSchema;
-} | {
-    type: "Map";
-    keyType: TypeSchema;
-    valueType: TypeSchema;
-} | {
-    type: "Option";
-    someType: TypeSchema;
-} | {
-    type: "Struct";
-    fieldTypes: NamedTypeSchema[];
-} | {
-    type: "Enum";
-    variantTypes: {
-        name: string;
-        fieldTypes: NamedTypeSchema[];
-    }[];
-};
-export type NamedTypeSchema = {
-    name: string;
-} & TypeSchema;
-export type TypeDetails = {
-    inputType: string;
-    outputType: string;
-    internalType: TypeSchema;
-};
-export type UserTypes = {};
-//# sourceMappingURL=Libg_v0_16.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAGA;;;;;;;;GAQG;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;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAa1B;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;;;;;;;;;OAWG;IACH,mCAoDC;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CAyCzB;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH,4BA8BC;IAED;;;;OAIG;IACH,+BAYC;CACJ;4BArcY,OAAO,qBAAqB,EAAE,iBAAiB;+BAC/C,OAAO,qBAAqB,EAAE,oBAAoB;kCAClD,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,UAAU,EAAE,cAAc;4BACjC,OAAO,UAAU,EAAE,aAAa;kBAChC,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;;;;6BAUhC,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 +0,0 @@
-export { loadLibrary } from "./load.js";
-export type Lib = import("./Lib.js").Lib;
-//# sourceMappingURL=index.d.ts.map

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

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

package/types/lib/load.d.ts

@@ -1,6 +0,0 @@
-/**
- * @returns {Lib}
- */
-export function loadLibrary(): Lib;
-export type Lib = import("./Lib.js").Lib;
-//# sourceMappingURL=load.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AAeA;;GAEG;AACH,+BAFa,GAAG,CAcf;kBA1BY,OAAO,UAAU,EAAE,GAAG"}

package/types/runtime/Cast.d.ts

@@ -1,32 +0,0 @@
-/**
- * @typedef {import("@helios-lang/uplc").UplcData} UplcData
- * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
- */
-/**
- * @template [TStrict=UplcData]
- * @template [TPermissive=UplcData]
- */
-export class Cast<TStrict = import("@helios-lang/ledger").UplcData, TPermissive = import("@helios-lang/ledger").UplcData> {
-    /**
-     * @param {TypeSchema} schema
-     */
-    constructor(schema: TypeSchema);
-    /**
-     * @readonly
-     * @type {TypeSchema}
-     */
-    readonly schema: TypeSchema;
-    /**
-     * @param {UplcData} data
-     * @returns {TStrict}
-     */
-    fromUplcData(data: UplcData): TStrict;
-    /**
-     * @param {TPermissive} x
-     * @returns {UplcData}
-     */
-    toUplcData(x: TPermissive): UplcData;
-}
-export type UplcData = import("@helios-lang/uplc").UplcData;
-export type TypeSchema = import("../codegen/index.js").TypeSchema;
-//# sourceMappingURL=Cast.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/runtime/Cast.js"],"names":[],"mappings":"AAgCA;;;GAGG;AAEH;;;GAGG;AACH;IAOI;;OAEG;IACH,oBAFW,UAAU,EAIpB;IAXD;;;OAGG;IACH,iBAFU,UAAU,CAEd;IASN;;;OAGG;IACH,mBAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,cAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBArCY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU"}

package/types/runtime/ContractContext.d.ts

@@ -1,23 +0,0 @@
-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 PermissiveType<C extends Cast<any, any>> = import("../cast/index.js").PermissiveType<C>;
-export type StrictType<C extends Cast<any, any>> = import("../cast/index.js").StrictType<C>;
-export type AnyContractValidatorHash = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>>);
-export type ContractValidatorHash<V extends import("../codegen/LoadedValidator.js").LoadedValidator> = V extends {
-    "$purpose": "spending";
-    "$Datum": Cast;
-} ? ValidatorHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>> : V extends {
-    "$purpose": "minting";
-} ? MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>> : V extends {
-    "$purpose": ("certifying" | "rewarding");
-} ? StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>> : never;
-export type ContractContext<T extends {
-    [name: string]: import("../codegen/LoadedValidator.js").LoadedValidator;
-}> = { [K in keyof T]: ContractValidatorHash<T[K]>; };
-import { Cast } from "../cast/index.js";
-import { ValidatorHash } from "@helios-lang/ledger";
-import { MintingPolicyHash } from "@helios-lang/ledger";
-import { StakingValidatorHash } from "@helios-lang/ledger";
-//# sourceMappingURL=ContractContext.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContext.js"],"names":[],"mappings":"8BAQa,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;uDAKlF,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;mDAK5C,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;uCAIxC,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;uGAKS,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,IAAI,CAAA;CAAC,GAAG,cACjE,gBACA,WAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,EACjC,eAAyB,CAAC,CAAC,QAAQ,CAAC,CAAC,EACrC,WAAqB,CAAC,CAAC,WAAW,CAAC,CAAC,EACpC,eAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,GACP,CAAO,SAAS;IAAC,UAAU,EAAE,SAAS,CAAA;CAAC,GAAG,kBAC1C,eACA,WAAqB,CAAC,CAAC,WAAW,CAAC,CAAC,EACpC,eAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,GACP,CAAO,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,CAAC,CAAA;CAAC,GAAG,qBAC7D,eACA,WAAqB,CAAC,CAAC,WAAW,CAAC,CAAC,EACpC,eAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,GAAG,KAAK;;;;qBAjEK,kBAAkB;8BADhC,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB"}

package/types/runtime/ContractContextBuilder.d.ts

@@ -1,53 +0,0 @@
-/**
- * @typedef {import("../codegen/LoadedModule.js").LoadedModule} LoadedModule
- * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
- * @typedef {import("../lib/index.js").Lib} Lib
- */
-/**
- * @template {{[name: string]: LoadedValidator}} T
- * @typedef {import("./ContractContext.js").ContractContext<T>} ContractContext
- */
-/**
- * @template {{[name: string]: LoadedValidator}} T
- */
-export class ContractContextBuilder<T extends {
-    [name: string]: import("./DagCompiler.js").LoadedValidator;
-}> {
-    /**
-     * @returns {ContractContextBuilder<{}>}
-     */
-    static "new"(): ContractContextBuilder<{}>;
-    /**
-     * @private
-     * @param {T} validators
-     */
-    private constructor();
-    /**
-     * @private
-     * @readonly
-     * @type {T}
-     */
-    private readonly validators;
-    /**
-     * @template {LoadedValidator} V
-     * @param {V} validator
-     * @returns {ContractContextBuilder<T & {
-     *   [K in V["$name"]]: V
-     * }>}
-     */
-    with<V extends import("./DagCompiler.js").LoadedValidator>(validator: V): ContractContextBuilder<T & { [K in V["$name"]]: V; }>;
-    /**
-     * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {ContractContext<T>}
-     */
-    build(expectedHashes?: Option<{
-        [name: string]: string;
-    }>): ContractContext<T>;
-}
-export type LoadedModule = import("../codegen/LoadedModule.js").LoadedModule;
-export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
-export type Lib = import("../lib/index.js").Lib;
-export type ContractContext<T extends {
-    [name: string]: import("./DagCompiler.js").LoadedValidator;
-}> = import("./ContractContext.js").ContractContext<T>;
-//# sourceMappingURL=ContractContextBuilder.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAIA;;;;GAIG;AAEH;;;GAGG;AAEH;;GAEG;AACH;;;IAgBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAbD;;;OAGG;IACH,sBAEC;IAbD;;;;OAIG;IACH,4BAAU;IAiBV;;;;;;OAMG;IACH,gIAKC;IAED;;;OAGG;IACH;;SAFa,gBAAgB,CAAC,CAAC,CAU9B;CACJ;2BA/DY,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;kBACvD,OAAO,iBAAiB,EAAE,GAAG;;;KAK7B,OAAO,sBAAsB,EAAE,eAAe,CAAC,CAAC,CAAC"}

package/types/runtime/DagCompiler.d.ts

@@ -1,64 +0,0 @@
-/**
- * @param {LoadedValidator} validator
- * @returns {string[]}
- */
-export function getModuleDependencies(validator: LoadedValidator): string[];
-/**
- * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
- * @typedef {import("../lib/index.js").Lib} Lib
- * @typedef {import("./ContractContext.js").AnyContractValidatorHash} AnyContractValidatorHash
- */
-/**
- * Compiles a set of validators that depend on eachothers hashes (forming a Directed Acyclical Graph)
- */
-export class DagCompiler {
-    /**
-     * @param {Lib} lib
-     */
-    constructor(lib: Lib);
-    /**
-     * @private
-     * @readonly
-     * @type {Lib}
-     */
-    private readonly lib;
-    /**
-     * @private
-     * @readonly
-     * @type {{[name: string]: AnyContractValidatorHash}}
-     */
-    private readonly cache;
-    /**
-     * @param {LoadedValidator[]} validators
-     * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {{[name: string]: AnyContractValidatorHash}}
-     */
-    build(validators: LoadedValidator[], expectedHashes?: Option<{
-        [name: string]: string;
-    }>): {
-        [name: string]: import("./ContractContext.js").AnyContractValidatorHash;
-    };
-    /**
-     * @private
-     * @param {LoadedValidator} validator
-     * @param {UplcProgramV2} program
-     * @param {string} hash - although this can be derived from `program`, reuse this to save some effort
-     */
-    private addToCache;
-    /**
-     * @private
-     * @param {LoadedValidator} validator
-     * @returns {{[name: string]: string}} - TODO: do we really need the purpose?
-     */
-    private getHashDependencies;
-    /**
-     * @private
-     * @param {LoadedValidator[]} validators
-     * @returns {{[name: string]: any}}
-     */
-    private getHashTypes;
-}
-export type LoadedValidator = import("../codegen/LoadedValidator.js").LoadedValidator;
-export type Lib = import("../lib/index.js").Lib;
-export type AnyContractValidatorHash = import("./ContractContext.js").AnyContractValidatorHash;
-//# sourceMappingURL=DagCompiler.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/runtime/DagCompiler.js"],"names":[],"mappings":"AA4MA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AA3ND;;;;GAIG;AAEH;;GAEG;AACH;IAeI;;OAEG;IACH,iBAFW,GAAG,EAKb;IApBD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,uBAAK;IAUL;;;;OAIG;IACH,kBAJW,eAAe,EAAE;;;;MAkF3B;IAED;;;;;OAKG;IACH,mBA6BC;IAED;;;;OAIG;IACH,4BAoBC;IAED;;;;OAIG;IACH,qBAMC;CACJ;8BAhMY,OAAO,+BAA+B,EAAE,eAAe;kBACvD,OAAO,iBAAiB,EAAE,GAAG;uCAC7B,OAAO,sBAAsB,EAAE,wBAAwB"}

package/types/runtime/PermissiveType.d.ts

@@ -1,3 +0,0 @@
-export type PermissiveType<C extends Cast<import("@helios-lang/uplc/types/data/UplcData.js").UplcData, import("@helios-lang/uplc/types/data/UplcData.js").UplcData>> = C extends Cast<any, infer TPermissive> ? TPermissive : never;
-import { Cast } from "../cast/Cast.js";
-//# sourceMappingURL=PermissiveType.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/runtime/PermissiveType.js"],"names":[],"mappings":";qBAAqB,WAAW"}

package/types/runtime/StrictType.d.ts

@@ -1,3 +0,0 @@
-export type StrictType<C extends Cast<import("@helios-lang/uplc/types/data/UplcData.js").UplcData, import("@helios-lang/uplc/types/data/UplcData.js").UplcData>> = C extends Cast<infer TStrict, any> ? TStrict : never;
-import { Cast } from "../cast/Cast.js";
-//# sourceMappingURL=StrictType.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/runtime/StrictType.js"],"names":[],"mappings":";qBAAqB,WAAW"}

package/types/runtime/index.d.ts

@@ -1,2 +0,0 @@
-export { ContractContextBuilder } from "./ContractContextBuilder.js";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/runtime/index.js"],"names":[],"mappings":""}