@helios-lang/contract-utils 0.1.20 → 0.1.24

package/types/lib/Libg_v0_16.d.ts

@@ -1,11 +1,10 @@
 /**
- * @typedef {import("../codegen/index.js").Module} ModuleDetails
- * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
+ * @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").LibOptions} LibOptions
  * @typedef {import("./Lib.js").SourceDetails} SourceDetails
  */
 /**
@@ -15,7 +14,7 @@
  */
 /**
  * @typedef {{
- * }} HashType
+ * }} ScriptHashType
  */
 /**
  * @typedef {{
@@ -100,15 +99,8 @@
 export class Lib_v0_16 implements Lib {
     /**
      * @param {any} lib
-     * @param {LibOptions} options
      */
-    constructor(lib: any, options: LibOptions);
-    /**
-     * @private
-     * @readonly
-     * @type {LibOptions}
-     */
-    private readonly options;
+    constructor(lib: any);
     lib: any;
     /**
      * @type {string}
@@ -116,83 +108,92 @@ export class Lib_v0_16 implements Lib {
     get version(): string;
     /**
      * @param {string} purpose
-     * @returns {HashType}
+     * @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}
      */
-    getValidatorType(purpose: string): HashType;
+    compile(main: string, modules: string[], options: CompileOptions): CompileOutput;
     /**
      * @private
      * @param {SourceDetails[]} validators
      * @param {SourceDetails[]} modules
-     * @param {{[name: string]: HashType}} validatorTypes
+     * @param {{[name: string]: ScriptHashType}} validatorTypes
      * @returns {Program[]}
      */
     private createPrograms;
     /**
      * @private
      * @param {Program} program
-     * @param {{[name: string]: HashType}} validatorTypes
+     * @param {{[name: string]: ScriptHashType}} validatorTypes
      * @returns {IR}
      */
     private toTestIR;
     /**
      * @private
      * @param {Program[]} validators
-     * @param {{[name: string]: HashType}} validatorTypes
+     * @param {{[name: string]: ScriptHashType}} validatorTypes
      * @returns {DagDependencies}
      */
     private buildDagDependencies;
     /**
-     * @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").ModuleDetails;
-        };
-        validators: {
-            [name: string]: import("./Lib.js").ValidatorDetails;
-        };
-    };
-    /**
+     * @private
      * @param {TypeSchema} it
      * @returns {InternalTypeDetails}
      */
-    convertInternalType(it: TypeSchema): InternalTypeDetails;
+    private convertInternalType;
     /**
+     * @private
      * @param {DataType} dt
      * @returns {InternalTypeDetails}
      */
-    getInternalTypeDetails(dt: DataType): InternalTypeDetails;
-    /**
-     * @param {string[]} modules
-     * @returns {string[]}
-     */
-    sortModules(modules: string[]): string[];
-    /**
-     * @param {string} main
-     * @param {string[]} modules
-     * @param {CompileOptions} options
-     * @returns {CompileOutput}
-     */
-    compile(main: string, modules: string[], options: CompileOptions): CompileOutput;
+    private getInternalTypeDetails;
 }
-export type ModuleDetails = import("../codegen/index.js").Module;
-export type ValidatorDetails = import("../codegen/index.js").Validator;
+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 LibOptions = import("./Lib.js").LibOptions;
 export type SourceDetails = import("./Lib.js").SourceDetails;
 export type DagDependencies = {
     [name: string]: string[];
 };
-export type HashType = {};
+export type ScriptHashType = {};
 export type IR = {
     includes: (m: string) => boolean;
 };

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":"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;IAQI;;;OAGG;IACH,iBAHW,GAAG,WACH,UAAU,EAYpB;IArBD;;;;OAIG;IACH,yBAAO;IAOH,SAAc;IAWlB;;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;;;OAGG;IACH,qBAHW,MAAM,EAAE,GACN,MAAM,EAAE,CA6BpB;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA4FzB;CACJ;4BAteY,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"}
+{"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,4 +1,3 @@
 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;yBACtB,OAAO,UAAU,EAAE,UAAU"}
+{"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,12 +1,6 @@
 /**
- * @typedef {import("./Lib.js").Lib} Lib
- * @typedef {import("./Lib.js").LibOptions} LibOptions
- */
-/**
- * @param {LibOptions} options
  * @returns {Lib}
  */
-export function loadLibrary(options?: LibOptions): Lib;
+export function loadLibrary(): 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;;;GAGG;AAEH;;;GAGG;AACH,sCAHW,UAAU,GACR,GAAG,CAcf;kBApBY,OAAO,UAAU,EAAE,GAAG;yBACtB,OAAO,UAAU,EAAE,UAAU"}
+{"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/ContractContext.d.ts

@@ -1,44 +1,23 @@
-/**
- * @typedef {{
- *   $name: string
- *   $purpose: string
- *   $program: {
- *     optimized: UplcProgramV2
- *     unoptimized: UplcProgramV2
- *   }
- *   $hash: ScriptHash
- *   $Redeemer: Cast<any, any>
- *   $Datum?: Cast<any, any>
- * }} Validator
- */
-/**
- * @template {{[name: string]: Validator}} T
- */
-export class ContractContext<T extends {
-    [name: string]: Validator;
-}> {
-    /**
-     * @param {T} validators
-     */
-    constructor(validators: T);
-    /**
-     * @readonly
-     * @type {T}
-     */
-    readonly validators: T;
-}
-export type Validator = {
-    $name: string;
-    $purpose: string;
-    $program: {
-        optimized: UplcProgramV2;
-        unoptimized: UplcProgramV2;
-    };
-    $hash: ScriptHash;
-    $Redeemer: Cast<any, any>;
-    $Datum?: Cast<any, any>;
-};
-import { UplcProgramV2 } from "@helios-lang/uplc";
-import { ScriptHash } from "@helios-lang/ledger";
-import { Cast } from "./Cast.js";
+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 +1 @@
-{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContext.js"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AAEH;;GAEG;AACH;;;IAOI;;OAEG;IACH,wBAFW,CAAC,EAIX;IAXD;;;OAGG;IACH,qBAFU,CAAC,CAED;CAQb;wBA7BY;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,QAAY,EAAE,MAAM,CAAA;IACpB,QAAY,EAAE;QACd,SAAe,EAAE,aAAa,CAAA;QAC9B,WAAiB,EAAE,aAAa,CAAA;KAC3B,CAAA;IACL,KAAS,EAAE,UAAU,CAAA;IACrB,SAAa,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;IAC7B,MAAU,CAAC,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;CACxB;8BAd0B,mBAAmB;2BADtB,qBAAqB;qBAE3B,WAAW"}
+{"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,57 +1,17 @@
 /**
+ * @typedef {import("../codegen/LoadedModule.js").LoadedModule} LoadedModule
+ * @typedef {import("../codegen/LoadedValidator.js").LoadedValidator} LoadedValidator
  * @typedef {import("../lib/index.js").Lib} Lib
- * @typedef {import("../lib/index.js").LibOptions} LibOptions
- * @typedef {import("./ContractContext.js").Validator} CompiledValidator
  */
 /**
- * @template TRedeemerStrict
- * @template TRedeemerPermissive
- * @typedef {import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>} MintingContext
+ * @template {{[name: string]: LoadedValidator}} T
+ * @typedef {import("./ContractContext.js").ContractContext<T>} ContractContext
  */
 /**
- * @template TDatumStrict
- * @template TDatumPermissive
- * @template TRedeemerStrict
- * @template TRedeemerPermissive
- * @typedef {import("@helios-lang/ledger").SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive>} SpendingContext
- */
-/**
- * @template TRedeemerStrict
- * @template TRedeemerPermissive
- * @typedef {import("@helios-lang/ledger").StakingContext<TRedeemerStrict, TRedeemerPermissive>} StakingContext
- */
-/**
- * @template {Cast} C
- * @typedef {import("./PermissiveType.js").PermissiveType<C>} PermissiveType
- */
-/**
- * @template {Cast} C
- * @typedef {import("./StrictType.js").StrictType<C>} StrictType
- */
-/**
- * @typedef {{
- *   $name: string
- *   $sourceCode: string
- *   $dependencies: Module[]
- * }} Module
- */
-/**
- * @typedef {{
- *   $name: string
- *   $purpose: string
- *   $sourceCode: string
- *   $dependencies: Module[]
- *   $hashDependencies: Validator[]
- *   $dependsOnOwnHash: boolean
- *   $Redeemer: Cast<any, any>
- *   $Datum?: Cast<any, any>
- * }} Validator
- */
-/**
- * @template {{[name: string]: Validator}} T
+ * @template {{[name: string]: LoadedValidator}} T
  */
 export class ContractContextBuilder<T extends {
-    [name: string]: Validator;
+    [name: string]: import("./DagCompiler.js").LoadedValidator;
 }> {
     /**
      * @returns {ContractContextBuilder<{}>}
@@ -60,7 +20,6 @@ export class ContractContextBuilder<T extends {
     /**
      * @private
      * @param {T} validators
-     * @param {Option<Module[]>} forcedModules
      */
     private constructor();
     /**
@@ -70,92 +29,25 @@ export class ContractContextBuilder<T extends {
      */
     private readonly validators;
     /**
-     * @private
-     * @readonly
-     * @type {Option<Module[]>}
-     */
-    private readonly forcedModules;
-    /**
-     * @param {Module[]} modules
-     * @returns {ContractContextBuilder<T>}
-     */
-    setModules(modules: Module[]): ContractContextBuilder<T>;
-    /**
-     * @template {Validator} V
+     * @template {LoadedValidator} V
      * @param {V} validator
      * @returns {ContractContextBuilder<T & {
      *   [K in V["$name"]]: V
      * }>}
      */
-    with<V extends Validator>(validator: V): ContractContextBuilder<T & { [K in V["$name"]]: V; }>;
-    /**
-     * @private
-     * @param {Validator} validator
-     * @returns {Map<string, string>}
-     */
-    private getModules;
-    /**
-     * @private
-     * @param {Lib} lib
-     * @returns {{[name: string]: any}}
-     */
-    private getValidatorTypes;
+    with<V extends import("./DagCompiler.js").LoadedValidator>(validator: V): ContractContextBuilder<T & { [K in V["$name"]]: V; }>;
     /**
      * @param {Option<{[name: string]: string}>} expectedHashes
-     * @param {LibOptions} options
-     * @returns {{
-     *   [K in keyof T]:
-     *     T[K]["$purpose"] extends "spending" ? ValidatorHash<
-     *       SpendingContext<
-     *         StrictType<T[K]["$Datum"]>,
-     *         PermissiveType<T[K]["$Datum"]>,
-     *         StrictType<T[K]["$Redeemer"]>,
-     *         PermissiveType<T[K]["$Redeemer"]>
-     *       >
-     *     > :
-     *     T[K]["$purpose"] extends "minting" ? MintingPolicyHash<
-     *       MintingContext<
-     *         StrictType<T[K]["$Redeemer"]>,
-     *         PermissiveType<T[K]["$Redeemer"]>
-     *       >
-     *     > :
-     *     T[K]["$purpose"] extends ("certifying" | "rewarding") ? StakingValidatorHash<
-     *       StakingContext<
-     *         StrictType<T[K]["$Redeemer"]>,
-     *         PermissiveType<T[K]["$Redeemer"]>
-     *       >
-     *     > : never
-     * }}
+     * @returns {ContractContext<T>}
      */
     build(expectedHashes?: Option<{
         [name: string]: string;
-    }>, 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; };
+    }>): 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 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>;
-export type StakingContext<TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").StakingContext<TRedeemerStrict, TRedeemerPermissive>;
-export type PermissiveType<C extends Cast<import("@helios-lang/ledger").UplcData, import("@helios-lang/ledger").UplcData>> = import("./PermissiveType.js").PermissiveType<C>;
-export type StrictType<C extends Cast<import("@helios-lang/ledger").UplcData, import("@helios-lang/ledger").UplcData>> = import("./StrictType.js").StrictType<C>;
-export type Module = {
-    $name: string;
-    $sourceCode: string;
-    $dependencies: Module[];
-};
-export type Validator = {
-    $name: string;
-    $purpose: string;
-    $sourceCode: string;
-    $dependencies: Module[];
-    $hashDependencies: Validator[];
-    $dependsOnOwnHash: boolean;
-    $Redeemer: Cast<any, any>;
-    $Datum?: Cast<any, any>;
-};
-import { ValidatorHash } from "@helios-lang/ledger";
-import { MintingPolicyHash } from "@helios-lang/ledger";
-import { StakingValidatorHash } from "@helios-lang/ledger";
-import { Cast } from "./Cast.js";
+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 +1 @@
-{"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;;;IAyBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAfD;;;;OAIG;IACH,sBAGC;IAtBD;;;;OAIG;IACH,4BAAU;IAEV;;;;OAIG;IACH,+BAAa;IAmBb;;;OAGG;IACH,oBAHW,MAAM,EAAE,GACN,uBAAuB,CAAC,CAAC,CAIrC;IAED;;;;;;OAMG;IACH,+FAQC;IAED;;;;OAIG;IACH,mBAyBC;IAED;;;;OAIG;IACH,0BAMC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH;;kBAzBW,UAAU,qwBAiKpB;CACJ;kBArUY,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"}
+{"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

@@ -0,0 +1,64 @@
+/**
+ * @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

@@ -0,0 +1 @@
+{"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 +1,3 @@
 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.js";
+import { Cast } from "../cast/Cast.js";
 //# sourceMappingURL=PermissiveType.d.ts.map

package/types/runtime/StrictType.d.ts

@@ -1,3 +1,3 @@
 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.js";
+import { Cast } from "../cast/Cast.js";
 //# sourceMappingURL=StrictType.d.ts.map

package/types/runtime/index.d.ts

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

package/examples/spending/contract.js

@@ -1,16 +0,0 @@
-import { ContractContextBuilder } from "@helios-lang/contract-utils"
-import { Address, TxBuilder } from "@helios-lang/ledger"
-import { match_string, match_string_policy } from "./index.js"
-
-const context = ContractContextBuilder.new()
-    .with(match_string)
-    .with(match_string_policy)
-    .build()
-
-console.log(context.match_string_policy.toHex())
-
-const address = Address.fromHash(context.match_string)
-
-const b = new TxBuilder()
-    .mint(context.match_string_policy, [["", 10]], "hello")
-    .pay(address, 0n, { hash: { One: { message: "hello" } } })

package/examples/spending/index.js

@@ -1,27 +0,0 @@
-import { Cast } from "@helios-lang/contract-utils";
-export const utils = {
-    $name: "utils",
-    $purpose: "module",
-    $sourceCode: "module utils\n\nfunc compare(a: String, b: String) -> Bool {\n    a == b\n}",
-    $dependencies: [],
-}
-export const match_string_policy = {
-    $name: "match_string_policy",
-    $purpose: "minting",
-    $sourceCode: "minting match_string_policy\n\nfunc main(redeemer: String, _) -> Bool {\n    redeemer == \"Hello\"\n}",
-    $dependencies: [],
-    $hashDependencies: [],
-    $dependsOnOwnHash: false,
-    $Redeemer: new Cast({"primitiveType":"String"}),
-    
-}
-export const match_string = {
-    $name: "match_string",
-    $purpose: "spending",
-    $sourceCode: "spending match_string\n\nimport { compare } from utils\n\nenum Datum {\n One {\n  message: String\n }\n\n Two {\n  code: Int\n }\n}\n\nfunc main(datum: Datum, redeemer: String, _) -> Bool {\n compare(datum.switch{d: One => d.message, d: Two => d.code.show()}, redeemer)\n}",
-    $dependencies: [utils],
-    $hashDependencies: [],
-    $dependsOnOwnHash: false,
-    $Redeemer: new Cast({"primitiveType":"String"}),
-    $Datum: new Cast({"enumVariantTypes":[{"name":"One","fieldTypes":[{"name":"message","type":{"primitiveType":"String"}}]},{"name":"Two","fieldTypes":[{"name":"code","type":{"primitiveType":"Int"}}]}]})
-}

package/examples/spending/minting.hl

@@ -1,5 +0,0 @@
-minting match_string_policy
-
-func main(redeemer: String, _) -> Bool {
-    redeemer == "Hello"
-}

package/examples/spending/spending.hl

@@ -1,17 +0,0 @@
-spending match_string
-
-import { compare } from "./utils.hl"
-
-enum Datum {
-	One {
-		message: String
-	}
-
-	Two {
-		code: Int
-	}
-}
-
-func main(datum: Datum, redeemer: String, _) -> Bool {
-	compare(datum.switch{d: One => d.message, d: Two => d.code.show()}, redeemer)
-}

package/examples/spending/utils.hl

@@ -1,5 +0,0 @@
-module utils
-
-func compare(a: String, b: String) -> Bool {
-    a == b
-}