@helios-lang/contract-utils 0.1.7 → 0.1.9

package/examples/spending/contract.js

@@ -0,0 +1,16 @@
+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.d.ts

@@ -7,9 +7,19 @@ export const utils: {
     $sourceCode: string
     $dependencies: []
 }
+export const match_string_policy: {
+    $name: "match_string_policy"
+    $purpose: "minting"
+    $sourceCode: string
+    $dependencies: []
+    $hashDependencies: []
+    $dependsOnOwnHash: boolean
+    $Redeemer: Cast<string, string>
+    
+}
 export const match_string: {
-    $name: string
-    $purpose: string
+    $name: "match_string"
+    $purpose: "spending"
     $sourceCode: string
     $dependencies: [typeof utils]
     $hashDependencies: []

package/examples/spending/index.js

@@ -5,6 +5,16 @@ export const utils = {
     $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",

package/examples/spending/minting.hl

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

package/examples/spending/package-lock.json

@@ -6,16 +6,24 @@
     "": {
       "name": "spending_example",
       "dependencies": {
+        "@helios-lang/compiler": "0.16.7-1",
         "@helios-lang/contract-utils": "file:../..",
         "@hyperionbt/helios": "^0.16.7"
+      },
+      "devDependencies": {
+        "typescript": "^5.4.3"
       }
     },
     "../..": {
       "name": "@helios-lang/contract-utils",
-      "version": "0.1.1",
+      "version": "0.1.7",
       "license": "BSD-3-Clause",
       "dependencies": {
-        "@helios-lang/compiler-utils": "^0.1.2"
+        "@helios-lang/codec-utils": "^0.1.26",
+        "@helios-lang/compiler-utils": "^0.1.20",
+        "@helios-lang/ledger": "^0.1.10",
+        "@helios-lang/type-utils": "^0.1.8",
+        "@helios-lang/uplc": "^0.1.21"
       },
       "bin": {
         "hl2ts": "src/hl2ts.js"
@@ -24,6 +32,17 @@
         "@types/node": "^20.11.24",
         "prettier": "^3.1.0",
         "typescript": "^5.3.2"
+      },
+      "peerDependencies": {
+        "@helios-lang/compiler": "^0.16.7"
+      }
+    },
+    "node_modules/@helios-lang/compiler": {
+      "version": "0.16.7-1",
+      "resolved": "https://registry.npmjs.org/@helios-lang/compiler/-/compiler-0.16.7-1.tgz",
+      "integrity": "sha512-M6x99ApFUNtNrPucx5IrcTbqHP1yyVQXeaKuQWOICgioSbWMKeogN7Hn2INk6f//DzGaqFZ7Cd1JOtt8zXHE/Q==",
+      "dependencies": {
+        "@hyperionbt/helios": "0.16.7"
       }
     },
     "node_modules/@helios-lang/contract-utils": {
@@ -34,6 +53,19 @@
       "version": "0.16.7",
       "resolved": "https://registry.npmjs.org/@hyperionbt/helios/-/helios-0.16.7.tgz",
       "integrity": "sha512-ysPaF0OCY0NJa1mc+LXERjH71VDNGUbYrrovKUHJv1v+eS1WJhKmxSHWh9sVa6b+sYoXdKwoCR20UQhzCF5jzA=="
+    },
+    "node_modules/typescript": {
+      "version": "5.4.3",
+      "resolved": "https://registry.npmjs.org/typescript/-/typescript-5.4.3.tgz",
+      "integrity": "sha512-KrPd3PKaCLr78MalgiwJnA25Nm8HAmdwN3mYUYZgG/wizIo9EainNVQI9/yDavtVFRN2h3k8uf3GLHuhDMgEHg==",
+      "dev": true,
+      "bin": {
+        "tsc": "bin/tsc",
+        "tsserver": "bin/tsserver"
+      },
+      "engines": {
+        "node": ">=14.17"
+      }
     }
   }
 }

package/examples/spending/package.json

@@ -1,7 +1,12 @@
 {
   "name": "spending_example",
+  "type": "module",
   "dependencies": {
+    "@helios-lang/compiler": "0.16.7-1",
     "@helios-lang/contract-utils": "file:../..",
     "@hyperionbt/helios": "^0.16.7"
+  },
+  "devDependencies": {
+    "typescript": "^5.4.3"
   }
 }

package/jsconfig.json

@@ -0,0 +1,16 @@
+{
+    "compilerOptions": {
+        "checkJs": true,
+        "declaration": true,
+        "declarationMap": true,
+        "declarationDir": "./types",
+        "skipLibCheck": true,
+        "noImplicitThis": true,
+        "strictNullChecks": true,
+        "moduleResolution": "nodenext",
+        "module": "nodenext",
+        "target": "esnext"
+    },
+    "exclude": ["node_modules", "**/*.d.ts"],
+    "include": ["src/**/*.js", "node_modules/@helios-lang/type-utils"]
+}

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "@helios-lang/contract-utils",
-    "version": "0.1.7",
+    "version": "0.1.9",
     "description": "Convenience and type-safety utilities for using Helios validators from within Typescript",
     "main": "src/index.js",
     "types": "types/index.d.ts",
@@ -31,11 +31,14 @@
         "semi": false,
         "singleQuote": false
     },
+    "peerDependencies": {
+        "@helios-lang/compiler": "*"
+    },
     "dependencies": {
         "@helios-lang/codec-utils": "^0.1.26",
         "@helios-lang/compiler-utils": "^0.1.20",
-        "@helios-lang/ledger": "^0.1.10",
+        "@helios-lang/ledger": "^0.1.20",
         "@helios-lang/type-utils": "^0.1.8",
-        "@helios-lang/uplc": "^0.1.21"
+        "@helios-lang/uplc": "^0.1.22"
     }
 }

package/src/codegen/TypescriptWriter.js

@@ -82,8 +82,8 @@ export class TypescriptWriter {
 }
 `,
             `export const ${v.name}: {
-    $name: string
-    $purpose: string
+    $name: "${v.name}"
+    $purpose: "${v.purpose}"
     $sourceCode: string
     $dependencies: [${v.moduleDepedencies.map((d) => `typeof ${d}`).join(", ")}]
     $hashDependencies: [${v.hashDependencies
@@ -99,11 +99,19 @@ export class TypescriptWriter {
     }
 
     writeHeaders() {
-        this.wjs.writeLine("import { Cast } from \"@helios-lang/contract-utils\";")
+        this.wjs.writeLine(
+            'import { Cast } from "@helios-lang/contract-utils";'
+        )
 
-        this.wdts.writeLine("import type {UplcData} from \"@helios-lang/ledger\";")
-        this.wdts.writeLine("import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from \"@helios-lang/ledger\";")
-        this.wdts.writeLine("import { Cast } from \"@helios-lang/contract-utils\";")
+        this.wdts.writeLine(
+            'import type {UplcData} from "@helios-lang/ledger";'
+        )
+        this.wdts.writeLine(
+            'import { Address, AssetClass, Credential, DatumHash, MintingPolicyHash, PubKeyHash, StakingCredential, StakingHash, StakingValidatorHash, TimeRange, TxId, TxOutputDatum, ValidatorHash, Value} from "@helios-lang/ledger";'
+        )
+        this.wdts.writeLine(
+            'import { Cast } from "@helios-lang/contract-utils";'
+        )
     }
 
     /**

package/src/hl2ts.js

@@ -29,7 +29,7 @@ async function main() {
     w.writeHeaders()
     w.writeModules(modules)
     w.writeValidators(validators)
-    
+
     const [js, dts] = w.finalize()
 
     const jsPath = join(outDir, "index.js")

package/src/index.js

@@ -1 +1 @@
-export { Cast } from "./runtime/index.js"
+export { Cast, ContractContextBuilder } from "./runtime/index.js"

package/src/lib/Lib.js

@@ -1,8 +1,23 @@
+/**
+ * @typedef {{
+ *   otherValidators: {[name: string]: {purpose: string, hash: string}},
+ *   dependsOnOwnHash?: boolean,
+ *   ownHash?: string,
+ *   optimize: boolean
+ * }} CompileOptions
+ */
+
+/**
+ * @typedef {{
+ *   cborHex: string
+ * }} CompileOutput
+ */
 /**
  * @typedef {{
  *   version: string
  *   typeCheck: (validators: {[name: string]: SourceDetails}, modules: {[name: string]: SourceDetails}) => ({
  * modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}})
+ *   compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput
  * }} Lib
  */
 

package/src/lib/Libg_v0_16.js

@@ -1,14 +1,17 @@
-/**
- * @typedef {import("./Lib.js").Lib} Lib
- * @typedef {import("./Lib.js").SourceDetails} SourceDetails
- */
-
 /**
  * @typedef {import("../codegen/index.js").Module} ModuleDetails
  * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
  * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
+ * @typedef {import("./Lib.js").CompileOptions} CompileOptions
+ * @typedef {import("./Lib.js").CompileOutput} CompileOutput
+ * @typedef {import("./Lib.js").Lib} Lib
+ * @typedef {import("./Lib.js").SourceDetails} SourceDetails
  */
 
+import { bytesToHex } from "@helios-lang/compiler"
+import { readHeader } from "@helios-lang/compiler-utils"
+import { UplcProgramV1 } from "@helios-lang/uplc"
+
 /**
  * @typedef {{
  *   [name: string]: string[]
@@ -339,4 +342,102 @@ export class Lib_v0_16 {
             }
         }
     }
+
+    /**
+     * @param {string} main
+     * @param {string[]} modules
+     * @param {CompileOptions} options
+     * @returns {CompileOutput}
+     */
+    compile(main, modules, options) {
+        const [purpose, name] = readHeader(main)
+        const otherValidators = options.otherValidators ?? {}
+        const otherValidatorTypes = Object.fromEntries(
+            Object.keys(otherValidators).map((k) => {
+                return [k, this.getValidatorType(otherValidators[k].purpose)]
+            })
+        )
+
+        const program = this.lib.Program.newInternal(
+            main,
+            modules,
+            otherValidatorTypes,
+            {
+                allowPosParams: false,
+                invertEntryPoint: true
+            }
+        )
+
+        /**
+         * @type {Map<any, any>}
+         */
+        const extra = new Map()
+        const IR = this.lib.IR
+
+        if (options.ownHash) {
+            const key = `__helios__scripts__${name}`
+
+            extra.set(key, new IR(`#${options.ownHash}`))
+        } else if (options.dependsOnOwnHash) {
+            const key = `__helios__scripts__${name}`
+            let ir = new IR(`__PARAM_${program.nPosParams - 1}`)
+
+            switch (purpose) {
+                case "spending":
+                    ir = new IR([
+                        new IR(
+                            `__helios__scriptcontext__get_current_validator_hash(`
+                        ),
+                        ir,
+                        new IR(`)()`)
+                    ])
+                    break
+                case "minting":
+                    ir = new IR([
+                        new IR(
+                            `__helios__scriptcontext__get_current_minting_policy_hash(`
+                        ),
+                        ir,
+                        new IR(`)()`)
+                    ])
+                    break
+                default:
+                    throw new Error("unhandled purpose")
+            }
+
+            extra.set(key, ir)
+        }
+
+        for (let other in otherValidators) {
+            const key = `__helios__scripts__${other}`
+
+            extra.set(key, new IR(`#${otherValidators[other]}`))
+        }
+
+        const optimize = options.optimize
+        const ir = program.toIR(new this.lib.ToIRContext(optimize), extra)
+
+        if (program.nPosParams > 0) {
+            const irProgram = this.lib.IRParametricProgram.new(
+                ir,
+                purpose,
+                program.nPosParams,
+                optimize
+            )
+
+            const cborHex = bytesToHex(irProgram.toUplc().toCbor())
+
+            return {
+                cborHex
+            }
+        } else {
+            const irProgram = this.lib.IRProgram.new(ir, purpose, optimize)
+
+            const cborHex = bytesToHex(irProgram.toUplc().toCbor())
+
+            return {
+                cborHex
+            }
+        }
+    }
 }

package/src/lib/load.js

@@ -1,5 +1,4 @@
-import { existsSync } from "node:fs"
-import { dirname, join } from "node:path"
+import * as lib from "@helios-lang/compiler"
 import { getVersion } from "./Lib.js"
 import { Lib_v0_16 } from "./Libg_v0_16.js"
 
@@ -8,54 +7,18 @@ import { Lib_v0_16 } from "./Libg_v0_16.js"
  */
 
 /**
- * @returns {string}
+ * @returns {Lib}
  */
-function findRootDir() {
-    let dir = process.cwd()
-
-    while (dir != "/") {
-        if (existsSync(join(dir, "package.json"))) {
-            return dir
-        } else {
-            dir = dirname(dir)
-        }
-    }
-
-    throw new Error("package.json not found")
-}
-
-/**
- * @returns {Promise<Lib>}
- */
-export async function loadLibrary() {
-    const rootDir = findRootDir()
-
-    const packageNames = ["@hyperionbt/helios/helios.js"]
-
-    for (let packageName of packageNames) {
-        try {
-            const lib = await eval(
-                `import("${rootDir}/node_modules/${packageName}")`
-            )
-
-            const [major, minor] = getVersion(lib)
-
-            switch (major) {
-                case 0:
-                    switch (minor) {
-                        case 16:
-                            return new Lib_v0_16(lib)
-                    }
-                default:
-                    throw new Error(
-                        `compiler version ${lib.VERSION} not supported`
-                    )
+export function loadLibrary() {
+    const [major, minor] = getVersion(lib)
+
+    switch (major) {
+        case 0:
+            switch (minor) {
+                case 16:
+                    return new Lib_v0_16(lib)
             }
-        } catch (_e) {
-            console.error(_e)
-            continue
-        }
+        default:
+            throw new Error(`compiler version ${lib.VERSION} not supported`)
     }
-
-    throw new Error("compiler not installed")
 }

package/src/runtime/Cast.js

@@ -36,8 +36,8 @@ import {
  */
 
 /**
- * @template TStrict
- * @template TPermissive
+ * @template [TStrict=UplcData]
+ * @template [TPermissive=UplcData]
  */
 export class Cast {
     /**
@@ -57,7 +57,7 @@ export class Cast {
      * @param {UplcData} data
      * @returns {TStrict}
      */
-    fromUplc(data) {
+    fromUplcData(data) {
         return uplcToSchema(this.schema, data)
     }
 
@@ -65,7 +65,7 @@ export class Cast {
      * @param {TPermissive} x
      * @returns {UplcData}
      */
-    toUplc(x) {
+    toUplcData(x) {
         return schemaToUplc(this.schema, x)
     }
 }
@@ -167,8 +167,11 @@ function schemaToUplc(schema, x) {
         const tag = schema.enumVariantTypes.findIndex(
             (v) => v.name == variantName
         )
-        if (tag != -1) {
-            throw new Error("invalid variant")
+
+        if (tag == -1) {
+            throw new Error(
+                `invalid variant ${variantName} (expected: ${schema.enumVariantTypes.map((v) => v.name).join(", ")})`
+            )
         }
 
         return new ConstrData(

package/src/runtime/ContractContext.js

@@ -0,0 +1,35 @@
+import { ScriptHash } from "@helios-lang/ledger"
+import { UplcProgramV2 } from "@helios-lang/uplc"
+import { Cast } from "./Cast.js"
+
+/**
+ * @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 {
+    /**
+     * @readonly
+     * @type {T}
+     */
+    validators
+
+    /**
+     * @param {T} validators
+     */
+    constructor(validators) {
+        this.validators = validators
+    }
+}

package/src/runtime/ContractContextBuilder.js

@@ -0,0 +1,325 @@
+import { bytesToHex } from "@helios-lang/codec-utils"
+import {
+    ScriptHash,
+    StakingValidatorHash,
+    ValidatorHash,
+    MintingPolicyHash
+} from "@helios-lang/ledger"
+import { None, expectSome } from "@helios-lang/type-utils"
+import { UplcProgramV2 } from "@helios-lang/uplc"
+import { loadLibrary } from "../lib/index.js"
+import { Cast } from "./Cast.js"
+import { ContractContext } from "./ContractContext.js"
+
+/**
+ * @typedef {import("./ContractContext.js").Validator} CompiledValidator
+ */
+
+/**
+ * @template TRedeemerStrict
+ * @template TRedeemerPermissive
+ * @typedef {import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>} MintingContext
+ */
+
+/**
+ * @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
+ */
+export class ContractContextBuilder {
+    /**
+     * @private
+     * @readonly
+     * @type {T}
+     */
+    validators
+
+    /**
+     * @private
+     * @param {T} validators
+     */
+    constructor(validators) {
+        this.validators = validators
+    }
+
+    /**
+     * @returns {ContractContextBuilder<{}>}
+     */
+    static new() {
+        return new ContractContextBuilder({})
+    }
+
+    /**
+     * @template {Validator} V
+     * @param {V} validator
+     * @returns {ContractContextBuilder<T & {
+     *   [K in V["$name"]]: V
+     * }>}
+     */
+    with(validator) {
+        return new ContractContextBuilder({
+            ...this.validators,
+            [validator.$name]: validator
+        })
+    }
+
+    /**
+     *
+     * @param {Option<{[name: string]: string}>} expectedHashes
+     * @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
+     * }}
+     */
+    build(expectedHashes = None) {
+        const lib = loadLibrary()
+
+        /**
+         * @type {{[name: string]: (
+         *   ValidatorHash<SpendingContext<any, any, any, any>> |
+         *   MintingPolicyHash<MintingContext<any, any>> |
+         *   StakingValidatorHash<StakingContext<any, any>>
+         * )}}
+         */
+        const validators = {}
+
+        /**
+         * @param {Validator} validator
+         * @returns {Map<string, string>}
+         */
+        function collectModules(validator) {
+            /**
+             * @type {Map<string, string>}
+             */
+            const result = new Map()
+
+            let stack = validator.$dependencies.slice()
+
+            let m = stack.pop()
+            while (m) {
+                if (result.has(m.$name)) {
+                    continue
+                }
+
+                result.set(m.$name, m.$sourceCode)
+
+                stack = stack.concat(m.$dependencies)
+
+                m = stack.pop()
+            }
+
+            return result
+        }
+
+        /**
+         * @returns {{[name: string]: {purpose: string, hash: string}}}
+         */
+        function getOtherValidators() {
+            /**
+             * @type {{[name: string]: {purpose: string, hash: string}}}
+             */
+            const otherValidators = {}
+
+            for (let k in validators) {
+                const v = validators[k]
+
+                if (v instanceof ValidatorHash) {
+                    otherValidators[k] = {
+                        purpose: "spending",
+                        hash: v.toHex()
+                    }
+                } else if (v instanceof MintingPolicyHash) {
+                    otherValidators[k] = {
+                        purpose: "minting",
+                        hash: v.toHex()
+                    }
+                } else if (v instanceof StakingValidatorHash) {
+                    otherValidators[k] = {
+                        purpose: "staking",
+                        hash: v.toHex()
+                    }
+                } else {
+                    throw new Error("unexpected ScriptHash")
+                }
+            }
+
+            return otherValidators
+        }
+
+        /**
+         * @param {Validator} validator
+         */
+        function buildValidator(validator) {
+            const name = validator.$name
+
+            if (name in validator) {
+                return
+            }
+
+            for (let v of validator.$hashDependencies) {
+                buildValidator(v)
+            }
+
+            const modules = collectModules(validator)
+
+            const { cborHex: optimizedCborHex } = lib.compile(
+                validator.$sourceCode,
+                Array.from(modules.values()),
+                {
+                    optimize: true,
+                    otherValidators: getOtherValidators(),
+                    dependsOnOwnHash: validator.$dependsOnOwnHash
+                }
+            )
+
+            const optimizedProgram = UplcProgramV2.fromCbor(optimizedCborHex)
+
+            const ownHash = bytesToHex(optimizedProgram.hash())
+
+            if (expectedHashes && name in expectedHashes) {
+                if (expectedHashes[name] != ownHash) {
+                    throw new Error(
+                        `expected hash ${expectedHashes[name]} for validator ${name}, got ${ownHash}`
+                    )
+                }
+            }
+
+            /**
+             * @type {ScriptHash}
+             */
+            let ownTypedHash
+
+            const purpose = validator.$purpose
+
+            switch (purpose) {
+                case "spending":
+                    ownTypedHash = new ValidatorHash(ownHash)
+                    break
+                case "minting":
+                    ownTypedHash = new MintingPolicyHash(ownHash)
+                    break
+                case "staking":
+                case "certifying":
+                case "rewarding":
+                    ownTypedHash = new StakingValidatorHash(ownHash)
+                    break
+                default:
+                    throw new Error("unhandled purpose")
+            }
+
+            const { cborHex: unoptimizedCborHex } = lib.compile(
+                validator.$sourceCode,
+                Array.from(modules.values()),
+                {
+                    optimize: false,
+                    otherValidators: getOtherValidators(),
+                    ownHash: validator.$dependsOnOwnHash ? ownHash : undefined
+                }
+            )
+
+            const unoptimizedProgram =
+                UplcProgramV2.fromCbor(unoptimizedCborHex)
+
+            if (purpose == "spending") {
+                validators[validator.$name] = new ValidatorHash(
+                    ownTypedHash.bytes,
+                    {
+                        program: optimizedProgram.withAlt(unoptimizedProgram),
+                        datum: expectSome(validator.$Datum),
+                        redeemer: validator.$Redeemer
+                    }
+                )
+            } else if (purpose == "minting") {
+                validators[validator.$name] = new MintingPolicyHash(
+                    ownTypedHash.bytes,
+                    {
+                        program: optimizedProgram.withAlt(unoptimizedProgram),
+                        redeemer: validator.$Redeemer
+                    }
+                )
+            } else if (
+                purpose == "staking" ||
+                purpose == "certifying" ||
+                purpose == "rewarding"
+            ) {
+                validators[validator.$name] = new StakingValidatorHash(
+                    ownTypedHash.bytes,
+                    {
+                        program: optimizedProgram.withAlt(unoptimizedProgram),
+                        redeemer: validator.$Redeemer
+                    }
+                )
+            } else {
+                throw new Error("unhandled purpose")
+            }
+        }
+
+        for (let k in this.validators) {
+            buildValidator(this.validators[k])
+        }
+
+        return /** @type {any} */ (validators)
+    }
+}

package/src/runtime/PermissiveType.js

@@ -0,0 +1,6 @@
+import { Cast } from "./Cast.js"
+
+/**
+ * @template {Cast} C
+ * @typedef {C extends Cast<any, infer TPermissive> ? TPermissive : never} PermissiveType
+ */

package/src/runtime/StrictType.js

@@ -0,0 +1,6 @@
+import { Cast } from "./Cast.js"
+
+/**
+ * @template {Cast} C
+ * @typedef {C extends Cast<infer TStrict, any> ? TStrict : never} StrictType
+ */

package/src/runtime/index.js

@@ -1 +1,3 @@
-export { Cast } from "./Cast.js"
+export { Cast } from "./Cast.js"
+export { ContractContext } from "./ContractContext.js"
+export { ContractContextBuilder } from "./ContractContextBuilder.js"

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

@@ -1 +1 @@
-{"version":3,"file":"TypescriptWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/TypescriptWriter.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH;IAEQ,YAAuB;IACvB,aAAwB;IAG5B;;;;OAIG;IACH,UAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAM5B;IAED;;;;OAIG;IACH,cAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAY5B;IAED;;OAEG;IACH,eAFW,MAAM,QAmBhB;IAED;;OAEG;IACH,kBAFW,SAAS,QAiCnB;IAED,qBAMC;IAED;;OAEG;IACH;;aA4BC;IAED;;;OAGG;IACH;;aA8BC;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,CAAC,CAI5B;CACJ;qBAnLY,OAAO,aAAa,EAAE,MAAM;wBAC5B,OAAO,gBAAgB,EAAE,SAAS;uBAJxB,aAAa"}
+{"version":3,"file":"TypescriptWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/TypescriptWriter.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH;IAEQ,YAAuB;IACvB,aAAwB;IAG5B;;;;OAIG;IACH,UAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAM5B;IAED;;;;OAIG;IACH,cAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAY5B;IAED;;OAEG;IACH,eAFW,MAAM,QAmBhB;IAED;;OAEG;IACH,kBAFW,SAAS,QAiCnB;IAED,qBAcC;IAED;;OAEG;IACH;;aA4BC;IAED;;;OAGG;IACH;;aA8BC;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,CAAC,CAI5B;CACJ;qBA3LY,OAAO,aAAa,EAAE,MAAM;wBAC5B,OAAO,gBAAgB,EAAE,SAAS;uBAJxB,aAAa"}

package/types/index.d.ts

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

package/types/lib/Lib.d.ts

@@ -1,8 +1,22 @@
+/**
+ * @typedef {{
+ *   otherValidators: {[name: string]: {purpose: string, hash: string}},
+ *   dependsOnOwnHash?: boolean,
+ *   ownHash?: string,
+ *   optimize: boolean
+ * }} CompileOptions
+ */
+/**
+ * @typedef {{
+ *   cborHex: string
+ * }} CompileOutput
+ */
 /**
  * @typedef {{
  *   version: string
  *   typeCheck: (validators: {[name: string]: SourceDetails}, modules: {[name: string]: SourceDetails}) => ({
  * modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}})
+ *   compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput
  * }} Lib
  */
 /**
@@ -24,6 +38,20 @@
 export function getVersion(lib: {
     VERSION: string;
 }): number[];
+export type CompileOptions = {
+    otherValidators: {
+        [name: string]: {
+            purpose: string;
+            hash: string;
+        };
+    };
+    dependsOnOwnHash?: boolean | undefined;
+    ownHash?: string | undefined;
+    optimize: boolean;
+};
+export type CompileOutput = {
+    cborHex: string;
+};
 export type Lib = {
     version: string;
     typeCheck: (validators: {
@@ -38,6 +66,7 @@ export type Lib = {
             [name: string]: import("../codegen/Validator.js").Validator;
         };
     };
+    compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
 };
 export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
 export type ModuleDetails = import("../codegen/index.js").Module;

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

@@ -1 +1 @@
-{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;aA1Ba,MAAM;;;;;;;;;;;;;;kCAOP,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}
+{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH;;;;GAIG;AACH;;;;;;;GAOG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;;;qBAzCgD,MAAM;kBAAQ,MAAM;;;;;cAGtD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;CAChB;;aAIU,MAAM;;;;;;;;;;;;;oBAGC,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa;;kCAK5E,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}

package/types/lib/Libg_v0_16.d.ts

@@ -1,12 +1,3 @@
-/**
- * @typedef {import("./Lib.js").Lib} Lib
- * @typedef {import("./Lib.js").SourceDetails} SourceDetails
- */
-/**
- * @typedef {import("../codegen/index.js").Module} ModuleDetails
- * @typedef {import("../codegen/index.js").Validator} ValidatorDetails
- * @typedef {import("../codegen/index.js").TypeSchema} InternalTypeDetails
- */
 /**
  * @typedef {{
  *   [name: string]: string[]
@@ -161,12 +152,21 @@ export class Lib_v0_16 implements Lib {
      * @returns {InternalTypeDetails}
      */
     getInternalTypeDetails(dt: DataType): InternalTypeDetails;
+    /**
+     * @param {string} main
+     * @param {string[]} modules
+     * @param {CompileOptions} options
+     * @returns {CompileOutput}
+     */
+    compile(main: string, modules: string[], options: CompileOptions): CompileOutput;
 }
-export type Lib = import("./Lib.js").Lib;
-export type SourceDetails = import("./Lib.js").SourceDetails;
 export type ModuleDetails = import("../codegen/index.js").Module;
 export type ValidatorDetails = import("../codegen/index.js").Validator;
 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[];
 };

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":"AAAA;;;GAGG;AAEH;;;;GAIG;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;;;;OAIG;IACH,yBAWC;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;CACJ;kBApVY,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;4BAIhC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;;;;uBAUxC,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":"AAcA;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;;OAIG;IACH,yBAWC;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;OAGG;IACH,wBAHW,UAAU,GACR,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,2BAHW,QAAQ,GACN,mBAAmB,CAc/B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CA4FzB;CACJ;4BAzbY,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,UAAU,EAAE,cAAc;4BACjC,OAAO,UAAU,EAAE,aAAa;kBAChC,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;;;;uBAchC,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;;UAKvC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC;8BACK,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;gBACA,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE;WACvC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;uBAKhB;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;yBAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,UAAU,CAAA;IACzB,SAAa,EAAE,UAAU,CAAA;CACtB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,eAAe,EAAE,CAAA;CAC9B,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,eAAe,EAAE,CAAA;KAAC,EAAE,CAAA;CAC9D;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,UAAU;0BAIJ;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,UAAU,CAAA;CACzB;wBAIS,EACT"}

package/types/lib/load.d.ts

@@ -1,6 +1,9 @@
 /**
- * @returns {Promise<Lib>}
+ * @typedef {import("./Lib.js").Lib} Lib
  */
-export function loadLibrary(): Promise<Lib>;
+/**
+ * @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 +1 @@
-{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AA0BA;;GAEG;AACH,+BAFa,QAAQ,GAAG,CAAC,CAiCxB;kBAtDY,OAAO,UAAU,EAAE,GAAG"}
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../../src/lib/load.js"],"names":[],"mappings":"AAIA;;GAEG;AAEH;;GAEG;AACH,+BAFa,GAAG,CAcf;kBAlBY,OAAO,UAAU,EAAE,GAAG"}

package/types/runtime/Cast.d.ts

@@ -3,10 +3,10 @@
  * @typedef {import("../codegen/index.js").TypeSchema} TypeSchema
  */
 /**
- * @template TStrict
- * @template TPermissive
+ * @template [TStrict=UplcData]
+ * @template [TPermissive=UplcData]
  */
-export class Cast<TStrict, TPermissive> {
+export class Cast<TStrict = import("@helios-lang/ledger").UplcData, TPermissive = import("@helios-lang/ledger").UplcData> {
     /**
      * @param {TypeSchema} schema
      */
@@ -20,12 +20,12 @@ export class Cast<TStrict, TPermissive> {
      * @param {UplcData} data
      * @returns {TStrict}
      */
-    fromUplc(data: UplcData): TStrict;
+    fromUplcData(data: UplcData): TStrict;
     /**
      * @param {TPermissive} x
      * @returns {UplcData}
      */
-    toUplc(x: TPermissive): UplcData;
+    toUplcData(x: TPermissive): UplcData;
 }
 export type UplcData = import("@helios-lang/uplc").UplcData;
 export type TypeSchema = import("../codegen/index.js").TypeSchema;

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

@@ -1 +1 @@
-{"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,eAHW,QAAQ,GACN,OAAO,CAInB;IAED;;;OAGG;IACH,UAHW,WAAW,GACT,QAAQ,CAIpB;CACJ;uBArCY,OAAO,mBAAmB,EAAE,QAAQ;yBACpC,OAAO,qBAAqB,EAAE,UAAU"}
+{"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

@@ -0,0 +1,44 @@
+/**
+ * @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";
+//# sourceMappingURL=ContractContext.d.ts.map

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

@@ -0,0 +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"}

package/types/runtime/ContractContextBuilder.d.ts

@@ -0,0 +1,133 @@
+/**
+ * @typedef {import("./ContractContext.js").Validator} CompiledValidator
+ */
+/**
+ * @template TRedeemerStrict
+ * @template TRedeemerPermissive
+ * @typedef {import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>} MintingContext
+ */
+/**
+ * @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
+ */
+export class ContractContextBuilder<T extends {
+    [name: string]: Validator;
+}> {
+    /**
+     * @returns {ContractContextBuilder<{}>}
+     */
+    static "new"(): ContractContextBuilder<{}>;
+    /**
+     * @private
+     * @param {T} validators
+     */
+    private constructor();
+    /**
+     * @private
+     * @readonly
+     * @type {T}
+     */
+    private readonly validators;
+    /**
+     * @template {Validator} 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; }>;
+    /**
+     *
+     * @param {Option<{[name: string]: string}>} expectedHashes
+     * @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
+     * }}
+     */
+    build(expectedHashes?: Option<{
+        [name: string]: string;
+    }>): { [K_1 in keyof T]: T[K_1]["$purpose"] extends "spending" ? ValidatorHash<SpendingContext<import("./StrictType.js").StrictType<T[K_1]["$Datum"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Datum"]>, import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "minting" ? MintingPolicyHash<MintingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "certifying" | "rewarding" ? StakingValidatorHash<StakingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : never; };
+}
+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";
+//# sourceMappingURL=ContractContextBuilder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAaA;;GAEG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH;;;IAgBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAbD;;;OAGG;IACH,sBAEC;IAbD;;;;OAIG;IACH,4BAAU;IAiBV;;;;;;OAMG;IACH,+FAKC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH;;2wBA4LC;CACJ;gCAtTY,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;8BA3DG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBAIP,WAAW"}

package/types/runtime/PermissiveType.d.ts

@@ -0,0 +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";
+//# sourceMappingURL=PermissiveType.d.ts.map

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

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

package/types/runtime/StrictType.d.ts

@@ -0,0 +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";
+//# sourceMappingURL=StrictType.d.ts.map

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

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

package/types/runtime/index.d.ts

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