@helios-lang/contract-utils 0.1.41 → 0.2.1

package/types/cast/Cast.d.ts

@@ -1,21 +1,51 @@
+/**
+ * @template TStrict
+ * @template TPermissive
+ * @param {CastLike<TStrict, TPermissive>} cast
+ * @param {CastConfig} config
+ * @returns {Cast<TStrict, TPermissive>}
+ */
+export function configureCast<TStrict, TPermissive>(cast: CastLike<TStrict, TPermissive>, config: CastConfig): Cast<TStrict, TPermissive>;
 /**
  * @typedef {import("@helios-lang/uplc").UplcData} UplcData
  * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
  */
 /**
- * @template [TStrict=any]
- * @template [TPermissive=any]
+ * @typedef {{
+ *   isMainnet: boolean
+ * }} CastConfig
+ */
+/**
+ * @template TStrict
+ * @template TPermissive
+ * @typedef {(config: CastConfig) => Cast<TStrict, TPermissive>} ConfigurableCast
  */
-export class Cast<TStrict = any, TPermissive = any> {
+/**
+ * StrictType and PermissiveType work for both Cast and ConfigurableCast
+ * @template TStrict
+ * @template TPermissive
+ * @typedef {Cast<TStrict, TPermissive> | ConfigurableCast<TStrict, TPermissive>} CastLike
+ */
+/**
+ * @template TStrict
+ * @template TPermissive
+ */
+export class Cast<TStrict, TPermissive> {
     /**
      * @param {TypeSchema} schema
+     * @param {CastConfig} config
      */
-    constructor(schema: TypeSchema);
+    constructor(schema: TypeSchema, config: CastConfig);
     /**
      * @readonly
      * @type {TypeSchema}
      */
     readonly schema: TypeSchema;
+    /**
+     * @readonly
+     * @type {CastConfig}
+     */
+    readonly config: CastConfig;
     /**
      * @param {UplcData} data
      * @returns {TStrict}
@@ -29,4 +59,12 @@ export class Cast<TStrict = any, TPermissive = any> {
 }
 export type UplcData = import("@helios-lang/uplc").UplcData;
 export type TypeSchema = import("../codegen/index.js").TypeSchema;
+export type CastConfig = {
+    isMainnet: boolean;
+};
+export type ConfigurableCast<TStrict, TPermissive> = (config: CastConfig) => Cast<TStrict, TPermissive>;
+/**
+ * StrictType and PermissiveType work for both Cast and ConfigurableCast
+ */
+export type CastLike<TStrict, TPermissive> = Cast<TStrict, TPermissive> | ConfigurableCast<TStrict, TPermissive>;
 //# sourceMappingURL=Cast.d.ts.map

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

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

package/types/cast/PermissiveType.d.ts

@@ -1,3 +1,4 @@
-export type PermissiveType<C extends Cast<any, any>> = C extends Cast<any, infer TPermissive> ? TPermissive : never;
-import { Cast } from "./Cast.js";
+export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
+export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;
+export type PermissiveType<C extends CastLike<any, any>> = C extends CastLike<any, infer TPermissive> ? TPermissive : never;
 //# sourceMappingURL=PermissiveType.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/cast/PermissiveType.js"],"names":[],"mappings":";qBAAqB,WAAW"}
+{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/cast/PermissiveType.js"],"names":[],"mappings":"qDAKa,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC"}

package/types/cast/StrictType.d.ts

@@ -1,3 +1,4 @@
-export type StrictType<C extends Cast<any, any>> = C extends Cast<infer TStrict, any> ? TStrict : never;
-import { Cast } from "./Cast.js";
+export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
+export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;
+export type StrictType<C extends CastLike<any, any>> = C extends CastLike<infer TStrict, any> ? TStrict : never;
 //# sourceMappingURL=StrictType.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/cast/StrictType.js"],"names":[],"mappings":";qBAAqB,WAAW"}
+{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/cast/StrictType.js"],"names":[],"mappings":"qDAKa,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;6CAM1D,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC"}

package/types/cast/index.d.ts

@@ -1,5 +1,9 @@
 export { Cast };
-export type PermissiveType<C extends Cast<any, any>> = import("./PermissiveType.js").PermissiveType<C>;
-export type StrictType<C extends Cast<any, any>> = import("./StrictType.js").StrictType<C>;
+export { configureCast } from "./Cast.js";
+export type CastConfig = import("./Cast.js").CastConfig;
+export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
+export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;
+export type PermissiveType<C extends CastLike<any, any>> = import("./PermissiveType.js").PermissiveType<C>;
+export type StrictType<C extends CastLike<any, any>> = import("./StrictType.js").StrictType<C>;
 import { Cast } from "./Cast.js";
 //# sourceMappingURL=index.d.ts.map

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

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

package/types/codegen/LoadedModule.d.ts

@@ -1,6 +1,11 @@
+export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
 export type LoadedModule = {
     $name: string;
+    $purpose: "module";
     $sourceCode: string;
-    $dependencies: LoadedModule[];
+    $dependencies: ReadonlyArray<LoadedModule>;
+    $types: {
+        [name: string]: CastLike<any, any>;
+    };
 };
 //# sourceMappingURL=LoadedModule.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"2BAGa;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,YAAY,EAAE,CAAA;CAC9B"}
+{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"6CAKa,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;;WAKzD,MAAM;cACH,QAAQ;iBACL,MAAM;mBACJ,cAAc,YAAY,CAAC"}

package/types/codegen/LoadedScriptsWriter.d.ts

@@ -37,6 +37,19 @@ export class LoadedScriptsWriter {
      * @returns {LoadedScriptsWriter}
      */
     private write;
+    /**
+     * @param {string} path
+     * @param {string} typeName
+     * @param {string[]} typeParams
+     * @returns {LoadedScriptsWriter}
+     */
+    writeImportType(path: string, typeName: string, typeParams?: string[]): LoadedScriptsWriter;
+    /**
+     * @param {string} path
+     * @param {string[]} objectNames
+     * @returns {LoadedScriptsWriter}
+     */
+    writeImport(path: string, ...objectNames: string[]): LoadedScriptsWriter;
     /**
      * @private
      */

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;;GAIG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH;;QAFa,mBAAmB,CAgC/B;IAED;;;OAGG;IACH;;QAFa,mBAAmB,CAkC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;OAEG;IACH,qBAgBC;IAED;;;OAGG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAiBpC;IAED;;;OAGG;IACH,oBA4BC;IAED;;;OAGG;IACH,uBAgDC;CACJ;gCA9PY,OAAO,wBAAwB,EAAE,iBAAiB;mCAClD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BANpB,0BAA0B"}
+{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;;GAIG;AAEH;IAUI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAfG,yBAAoC;IACpC,0BAAqC;IACrC,uBAAkC;IAetC;;;OAGG;IACH;;QAFa,mBAAmB,CAgC/B;IAED;;;OAGG;IACH;;QAFa,mBAAmB,CAkC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAQpC;IAED;;;;;OAKG;IACH,cAKC;IAED;;;;;OAKG;IACH,sBALW,MAAM,YACN,MAAM,eACN,MAAM,EAAE,GACN,mBAAmB,CAmB/B;IAED;;;;OAIG;IACH,kBAJW,MAAM,kBACN,MAAM,EAAE,GACN,mBAAmB,CAQ/B;IAED;;OAEG;IACH,qBA6BC;IAED;;;OAGG;IACH,kBAFW,OAAO,MAAM,EAAE,UAAU,CAAC,QAyBpC;IAED;;;OAGG;IACH,oBA4BC;IAED;;;OAGG;IACH,uBAgDC;CACJ;gCAzTY,OAAO,wBAAwB,EAAE,iBAAiB;mCAClD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU;6BANpB,0BAA0B"}

package/types/codegen/LoadedValidator.d.ts

@@ -1,16 +1,30 @@
+export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
 export type LoadedModule = import("./LoadedModule.js").LoadedModule;
 export type LoadedValidator = {
     $name: string;
     $sourceCode: string;
-    $dependencies: LoadedModule[];
-    $hashDependencies: LoadedValidator[];
+    $dependencies: ReadonlyArray<LoadedModule>;
+    $hashDependencies: ReadonlyArray<LoadedValidator>;
     $dependsOnOwnHash: boolean;
-    $Redeemer: Cast;
+    $types: {
+        [name: string]: CastLike<any, any>;
+    };
+    $Redeemer: CastLike<any, any>;
 } & ({
     $purpose: "spending";
-    $Datum: Cast;
+    $Datum: CastLike<any, any>;
 } | {
     $purpose: "minting" | "certifying" | "rewarding" | "staking";
 });
-import { Cast } from "../cast/Cast.js";
+export type NamedDependencyToObject<N extends {
+    $name: string;
+}> = { [name in N["$name"]]: Extract<N, {
+    $name: name;
+}>; };
+export type NamedDependenciesToObject<N extends readonly {
+    $name: string;
+}[]> = { [name in (N extends readonly (infer M)[] ? M : never)["$name"]]: Extract<N extends readonly (infer M)[] ? M : never, {
+    $name: name;
+}>; };
+export type ExtractDependencies<V extends LoadedValidator> = NamedDependenciesToObject<V["$dependencies"]>;
 //# sourceMappingURL=LoadedValidator.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"LoadedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedValidator.js"],"names":[],"mappings":"2BAGa,OAAO,mBAAmB,EAAE,YAAY;8BAIxC;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,YAAY,EAAE,CAAA;IACjC,iBAAqB,EAAE,eAAe,EAAE,CAAA;IACxC,iBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAa,EAAE,IAAI,CAAA;CAChB,GAAG,CACN;IACA,QAAc,EAAE,UAAU,CAAA;IAC1B,MAAY,EAAE,IAAI,CAAA;CACb,GAAG;IACR,QAAc,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,CAAA;CAC7D,CACF;qBArBiB,iBAAiB"}
+{"version":3,"file":"LoadedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedValidator.js"],"names":[],"mappings":"6CAKa,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIxD,OAAO,mBAAmB,EAAE,YAAY;;WAKzC,MAAM;iBACA,MAAM;mBACJ,cAAc,YAAY,CAAC;uBACvB,cAAc,eAAe,CAAC;uBAC9B,OAAO;;;;eAEf,SAAS,GAAG,EAAE,GAAG,CAAC;;cAGjB,UAAU;YACZ,SAAS,GAAG,EAAE,GAAG,CAAC;;cAEhB,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS;;;WAM7C,MAAM;;;;;WAOQ,MAAM;;;;6DAM7B,0BAA0B,CAAC,CAAC,eAAe,CAAC,CAAC"}

package/types/context/ContractContext.d.ts

@@ -1,23 +1,40 @@
+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 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 {
+export type CastLike<TStrict, TPermissive> = import("../cast/index.js").CastLike<TStrict, TPermissive>;
+export type PermissiveType<C extends CastLike<any, any>> = import("../cast/index.js").PermissiveType<C>;
+export type StrictType<C extends CastLike<any, any>> = import("../cast/index.js").StrictType<C>;
+export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>>);
+export type ContractValidatorContexts<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 {
+    "$Datum": CastLike<any, any>;
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: ValidatorHash<SpendingContext<V["$Datum"], PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> : V extends {
     "$purpose": "minting";
-} ? MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>> : V extends {
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> : V extends {
     "$purpose": ("certifying" | "rewarding" | "staking");
-} ? StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>> : never;
-export type ContractContext<T extends {
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> : never;
+export type ContractModuleContexts<V extends import("../codegen/LoadedModule.js").LoadedModule> = ContractTypesContext<V["$types"]>;
+export type ContractTypesContext<T extends {
+    [typeName: string]: CastLike<any, any>;
+}> = { [K in keyof T]: Cast<import("../cast/StrictType.js").StrictType<T[K]>, import("../cast/PermissiveType.js").PermissiveType<T[K]>>; };
+export type ContractContext<Vs extends {
     [name: string]: import("../codegen/LoadedValidator.js").LoadedValidator;
-}> = { [K in keyof T]: ContractValidatorHash<T[K]>; };
-import { Cast } from "../cast/index.js";
+}, Ms extends {
+    [name: string]: import("../codegen/LoadedModule.js").LoadedModule;
+}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K_1 in keyof Ms]: ContractTypesContext<Ms[K_1]["$types"]>; };
 import { ValidatorHash } from "@helios-lang/ledger";
 import { MintingPolicyHash } from "@helios-lang/ledger";
 import { StakingValidatorHash } from "@helios-lang/ledger";
+import { Cast } from "../cast/index.js";
 //# sourceMappingURL=ContractContext.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"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,GAAG,SAAS,CAAC,CAAA;CAAC,GAAG,qBACzE,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"}
+{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"2BAQa,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;mEAM7C,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;oGAQlF,OAAO,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,CAAC;mEAMnH,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;6CAMlF,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2DAKzD,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uDAK5C,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,CACZ,cAAkB,gBAAgB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,GACtD,kBAAsB,eAAe,GAAG,EAAE,GAAG,CAAC,CAAC,GAC/C,qBAAyB,eAAe,GAAG,EAAE,GAAG,CAAC,CAAC,CAC/C;2GAKS,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAChH,KAAa,EAAE,cACf,gBACA,CAAa,CAAC,QAAQ,CAAC,EACvB,eAA2B,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvC,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAC3C,CAAO,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC3E,KAAa,EAAE,kBACf,eACA,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAC3C,CAAO,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC1G,KAAa,EAAE,qBACf,eACA,WAAuB,CAAC,CAAC,WAAW,CAAC,CAAC,EACtC,eAA2B,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,GAC3C,KAAW;kGAMC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC;;;;;;;;;8BAtFvC,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBACP,kBAAkB"}

package/types/context/ContractContextBuilder.d.ts

@@ -1,53 +1,92 @@
 /**
+ * @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
  */
 /**
- * @template {{[name: string]: LoadedValidator}} T
- * @typedef {import("./ContractContext.js").ContractContext<T>} ContractContext
+ * @template {LoadedValidator} V
+ * @typedef {import("../codegen/LoadedValidator.js").ExtractDependencies<V>} ExtractDependencies
  */
 /**
- * @template {{[name: string]: LoadedValidator}} T
+ * @template {{[name: string]: LoadedValidator}} Vs
+ * @template {{[name: string]: LoadedModule}} Ms
+ * @typedef {import("./ContractContext.js").ContractContext<Vs, Ms>} ContractContext
  */
-export class ContractContextBuilder<T extends {
+/**
+ * @typedef {{
+ *   isMainnet: boolean
+ *   expectedHashes?: {[name: string]: string}
+ * }} ContractContextBuildProps
+ */
+/**
+ * @template {{[name: string]: LoadedValidator}} Vs
+ * @template {{[name: string]: LoadedModule}} Ms
+ */
+export class ContractContextBuilder<Vs extends {
     [name: string]: import("./DagCompiler.js").LoadedValidator;
+}, Ms extends {
+    [name: string]: import("./ContractContext.js").LoadedModule;
 }> {
     /**
-     * @returns {ContractContextBuilder<{}>}
+     * @returns {ContractContextBuilder<{}, {}>}
      */
-    static "new"(): ContractContextBuilder<{}>;
+    static "new"(): ContractContextBuilder<{}, {}>;
     /**
      * @private
-     * @param {T} validators
+     * @param {Vs} validators
+     * @param {Ms} modules
      */
     private constructor();
     /**
      * @private
      * @readonly
-     * @type {T}
+     * @type {Vs}
      */
     private readonly validators;
+    /**
+     * @readonly
+     * @type {Ms}
+     */
+    readonly modules: Ms;
     /**
      * @template {LoadedValidator} V
      * @param {V} validator
-     * @returns {ContractContextBuilder<T & {
-     *   [K in V["$name"]]: V
-     * }>}
+     * @returns {ContractContextBuilder<
+     *   Vs & {[K in V["$name"]]: V},
+     *   Ms & ExtractDependencies<V>
+     * >}
      */
-    with<V extends import("./DagCompiler.js").LoadedValidator>(validator: V): ContractContextBuilder<T & { [K in V["$name"]]: V; }>;
+    with<V extends import("./DagCompiler.js").LoadedValidator>(validator: V): ContractContextBuilder<Vs & { [K in V["$name"]]: V; }, Ms & ExtractDependencies<V>>;
     /**
-     * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {ContractContext<T>}
+     * @template {LoadedModule} M
+     * @param {M} m
+     * @returns {ContractContextBuilder<
+     *   Vs,
+     *   Ms & {[K in M["$name"]]: M}
+     * >}
      */
-    build(expectedHashes?: Option<{
-        [name: string]: string;
-    }>): ContractContext<T>;
+    withModule<M extends import("./ContractContext.js").LoadedModule>(m: M): ContractContextBuilder<Vs, Ms & { [K_1 in M["$name"]]: M; }>;
+    /**
+     * @param {ContractContextBuildProps} props
+     * @returns {ContractContext<Vs, Ms>}
+     */
+    build(props: ContractContextBuildProps): ContractContext<Vs, Ms>;
 }
+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 ContractContext<T extends {
+export type ExtractDependencies<V extends import("./DagCompiler.js").LoadedValidator> = import("../codegen/LoadedValidator.js").ExtractDependencies<V>;
+export type ContractContext<Vs extends {
     [name: string]: import("./DagCompiler.js").LoadedValidator;
-}> = import("./ContractContext.js").ContractContext<T>;
+}, Ms extends {
+    [name: string]: import("./ContractContext.js").LoadedModule;
+}> = import("./ContractContext.js").ContractContext<Vs, Ms>;
+export type ContractContextBuildProps = {
+    isMainnet: boolean;
+    expectedHashes?: {
+        [name: string]: string;
+    } | undefined;
+};
 //# 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":"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;0BACvD,OAAO,sBAAsB,EAAE,WAAW;;;KAK1C,OAAO,sBAAsB,EAAE,eAAe,CAAC,CAAC,CAAC"}
+{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAKA;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;GAKG;AAEH;;;GAGG;AACH;;;;;IAwBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IArBD;;;;OAIG;IACH,4BAAU;IAEV;;;OAGG;IACH,kBAFU,EAAE,CAEL;IAmBP;;;;;;;OAOG;IACH,8JAaC;IAED;;;;;;;OAOG;IACH,sIAQC;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,gBAAgB,EAAE,EAAE,EAAE,CAAC,CA+CnC;CACJ;yBAtJY,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;wFAK1C,OAAO,+BAA+B,EAAE,mBAAmB,CAAC,CAAC,CAAC;;;;;KAM9D,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;eAKnD,OAAO"}

package/types/context/DagCompiler.d.ts

@@ -4,9 +4,10 @@
  */
 export function getModuleDependencies(validator: LoadedValidator): string[];
 /**
+ * @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").AnyContractValidatorHash} AnyContractValidatorHash
+ * @typedef {import("./ContractContext.js").AnyContractValidatorContext} AnyContractValidatorContext
  */
 /**
  * Compiles a set of validators that depend on eachothers hashes (forming a Directed Acyclical Graph)
@@ -14,8 +15,9 @@ export function getModuleDependencies(validator: LoadedValidator): string[];
 export class DagCompiler {
     /**
      * @param {CompilerLib} lib
+     * @param {CastConfig} castConfig
      */
-    constructor(lib: CompilerLib);
+    constructor(lib: CompilerLib, castConfig: CastConfig);
     /**
      * @private
      * @readonly
@@ -25,18 +27,25 @@ export class DagCompiler {
     /**
      * @private
      * @readonly
-     * @type {{[name: string]: AnyContractValidatorHash}}
+     * @type {CastConfig}
+     */
+    private readonly config;
+    /**
+     * @private
+     * @readonly
+     * @type {{[name: string]: AnyContractValidatorContext}}
      */
     private readonly cache;
+    castConfig: import("../cast/Cast.js").CastConfig;
     /**
      * @param {LoadedValidator[]} validators
      * @param {Option<{[name: string]: string}>} expectedHashes
-     * @returns {{[name: string]: AnyContractValidatorHash}}
+     * @returns {{[name: string]: AnyContractValidatorContext}}
      */
-    build(validators: LoadedValidator[], expectedHashes?: Option<{
+    build(validators: LoadedValidator[], castConfig: any, expectedHashes?: Option<{
         [name: string]: string;
     }>): {
-        [name: string]: import("./ContractContext.js").AnyContractValidatorHash;
+        [name: string]: import("./ContractContext.js").AnyContractValidatorContext;
     };
     /**
      * @private
@@ -58,7 +67,8 @@ export class DagCompiler {
      */
     private getHashTypes;
 }
+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 AnyContractValidatorHash = import("./ContractContext.js").AnyContractValidatorHash;
+export type AnyContractValidatorContext = import("./ContractContext.js").AnyContractValidatorContext;
 //# 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":"AA4MA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AA3ND;;;;GAIG;AAEH;;GAEG;AACH;IAeI;;OAEG;IACH,iBAFW,WAAW,EAKrB;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;0BACvD,OAAO,sBAAsB,EAAE,WAAW;uCAC1C,OAAO,sBAAsB,EAAE,wBAAwB"}
+{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AAuNA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AArOD;;;;;GAKG;AAEH;;GAEG;AACH;IAsBI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAMpB;IA7BD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,uBAAK;IAQD,iDAA4B;IAIhC;;;;OAIG;IACH,kBAJW,eAAe,EAAE;;;;MAkF3B;IAED;;;;;OAKG;IACH,mBA6BC;IAED;;;;OAIG;IACH,4BAoBC;IAED;;;;OAIG;IACH,qBAMC;CACJ;yBA1MY,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B"}

package/types/index.d.ts

@@ -1,7 +1,5 @@
-export { Cast } from "./cast/index.js";
+export * from "./cast/index.js";
 export { ContractContextBuilder } from "./context/index.js";
 export { LoadedScriptsWriter } from "./codegen/LoadedScriptsWriter.js";
-export type StrictType<C extends import("./cast/Cast.js").Cast<any, any>> = import("./cast/index.js").StrictType<C>;
-export type PermissiveType<C extends import("./cast/Cast.js").Cast<any, any>> = import("./cast/index.js").PermissiveType<C>;
 export { typeCheckFiles, typeCheckScripts, loadCompilerLib } from "./compiler/ops.js";
 //# sourceMappingURL=index.d.ts.map

package/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":";;;4EAQa,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;gFAKvC,OAAO,iBAAiB,EAAE,cAAc,CAAC,CAAC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":""}