@helios-lang/contract-utils 0.1.20 → 0.1.23

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,56 @@
+/**
+ * @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;
+    /**
+     * @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]}
+     */
+    finalize(): [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;IASI;;;OAGG;IACH,gBAFa,mBAAmB,CAQ/B;IAdG,yBAAoC;IACpC,0BAAqC;IAezC;;;OAGG;IACH;;QAFa,mBAAmB,CAgC/B;IAED;;;OAGG;IACH;;QAFa,mBAAmB,CAkC/B;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,CAAC,CAI5B;IAED;;;;;OAKG;IACH,cAKC;IAED;;OAEG;IACH,qBAcC;IAED;;;OAGG;IACH,oBAiBC;IAED;;;OAGG;IACH,uBA+BC;CACJ;gCArMY,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"}

package/types/compiler/CompilerLib_v0_16.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"CompilerLib_v0_16.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_16.js"],"names":[],"mappings":"AAGA;;;;;;;;;;GAUG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AAEH;;;;;GAKG;AAEH;;;;;;GAMG;AACH;;;;;;;;;;GAUG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAa1B;IAED;;;;OAIG;IACH,sBAJW,MAAM,EAAE,WACR,MAAM,EAAE,GACN,eAAe,CAmF3B;IAED;;;;;;;;;;;OAWG;IACH,mCAoDC;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CAyCzB;IAED;;;;;;OAMG;IACH,uBAOC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH,4BA8BC;IAED;;;;OAIG;IACH,+BAYC;CACJ;gCA1dY,OAAO,qBAAqB,EAAE,iBAAiB;mCAC/C,OAAO,qBAAqB,EAAE,oBAAoB;kCAElD,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;0BACxC,OAAO,kBAAkB,EAAE,WAAW;4BACtC,OAAO,kBAAkB,EAAE,aAAa;8BACxC,OAAO,kBAAkB,EAAE,eAAe;;;;6BAU1C,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;mBAIrC;IACZ,GAAO,EAAE;QACT,GAAS,EAAE,MAAM,CAAA;KACZ,CAAA;CACF;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,IAAQ,EAAE,IAAI,CAAA;CACX;;UAKO,SAAS;8BACW,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;aACH,SAAS,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,SAAS;gBAC/E,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/compiler/index.d.ts

@@ -0,0 +1,4 @@
+export type CompilerLib = import("./CompilerLib.js").CompilerLib;
+export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
+export { loadCompilerLib, typeCheckFiles, typeCheckScripts } from "./ops.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compiler/index.js"],"names":[],"mappings":"0BAGa,OAAO,kBAAkB,EAAE,WAAW;8BACtC,OAAO,kBAAkB,EAAE,eAAe"}

package/types/compiler/ops.d.ts

@@ -0,0 +1,24 @@
+/**
+ * The compiler library is passed as an argument instead of loading locally, so any optional configuration of the library can be done externally
+ * @returns {CompilerLib}
+ */
+export function loadCompilerLib(): CompilerLib;
+/**
+ * The compiler library is passed as an argument instead of loading locally, so any optional configuration of the library can be done externally
+ * @param {CompilerLib} lib
+ * @param {{[path: string]: string}} files
+ * @param {(current: string, rel: string) => string} relToAbs
+ * @returns {TypeCheckOutput}
+ */
+export function typeCheckFiles(lib: CompilerLib, files: {
+    [path: string]: string;
+}, relToAbs: (current: string, rel: string) => string): TypeCheckOutput;
+/**
+ * @param {CompilerLib} lib
+ * @param {string[]} scripts
+ * @returns {TypeCheckOutput}
+ */
+export function typeCheckScripts(lib: CompilerLib, scripts: string[]): TypeCheckOutput;
+export type CompilerLib = import("./CompilerLib.js").CompilerLib;
+export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
+//# sourceMappingURL=ops.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/compiler/ops.js"],"names":[],"mappings":"AAoBA;;;GAGG;AACH,mCAFa,WAAW,CAgBvB;AAED;;;;;;GAMG;AACH,oCALW,WAAW;;uBAED,MAAM,OAAO,MAAM,KAAK,MAAM,GACtC,eAAe,CAM3B;AAED;;;;GAIG;AACH,sCAJW,WAAW,WACX,MAAM,EAAE,GACN,eAAe,CAM3B;0BAtDY,OAAO,kBAAkB,EAAE,WAAW;8BACtC,OAAO,kBAAkB,EAAE,eAAe"}

package/types/context/ContractContext.d.ts

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

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

@@ -0,0 +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,CAAC,CAAA;CAAC,GAAG,qBAC7D,eACA,WAAqB,CAAC,CAAC,WAAW,CAAC,CAAC,EACpC,eAAyB,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,GAAG,KAAK;;;;qBAjEK,kBAAkB;8BADhC,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB"}