@helios-lang/contract-utils 0.1.20 → 0.1.24

package/src/hl2ts.js

@@ -1,60 +1,136 @@
 #!/usr/bin/env node
 
-import { promises, readFileSync, writeFileSync } from "node:fs"
+import {
+    existsSync,
+    fstat,
+    promises,
+    readFileSync,
+    writeFileSync
+} from "node:fs"
 import { dirname, join, resolve } from "node:path"
-import { readHeader, translateImportPaths } from "@helios-lang/compiler-utils"
-import { TypescriptWriter } from "./codegen/index.js"
-import { loadLibrary } from "./lib/index.js"
+import { Cli, Command, EnumOpt, StringOpt } from "@helios-lang/cli-utils"
+import { LoadedScriptsWriter } from "./codegen/index.js"
+import { loadCompilerLib } from "./compiler/index.js"
+import { typeCheckFiles, typeCheckScripts } from "./compiler/ops.js"
+import { None } from "@helios-lang/type-utils"
 
 /**
- * @typedef {import("./lib/Lib.js").Lib} Lib
- * @typedef {import("./lib/Lib.js").SourceDetails} SourceDetails
- * @typedef {import("./lib/Lib.js").ModuleDetails} ModuleDetails
- * @typedef {import("./lib/Lib.js").ValidatorDetails} ValidatorDetails
+ * @typedef {import("./compiler/CompilerLib.js").CompilerLib} CompilerLib
+ * @typedef {import("./compiler/CompilerLib.js").TypeCheckedModule} ModuleDetails
+ * @typedef {import("./compiler/CompilerLib.js").TypeCheckedValidator} ValidatorDetails
+ */
+
+/**
+ * @typedef {{
+ *   name: string
+ *   purpose: string
+ *   sourceCode: string
+ * }} SourceDetails
+ */
+
+/**
+ * @typedef {"javascript" | "typescript"} FormatKind
  */
 
 async function main() {
-    console.log("hl2ts")
+    const cli = new Cli({
+        minArgs: 0,
+        maxArgs: 0,
+        options: {
+            outDir: new StringOpt({
+                long: "--out-dir",
+                short: "-o",
+                default: () => process.cwd()
+            }),
+            format: new EnumOpt({
+                long: "--format",
+                short: "-f",
+                variants: /** @type {FormatKind[]} */ ([
+                    "javascript",
+                    "typescript"
+                ]),
+                default: () => {
+                    const path = findPackageJson()
+
+                    if (
+                        path &&
+                        existsSync(join(dirname(path), "tsconfig.json"))
+                    ) {
+                        return "typescript"
+                    } else {
+                        return "javascript"
+                    }
+                }
+            })
+        },
+        action: mainInternal
+    })
+
+    await cli.run()
+}
 
-    const { outDir } = parseArgs(process.argv)
+/**
+ * @param {string[]} _args
+ * @param {{outDir: string, format: FormatKind}} options
+ * @returns {Promise<void>}
+ */
+async function mainInternal(_args, { outDir, format }) {
+    const lib = loadCompilerLib()
 
-    const lib = await loadLibrary()
     const filePaths = await listFiles(process.cwd(), ".hl")
     const files = readFiles(filePaths)
-    const sources = preparseFiles(files)
-    const { modules, validators } = typeCheck(lib, sources)
 
-    const w = new TypescriptWriter()
+    console.log(`hl2ts using Helios compiler v${lib.version}`)
+    console.log(`  Transpiling ${Object.keys(files).length} inputs:`)
+    filePaths.forEach((p) => console.log(`    ${p}`))
 
-    w.writeHeaders()
-    w.writeModules(modules)
-    w.writeValidators(validators)
+    const { modules, validators } = typeCheckFiles(lib, files, (current, rel) =>
+        resolve(join(dirname(current), rel))
+    )
+
+    const [js, dts, ts] = LoadedScriptsWriter.new()
+        .writeModules(modules)
+        .writeValidators(validators)
+        .finalize()
+
+    if (format == "typescript") {
+        const tsPath = join(outDir, "index.ts")
 
-    const [js, dts] = w.finalize()
+        writeFileSync(tsPath, ts)
+
+        console.log(`  Output:`)
+        console.log(`    ${tsPath}`)
+    } else {
+        const jsPath = join(outDir, "index.js")
+        const dtsPath = join(outDir, "index.d.ts")
 
-    const jsPath = join(outDir, "index.js")
-    const dtsPath = join(outDir, "index.d.ts")
+        writeFileSync(jsPath, js)
+        writeFileSync(dtsPath, dts)
 
-    writeFileSync(jsPath, js)
-    writeFileSync(dtsPath, dts)
+        console.log(`  Output:`)
+        console.log(`    ${jsPath}`)
+        console.log(`    ${dtsPath}`)
+    }
 }
 
 main()
 
 /**
  * @param {string[]} args
- * @returns {{outDir: string}}
+ * @returns {{outDir: string, isTypescript: boolean}}
  */
 function parseArgs(args) {
+    const isTypescript = args.indexOf("--ts") != -1
+
     let i = args.indexOf("-o")
     if (i != -1) {
-        if (i == args.length - 1) {
+        if (i == args.length - 1 || args[i + 1].startsWith("-")) {
             throw new Error("expected argument after -o")
         }
 
-        return { outDir: resolve(args[i + 1]) }
+        return { outDir: resolve(args[i + 1]), isTypescript }
     } else {
-        return { outDir: process.cwd() }
+        return { outDir: process.cwd(), isTypescript }
     }
 }
 
@@ -98,88 +174,24 @@ function readFiles(filePaths) {
 }
 
 /**
- *
- * @param {{[path: string]: string}} files
- * @returns {{[name: string]: SourceDetails}}
+ * @param {string} fileName
+ * @returns {Option<string>}
  */
-function preparseFiles(files) {
-    const partialSources = {}
+function findPackageJson(fileName = "package.json") {
+    let dir = process.cwd()
 
-    for (let path in files) {
-        const [purpose, name] = readHeader(files[path])
+    let path = join(dir, fileName)
+    let found = existsSync(path)
 
-        partialSources[path] = {
-            name: name,
-            purpose: purpose,
-            sourceCode: files[path]
-        }
+    while (!found) {
+        dir = dirname(dir)
+        path = join(dir, fileName)
+        found = existsSync(path)
     }
 
-    /**
-     * @type {{[name: string]: SourceDetails}}
-     */
-    const sources = {}
-
-    for (let path in files) {
-        const sourceCode = translateImportPaths(files[path], (relPath) => {
-            const absPath = resolve(join(dirname(path), relPath))
-
-            const d = partialSources[absPath] ?? partialSources[absPath + ".hl"]
-
-            if (!d) {
-                throw new Error(`'${relPath}' not found`)
-            }
-
-            return d.name
-        })
-
-        sources[partialSources[path].name] = {
-            ...partialSources[path],
-            sourceCode: sourceCode
-        }
-    }
-
-    return sources
-}
-
-/**
- * @param {{[name: string]: SourceDetails}} sources
- * @returns {[{[name: string]: SourceDetails}, {[name: string]: SourceDetails}]}
- */
-function splitValidatorsAndModules(sources) {
-    /**
-     * @type {{[name: string]: SourceDetails}}
-     */
-    const validators = {}
-
-    /**
-     * @type {{[name: string]: SourceDetails}}
-     */
-    const modules = {}
-
-    for (let key in sources) {
-        const v = sources[key]
-        if (v.purpose == "module") {
-            modules[key] = v
-        } else if (
-            v.purpose == "spending" ||
-            v.purpose == "minting" ||
-            v.purpose == "staking"
-        ) {
-            validators[key] = v
-        }
+    if (found) {
+        return path
+    } else {
+        return None
     }
-
-    return [validators, modules]
-}
-
-/**
- * @param {Lib} lib
- * @param {{[name: string]: SourceDetails}} sources
- * @returns {{modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}}}
- */
-function typeCheck(lib, sources) {
-    const [validators, modules] = splitValidatorsAndModules(sources)
-
-    return lib.typeCheck(validators, modules)
 }

package/src/index.js

@@ -1 +1,12 @@
-export { Cast, ContractContextBuilder } from "./runtime/index.js"
+export { Cast } from "./cast/index.js"
+export { ContractContextBuilder } from "./context/index.js"
+
+/**
+ * @template {import("./cast/index.js").Cast} C
+ * @typedef {import("./cast/index.js").StrictType<C>} StrictType
+ */
+
+/**
+ * @template {import("./cast/index.js").Cast} C
+ * @typedef {import("./cast/index.js").PermissiveType<C>} PermissiveType
+ */

package/types/cast/Cast.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"Cast.d.ts","sourceRoot":"","sources":["../../src/cast/Cast.js"],"names":[],"mappings":"AAiCA;;;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/cast/PermissiveType.d.ts

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

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

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

package/types/cast/StrictType.d.ts

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

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

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

package/types/cast/index.d.ts

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

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

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

package/types/codegen/LoadedModule.d.ts

@@ -0,0 +1,6 @@
+export type LoadedModule = {
+    $name: string;
+    $sourceCode: string;
+    $dependencies: LoadedModule[];
+};
+//# sourceMappingURL=LoadedModule.d.ts.map

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

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

package/types/codegen/LoadedScriptsWriter.d.ts

@@ -0,0 +1,57 @@
+/**
+ * @typedef {import("./TypeCheckedModule.js").TypeCheckedModule} TypeCheckedModule
+ * @typedef {import("./TypeCheckedValidator.js").TypeCheckedValidator} TypeCheckedValidator
+ */
+export class LoadedScriptsWriter {
+    /**
+     * Constructs a LoadedScriptsWriter instance and initializes it be writing the header
+     * @returns {LoadedScriptsWriter}
+     */
+    static "new"(): LoadedScriptsWriter;
+    definition: StringWriter;
+    declaration: StringWriter;
+    combined: StringWriter;
+    /**
+     * @param {{[name: string]: TypeCheckedModule}} ms
+     * @returns {LoadedScriptsWriter}
+     */
+    writeModules(ms: {
+        [name: string]: import("./TypeCheckedModule.js").TypeCheckedModule;
+    }): LoadedScriptsWriter;
+    /**
+     * @param {{[name: string]: TypeCheckedValidator}} validators
+     * @returns {LoadedScriptsWriter}
+     */
+    writeValidators(validators: {
+        [name: string]: import("./TypeCheckedValidator.js").TypeCheckedValidator;
+    }): LoadedScriptsWriter;
+    /**
+     * @returns {[string, string, string]}
+     */
+    finalize(): [string, string, string];
+    /**
+     * @private
+     * @param {string} def
+     * @param {string} decl
+     * @returns {LoadedScriptsWriter}
+     */
+    private write;
+    /**
+     * @private
+     */
+    private writeHeaders;
+    /**
+     * @private
+     * @param {TypeCheckedModule} m
+     */
+    private writeModule;
+    /**
+     * @private
+     * @param {TypeCheckedValidator} v
+     */
+    private writeValidator;
+}
+export type TypeCheckedModule = import("./TypeCheckedModule.js").TypeCheckedModule;
+export type TypeCheckedValidator = import("./TypeCheckedValidator.js").TypeCheckedValidator;
+import { StringWriter } from "@helios-lang/codec-utils";
+//# sourceMappingURL=LoadedScriptsWriter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"LoadedScriptsWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedScriptsWriter.js"],"names":[],"mappings":"AAGA;;;GAGG;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,qBAWC;IAED;;;OAGG;IACH,oBA8BC;IAED;;;OAGG;IACH,uBA+CC;CACJ;gCApOY,OAAO,wBAAwB,EAAE,iBAAiB;mCAClD,OAAO,2BAA2B,EAAE,oBAAoB;6BALxC,0BAA0B"}

package/types/codegen/LoadedValidator.d.ts

@@ -0,0 +1,16 @@
+export type LoadedModule = import("./LoadedModule.js").LoadedModule;
+export type LoadedValidator = {
+    $name: string;
+    $sourceCode: string;
+    $dependencies: LoadedModule[];
+    $hashDependencies: LoadedValidator[];
+    $dependsOnOwnHash: boolean;
+    $Redeemer: Cast;
+} & ({
+    $purpose: "spending";
+    $Datum: Cast;
+} | {
+    $purpose: "minting" | "certifying" | "rewarding" | "staking";
+});
+import { Cast } from "../cast/Cast.js";
+//# sourceMappingURL=LoadedValidator.d.ts.map

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

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

package/types/codegen/TypeCheckedModule.d.ts

@@ -0,0 +1,11 @@
+export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type TypeCheckedModule = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+    moduleDepedencies: string[];
+    types: {
+        [name: string]: import("./TypeSchema.js").TypeSchema;
+    };
+};
+//# sourceMappingURL=TypeCheckedModule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;;UAKtC,MAAM;aACH,MAAM;gBACH,MAAM;uBACC,MAAM,EAAE"}

package/types/codegen/TypeCheckedValidator.d.ts

@@ -0,0 +1,8 @@
+export type TypeCheckedModule = import("./TypeCheckedModule.js").TypeCheckedModule;
+export type TypeSchema = import("./TypeSchema.js").TypeSchema;
+export type TypeCheckedValidator = TypeCheckedModule & {
+    hashDependencies: string[];
+    Redeemer: TypeSchema;
+    Datum?: TypeSchema;
+};
+//# sourceMappingURL=TypeCheckedValidator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"TypeCheckedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedValidator.js"],"names":[],"mappings":"gCAGa,OAAO,wBAAwB,EAAE,iBAAiB;yBAClD,OAAO,iBAAiB,EAAE,UAAU;mCAIpC,iBAAiB,GAAG;IAChC,gBAAoB,EAAE,MAAM,EAAE,CAAA;IAC9B,QAAY,EAAE,UAAU,CAAA;IACxB,KAAS,CAAC,EAAE,UAAU,CAAA;CACnB"}

package/types/codegen/TypeSchema.d.ts

@@ -1,4 +1,8 @@
 /**
+ * TODO: references and ids for recursive types and more descriptive codegen
+ * TODO: use `kind: "internal" | "list" | "map" | "struct" | "option" | "enum"` instead of `primitiveType` etc.
+ * TODO: additional property for struct: `format: "list" | "map"`
+ * TODO: rename primitiveType -> internalType
  * @typedef {{
  *     primitiveType: string
  * } | {
@@ -28,6 +32,12 @@
  * @returns {[string, string]} - the first entry is the canonical type, the second is the permissive type
  */
 export function genTypes(schema: TypeSchema): [string, string];
+/**
+ * TODO: references and ids for recursive types and more descriptive codegen
+ * TODO: use `kind: "internal" | "list" | "map" | "struct" | "option" | "enum"` instead of `primitiveType` etc.
+ * TODO: additional property for struct: `format: "list" | "map"`
+ * TODO: rename primitiveType -> internalType
+ */
 export type TypeSchema = {
     primitiveType: string;
 } | {

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

@@ -1 +1 @@
-{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH;;;GAGG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CA0H5B;yBArJY;IACZ,aAAmB,EAAE,MAAM,CAAA;CACxB,GAAG;IACN,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,UAAgB,EAAE,UAAU,CAAA;IAC5B,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,cAAoB,EAAE,UAAU,CAAA;CAC7B,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAgB,MAAM,CAAA;QACtB,IAAc,EAAE,UAAU,CAAA;KACnB,EAAE,CAAA;CACN,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAiB,MAAM,CAAC;QACxB,UAAqB,EAAE;YACvB,MAAqB,MAAM,CAAA;YAC3B,IAAmB,EAAE,UAAU,CAAA;SACnB,EAAE,CAAA;KACP,EAAE,CAAA;CACN"}
+{"version":3,"file":"TypeSchema.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeSchema.js"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH;;;GAGG;AACH,iCAHW,UAAU,GACR,CAAC,MAAM,EAAE,MAAM,CAAC,CA0H5B;;;;;;;yBArJY;IACZ,aAAmB,EAAE,MAAM,CAAA;CACxB,GAAG;IACN,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,UAAgB,EAAE,UAAU,CAAA;IAC5B,YAAkB,EAAE,UAAU,CAAA;CAC3B,GAAG;IACN,cAAoB,EAAE,UAAU,CAAA;CAC7B,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAgB,MAAM,CAAA;QACtB,IAAc,EAAE,UAAU,CAAA;KACnB,EAAE,CAAA;CACN,GAAG;IACN,gBAAsB,EAAE;QACxB,MAAiB,MAAM,CAAC;QACxB,UAAqB,EAAE;YACvB,MAAqB,MAAM,CAAA;YAC3B,IAAmB,EAAE,UAAU,CAAA;SACnB,EAAE,CAAA;KACP,EAAE,CAAA;CACN"}

package/types/codegen/TypescriptWriter.d.ts

@@ -30,21 +30,21 @@ export class TypescriptWriter {
      * @param {{[name: string]: Module}} ms
      */
     writeModules(ms: {
-        [name: string]: import("./Module.js").Module;
+        [name: string]: import("./TypeCheckedModule.js").Module;
     }): void;
     /**
      *
      * @param {{[name: string]: Validator}} validators
      */
     writeValidators(validators: {
-        [name: string]: import("./Validator.js").Validator;
+        [name: string]: import("./TypeCheckedValidator.js").Validator;
     }): void;
     /**
      * @returns {[string, string]}
      */
     finalize(): [string, string];
 }
-export type Module = import("./Module.js").Module;
-export type Validator = import("./Validator.js").Validator;
+export type Module = import("./TypeCheckedModule.js").Module;
+export type Validator = import("./TypeCheckedValidator.js").Validator;
 import { Writer } from "./Writer.js";
 //# sourceMappingURL=TypescriptWriter.d.ts.map

package/types/codegen/Validator.d.ts

@@ -13,7 +13,7 @@
  */
 export const _: {};
 export type TypeSchema = import("./TypeSchema.js").TypeSchema;
-export type Module = import("./Module.js").Module;
+export type Module = import("./TypeCheckedModule.js").Module;
 export type Validator = Module & {
     hashDependencies: string[];
     Redeemer: TypeSchema;

package/types/codegen/index.d.ts

@@ -1,6 +1,7 @@
-export { TypescriptWriter } from "./TypescriptWriter.js";
-export { Writer } from "./Writer.js";
-export type Module = import("./Module.js").Module;
+export { LoadedScriptsWriter } from "./LoadedScriptsWriter.js";
+export type LoadedModule = import("./LoadedModule.js").LoadedModule;
+export type LoadedValidator = import("./LoadedValidator.js").LoadedValidator;
+export type TypeCheckedModule = import("./TypeCheckedModule.js").TypeCheckedModule;
+export type TypeCheckedValidator = import("./TypeCheckedValidator.js").TypeCheckedValidator;
 export type TypeSchema = import("./TypeSchema.js").TypeSchema;
-export type Validator = import("./Validator.js").Validator;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/codegen/index.js"],"names":[],"mappings":";;qBAIa,OAAO,aAAa,EAAE,MAAM;yBAC5B,OAAO,iBAAiB,EAAE,UAAU;wBACpC,OAAO,gBAAgB,EAAE,SAAS"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/codegen/index.js"],"names":[],"mappings":";2BAGa,OAAO,mBAAmB,EAAE,YAAY;8BACxC,OAAO,sBAAsB,EAAE,eAAe;gCAC9C,OAAO,wBAAwB,EAAE,iBAAiB;mCAClD,OAAO,2BAA2B,EAAE,oBAAoB;yBACxD,OAAO,iBAAiB,EAAE,UAAU"}

package/types/compiler/CompilerLib.d.ts

@@ -0,0 +1,45 @@
+export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
+export type TypeCheckedModule = import("../codegen/index.js").TypeCheckedModule;
+export type TypeCheckedValidator = import("../codegen/index.js").TypeCheckedValidator;
+export type CompileOptions = {
+    allValidatorHashTypes: {
+        [name: string]: any;
+    };
+    hashDependencies: {
+        [name: string]: string;
+    };
+    dependsOnOwnHash?: boolean | undefined;
+    ownHash?: string | undefined;
+    optimize: boolean;
+};
+export type CompileOutput = {
+    cborHex: string;
+    prettyIR: string;
+};
+export type TypeCheckOutput = {
+    modules: {
+        [name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
+    };
+    validators: {
+        [name: string]: import("../codegen/TypeCheckedValidator.js").TypeCheckedValidator;
+    };
+};
+export type SourceDetails = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+};
+export type CompilerLib = {
+    version: string;
+    getScriptHashType: (purpose: string) => any;
+    typeCheck: (validators: string[], modules: string[]) => {
+        modules: {
+            [name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
+        };
+        validators: {
+            [name: string]: import("../codegen/TypeCheckedValidator.js").TypeCheckedValidator;
+        };
+    };
+    compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
+};
+//# sourceMappingURL=CompilerLib.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"CompilerLib.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib.js"],"names":[],"mappings":"kCAGa,OAAO,qBAAqB,EAAE,UAAU;gCACxC,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;;;;;;;;;;cAShD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;IACnB,QAAY,EAAE,MAAM,CAAA;CACjB;;;;;;;;;4BAWS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;;aAKU,MAAM;iCACc,MAAM,KAAK,GAAG;4BACnB,MAAM,EAAE,WAAW,MAAM,EAAE;;;;;;;;oBAInC,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa"}