@helios-lang/contract-utils 0.2.81 → 0.3.0

package/types/index.d.ts

@@ -1,13 +1,288 @@
-export * from "./cast/index.js";
-export { LoadedScriptsWriter } from "./codegen/LoadedScriptsWriter.js";
-export type LoadedValidator = import("./codegen/index.js").LoadedValidator;
-export type LoadedModule = import("./codegen/index.js").LoadedModule;
+export { makeLoadedScriptsWriter } from "./codegen/index.js";
+/**
+ * `returns` is optional to accomodate main functions that return undefined
+ */
+export type TypeCheckedUserFunc = {
+    name: string;
+    requiresScriptContext: boolean;
+    requiresCurrentScript: boolean;
+    arguments: {
+        name: string;
+        type: TypeSchema;
+        isOptional: boolean;
+    }[];
+    returns?: TypeSchema;
+};
+export type TypeCheckedModule = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+    moduleDepedencies: string[];
+    types: Record<string, TypeSchema>;
+    functions?: Record<string, TypeCheckedUserFunc>;
+};
+export type TypeCheckedValidator = TypeCheckedModule & {
+    hashDependencies: string[];
+    currentScriptIndex?: number;
+    Redeemer: TypeSchema;
+    Datum?: TypeSchema;
+};
+export type ScriptHashType = any;
+/**
+ * if `debug` is true, the ir is included in the user functions where possible
+ */
+export type CompileOptions = {
+    allValidatorHashTypes: Record<string, ScriptHashType>;
+    allValidatorIndices?: Record<string, number>;
+    hashDependencies: Record<string, string>;
+    dependsOnOwnHash?: boolean;
+    ownHash?: string;
+    parameters?: Record<string, UplcData>;
+    isTestnet: boolean;
+    optimize: boolean;
+    debug?: boolean;
+    excludeUserFuncs?: Set<string>;
+    onCompileUserFunc?: (props: {
+        name: string;
+        cborHex: string;
+        plutusVersion: PlutusVersion;
+        ir?: string;
+        sourceMap?: UplcSourceMapJsonSafe;
+        alt?: {
+            cborHex: string;
+            ir?: string;
+            sourceMap?: UplcSourceMapJsonSafe;
+        };
+    }) => void;
+};
+export type CompileOutput = {
+    cborHex: string;
+    plutusVersion: PlutusVersion;
+    ir?: string;
+    sourceMap?: import("@helios-lang/uplc").UplcSourceMapJsonSafe;
+};
+export type TypeCheckOutput = {
+    modules: {
+        [name: string]: TypeCheckedModule;
+    };
+    validators: {
+        [name: string]: TypeCheckedValidator;
+    };
+};
+export type SourceDetails = {
+    name: string;
+    purpose: string;
+    sourceCode: string;
+};
+export type CompilerLib = {
+    version: string;
+    getScriptHashType: (purpose: string) => ScriptHashType;
+    typeCheck: (validators: string[], modules: string[]) => ({
+        modules: {
+            [name: string]: TypeCheckedModule;
+        };
+        validators: {
+            [name: string]: TypeCheckedValidator;
+        };
+    });
+    compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
+};
+export type DagDependencies = Record<string, string[]>;
+export type CastConfig = {
+    isMainnet: boolean;
+};
+export type Cast<TStrict, TPermissive> = {
+    kind: "Cast";
+    schema: TypeSchema;
+    config: CastConfig;
+    fromUplcData: (data: UplcData, dataPath?: string) => TStrict;
+    /**
+     * converts javascript object to UPLC data, according to the schema.
+     * The optional `dataPath` parameter can provide a contextual cue for the
+     * data-conversion process, and will be displayed as part of any error messages
+     * thrown during the data transformation
+     */
+    toUplcData: (x: TPermissive, dataPath?: string) => UplcData;
+};
+export type ConfigurableCast<TStrict, TPermissive> = (config: CastConfig) => Cast<TStrict, TPermissive>;
+/**
+ * StrictType and PermissiveType work for both Cast and ConfigurableCast
+ */
+export type CastLike<TStrict, TPermissive> = Cast<TStrict, TPermissive> | ConfigurableCast<TStrict, TPermissive>;
+export type SchemaToUplcContext = {
+    /**
+     * - symbol table permitting recursive schema references
+     */
+    defs: Record<string, TypeSchema>;
+    /**
+     * - provides developer-facing cues for any parsing errors, showing the deep field path of any error
+     */
+    dataPath: string;
+};
+export type UplcToSchemaContext = {
+    /**
+     * - symbol table permitting recursive schema references
+     */
+    defs: Record<string, TypeSchema>;
+    /**
+     * - provides developer-facing cues for any parsing errors, showing the deep field path of any error
+     */
+    dataPath: string;
+    /**
+     * - has isMainnet indicator
+     */
+    config: CastConfig;
+};
+/**
+ * TODO: add logOptions here as well (which can be overridden by logOptions passed directly to eval(), evalUnsafe() and profile())?
+ * `returns` is optional to accomodate main functions that return void
+ */
+export type UserFuncProps = {
+    name: string;
+    requiresScriptContext: boolean;
+    requiresCurrentScript: boolean;
+    arguments: {
+        name: string;
+        type: TypeSchema;
+        isOptional: boolean;
+    }[];
+    returns?: TypeSchema;
+    validatorIndices?: Record<string, number>;
+    castConfig: CastConfig;
+};
+export type UnsafeArgsT<ArgsT> = { [K in keyof ArgsT]: K extends "$currentScript" ? string : UplcData; };
+export type UserFunc<ArgsT extends {
+    [argName: string]: any;
+}, RetT> = {
+    uplc: UplcProgram;
+    name: string;
+    eval: (namedArgs: ArgsT, logOptions?: UplcLogger | undefined) => RetT;
+    evalUnsafe: (namedArgs: UnsafeArgsT<ArgsT>, logOptions?: UplcLogger | undefined) => RetT extends void ? void : UplcData;
+    profile: (namedArgs: UnsafeArgsT<ArgsT>, logOptions?: UplcLogger | undefined) => CekResult;
+};
+export type LoadedModule = {
+    $name: string;
+    $purpose: "module";
+    $sourceCode: string;
+    $dependencies: ReadonlyArray<LoadedModule>;
+    $types: {
+        [name: string]: CastLike<any, any>;
+    };
+    $functions: {
+        [name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
+    };
+};
+/**
+ * * Note: `$hashDependencies` doesn't contain the indirect dependencies! It must be kept to a minimum in order to inform in which order the validators must be compiled
+ */
+export type LoadedValidator = {
+    $name: string;
+    $sourceCode: string;
+    $dependencies: ReadonlyArray<LoadedModule>;
+    $hashDependencies: ReadonlyArray<LoadedValidator>;
+    $currentScriptIndex?: number;
+    $dependsOnOwnHash: boolean;
+    $types: {
+        [name: string]: CastLike<any, any>;
+    };
+    $functions: {
+        [name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
+    };
+    $Redeemer: CastLike<any, any>;
+} & ({
+    $purpose: "spending" | "mixed";
+    $Datum: CastLike<any, any>;
+} | {
+    $purpose: "minting" | "certifying" | "rewarding" | "staking";
+});
+export type NamedDependencyToObject<N extends {
+    $name: string;
+}> = { [name in N["$name"]]: Extract<N, {
+    "$name": name;
+}>; };
+export type NamedDependenciesToObject<N extends ReadonlyArray<{
+    $name: string;
+}>> = NamedDependencyToObject<N extends ReadonlyArray<infer M> ? M : never>;
+export type ExtractDependencies<V extends LoadedValidator> = NamedDependenciesToObject<V["$dependencies"]>;
+export type PermissiveType<C extends CastLike<any, any>> = C extends CastLike<any, infer TPermissive> ? TPermissive : never;
+export type StrictType<C extends CastLike<any, any>> = C extends CastLike<infer TStrict, any> ? TStrict : never;
+export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>> | ScriptHash);
+export type ContractValidatorContexts<V extends LoadedValidator> = V extends {
+    "$purpose": "spending";
+    "$Datum": CastLike<any, any>;
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: ValidatorHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
+    "$purpose": "minting";
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
+    "$purpose": ("certifying" | "rewarding" | "staking");
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
+    "$purpose": "mixed";
+    "$Datum": CastLike<any, any>;
+    "$Redeemer": CastLike<any, any>;
+} ? {
+    $hash: ScriptHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
+} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : never;
+export type ContractModuleContexts<V extends LoadedModule> = ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>;
+export type ContractTypesContext<T extends {
+    [typeName: string]: CastLike<any, any>;
+}> = { [K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>; };
+export type ContractUserFuncsContext<T extends {
+    [funcName: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
+}> = { [K in keyof T]: ReturnType<T[K]>; };
 export type ContractContext<Vs extends {
-    [name: string]: import("./codegen/index.js").LoadedValidator;
+    [name: string]: LoadedValidator;
 }, Ms extends {
-    [name: string]: import("./codegen/index.js").LoadedModule;
-}> = import("./context/index.js").ContractContext<Vs, Ms>;
-export type ExtractDependencies<V extends LoadedValidator> = import("./codegen/index.js").ExtractDependencies<V>;
-export { ContractContextBuilder, contractContextCache } from "./context/index.js";
+    [name: string]: LoadedModule;
+}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; };
+/**
+ * if `debug` is true, the ir is included where possible
+ */
+export type ContractContextBuilderProps = {
+    isMainnet: boolean;
+    expectedHashes?: {
+        [name: string]: string;
+    };
+    parameters?: Record<string, UplcData>;
+    dumpHashes?: boolean;
+    debug?: boolean;
+};
+export type LoadedScriptsWriter = {
+    writeModules: (modules: Record<string, TypeCheckedModule>) => LoadedScriptsWriter;
+    writeValidators: (validators: Record<string, TypeCheckedValidator>) => LoadedScriptsWriter;
+    finalize: () => [string, string, string];
+};
+export type ContractContextBuilder<Vs extends {
+    [name: string]: LoadedValidator;
+}, Ms extends {
+    [name: string]: LoadedModule;
+}> = {
+    with: <V extends LoadedValidator>(validator: V) => ContractContextBuilder<Vs & { [K in V["$name"]]: V; }, Ms & ExtractDependencies<V>>;
+    withModule: <M extends LoadedModule>(m: M) => ContractContextBuilder<Vs, Ms & { [K in M["$name"]]: M; }>;
+    build: (props: ContractContextBuilderProps) => ContractContext<Vs, Ms>;
+};
+import type { TypeSchema } from "@helios-lang/type-utils";
+import type { UplcData } from "@helios-lang/uplc";
+import type { PlutusVersion } from "@helios-lang/uplc";
+import type { UplcSourceMapJsonSafe } from "@helios-lang/uplc";
+import type { UplcProgram } from "@helios-lang/uplc";
+import type { UplcLogger } from "@helios-lang/uplc";
+import type { CekResult } from "@helios-lang/uplc";
+import type { SpendingContext } from "@helios-lang/ledger";
+import type { ValidatorHash } from "@helios-lang/ledger";
+import type { MintingContext } from "@helios-lang/ledger";
+import type { MintingPolicyHash } from "@helios-lang/ledger";
+import type { StakingContext } from "@helios-lang/ledger";
+import type { StakingValidatorHash } from "@helios-lang/ledger";
+import type { ScriptHash } from "@helios-lang/ledger";
+export { makeCast, makeUserFunc } from "./cast/index.js";
+export { makeContractContextBuilder, contractContextCache } from "./context/index.js";
 export { typeCheckFiles, typeCheckScripts, loadCompilerLib } from "./compiler/ops.js";
 //# sourceMappingURL=index.d.ts.map

package/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":";;8BAUa,OAAO,oBAAoB,EAAE,eAAe;2BAC5C,OAAO,oBAAoB,EAAE,YAAY;4BAIwB,EAAE,SAAnE;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,oBAAoB,EAAE,eAAe,CAAA;CAAE,EACF,EAAE,SAAhE;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,oBAAoB,EAAE,YAAY,CAAA;CAAE,IAC7D,OAAO,oBAAoB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;gCAIlC,CAAC,SAAlB,eAAgB,IACjB,OAAO,oBAAoB,EAAE,mBAAmB,CAAC,CAAC,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":";;;;kCAiBa;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,qBAAqB,EAAE,OAAO,CAAA;IAC9B,qBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAS,EAAE;QACT,IAAI,EAAE,MAAM,CAAA;QACZ,IAAI,EAAE,UAAU,CAAA;QAChB,UAAU,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACH,OAAO,CAAC,EAAE,UAAU,CAAA;CACrB;gCAIS;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,MAAM,CAAA;IAClB,iBAAiB,EAAE,MAAM,EAAE,CAAA;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACjC,SAAS,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;CAChD;mCAIS,iBAAiB,GAAG;IAC5B,gBAAgB,EAAE,MAAM,EAAE,CAAA;IAC1B,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,EAAE,UAAU,CAAA;IACpB,KAAK,CAAC,EAAE,UAAU,CAAA;CACnB;6BAIS,GAAG;;;;6BAKH;IACR,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;IACrD,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC5C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACxC,gBAAgB,CAAC,EAAE,OAAO,CAAA;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrC,SAAS,EAAE,OAAO,CAAA;IAClB,QAAQ,EAAE,OAAO,CAAA;IACjB,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAA;IAC9B,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE;QAC1B,IAAI,EAAE,MAAM,CAAA;QACZ,OAAO,EAAE,MAAM,CAAA;QACf,aAAa,EAAE,aAAa,CAAA;QAC5B,EAAE,CAAC,EAAE,MAAM,CAAA;QACX,SAAS,CAAC,EAAE,qBAAqB,CAAA;QACjC,GAAG,CAAC,EAAE;YACJ,OAAO,EAAE,MAAM,CAAA;YACf,EAAE,CAAC,EAAE,MAAM,CAAA;YACX,SAAS,CAAC,EAAE,qBAAqB,CAAA;SAClC,CAAA;KACF,KAAK,IAAI,CAAA;CACX;4BAIS;IACR,OAAO,EAAE,MAAM,CAAA;IACf,aAAa,EAAE,aAAa,CAAA;IAC5B,EAAE,CAAC,EAAE,MAAM,CAAA;IACX,SAAS,CAAC,EAAE,OAAO,mBAAmB,EAAE,qBAAqB,CAAA;CAC9D;8BAIS;IACR,OAAO,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;KAAC,CAAA;IAC5C,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;KAAC,CAAA;CACnD;4BAIS;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,MAAM,CAAA;IACf,UAAU,EAAE,MAAM,CAAA;CACnB;0BAIS;IACR,OAAO,EAAE,MAAM,CAAA;IACf,iBAAiB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,cAAc,CAAA;IACtD,SAAS,EAAE,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC;QACvD,OAAO,EAAE;YAAC,CAAC,IAAI,EAAE,MAAM,GAAG,iBAAiB,CAAA;SAAC,CAAC;QAC7C,UAAU,EAAE;YAAC,CAAC,IAAI,EAAE,MAAM,GAAG,oBAAoB,CAAA;SAAC,CAAA;KACnD,CAAC,CAAA;IACF,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,cAAc,KAAK,aAAa,CAAA;CACrF;8BAIS,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;yBAIxB;IACR,SAAS,EAAE,OAAO,CAAA;CACnB;iBAIS,OAAO,EACP,WAAW;UAEd,MAAM;YACN,UAAU;YACV,UAAU;kBACV,CAAC,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,OAAO;;;;;;;gBAE9C,CAAC,CAAC,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,MAAM,KAAK,QAAQ;;6BAQ5C,OAAO,EACP,WAAW,IACX,CAAC,MAAM,EAAE,UAAU,KAAK,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC;;;;qBAKlD,OAAO,EACP,WAAW,IACX,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;;;;;UAKtE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;;cAC1B,MAAM;;;;;;UAKN,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;;;;cAC1B,MAAM;;;;YACN,UAAU;;;;;;4BAMP;IACR,IAAI,EAAE,MAAM,CAAA;IACZ,qBAAqB,EAAE,OAAO,CAAA;IAC9B,qBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAS,EAAE;QACT,IAAI,EAAE,MAAM,CAAA;QACZ,IAAI,EAAE,UAAU,CAAA;QAChB,UAAU,EAAE,OAAO,CAAA;KACpB,EAAE,CAAA;IACH,OAAO,CAAC,EAAE,UAAU,CAAA;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACzC,UAAU,EAAE,UAAU,CAAA;CACvB;wBAIS,KAAK,IACL,GAAE,CAAgB,IAAX,MAAM,KAAK,GAAG,CAAC,SAAS,gBAAgB,GAAG,MAAM,GAAG,QAAQ,GAAC;qBAIzC,KAAK,SAAhC;IAAE,CAAC,OAAO,EAAE,MAAM,GAAG,GAAG,CAAA;CAAE,EAC1B,IAAI;UAEP,WAAW;UACX,MAAM;UACN,CAAC,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,KAAK,IAAI;gBAC/D,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,KAAK,IAAI,SAAS,IAAI,GAAG,IAAI,GAAG,QAAQ;aAC3G,CAAC,SAAS,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,KAAK,SAAS;;2BAI9E;IACR,KAAK,EAAE,MAAM,CAAA;IACb,QAAQ,EAAE,QAAQ,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC1C,MAAM,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;IAC5C,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;CAC5F;;;;8BAKS;IACR,KAAK,EAAE,MAAM,CAAA;IACb,WAAW,EAAE,MAAM,CAAA;IACnB,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC1C,iBAAiB,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;IACjD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,iBAAiB,EAAE,OAAO,CAAA;IAC1B,MAAM,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;IAC5C,UAAU,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;KAAC,CAAA;IAC3F,SAAS,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAC9B,GAAG,CACN;IACM,QAAQ,EAAE,UAAU,GAAG,OAAO,CAAA;IAC9B,MAAM,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAC3B,GAAG;IACF,QAAQ,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,SAAS,CAAA;CAC7D,CACF;oCAI2B,CAAC,SAAnB;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,IACjB,GACP,IAAkB,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE;IAAC,OAAO,EAAE,IAAI,CAAA;CAAC,CAAC,GAClD;sCAI0C,CAAC,SAAjC,aAAa,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,CAAE,IAChC,uBAAuB,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gCAInD,CAAC,SAAlB,eAAgB,IACjB,yBAAyB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;2BAIxB,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,KAAK;uBAI3C,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,MAAM,OAAO,EAAE,GAAG,CAAC,GAAG,OAAO,GAAG,KAAK;0CAIxD,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,GAClD,UAAc,CACX;sCAI2B,CAAC,SAAlB,eAAgB,IACjB,CAAC,SAAS;IAAC,UAAU,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACxG,KAAK,EAAE,cACf,gBACY,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,SAAS,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IACnE,KAAK,EAAE,kBACf,eACY,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,CAAC,YAAY,GAAG,WAAW,GAAG,SAAS,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAClG,KAAK,EAAE,qBACf,eACY,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACF,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACjF,CAAC,SAAS;IAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAAC,WAAW,EAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAC,GAAG;IAC/F,KAAK,EAAE,WACf,gBACa,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EACvB,cAAc,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAC3B,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAC1B,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAC/B,CACH,CAAA;CACF,GAAG,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GACvF,KAAW;mCAKgB,CAAC,SAAf,YAAa,IACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIlC,CAAC,SAA5C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,IAC1C,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAI+F,CAAC,SAAvF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,IACrF,GACP,CAAY,IAAP,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI6C,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE,IAChC,GACP,CAAa,IAAR,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAa,IAAR,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C;;;;0CAKS;IACR,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,CAAC,EAAE;QAAC,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAA;KAAC,CAAA;IACzC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrC,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;;kBAKM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,KAAK,mBAAmB;qBACnE,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,KAAK,mBAAmB;cACzE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC;;mCAIS,EAAE,SAAtC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE,EACF,EAAE,SAAnC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE;UAEnC,CAAC,CAAyB,SAAf,eAAe,EAAE,SAAS,EAAE,CAAC,KAAK,sBAAsB,CAAC,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,EAAE,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBAC7H,CAAC,CAAsB,SAAZ,YAAY,EAAE,CAAC,EAAE,CAAC,KAAK,sBAAsB,CAAC,EAAE,EAAE,EAAE,GAAG,GAAE,CAAe,IAAV,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,CAAC;WACzF,CAAC,KAAK,EAAE,2BAA2B,KAAK,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;gCArW1C,yBAAyB;8BAC+C,mBAAmB;mCAAnB,mBAAmB;2CAAnB,mBAAmB;iCAAnB,mBAAmB;gCAAnB,mBAAmB;+BAAnB,mBAAmB;qCAFc,qBAAqB;mCAArB,qBAAqB;oCAArB,qBAAqB;uCAArB,qBAAqB;oCAArB,qBAAqB;0CAArB,qBAAqB;gCAArB,qBAAqB"}

package/src/cast/PermissiveType.js

@@ -1,18 +0,0 @@
-export {}
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("./Cast.js").ConfigurableCast<TStrict, TPermissive>} ConfigurableCast
- */
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("./Cast.js").CastLike<TStrict, TPermissive>} CastLike
- */
-
-/**
- * @template {CastLike<any, any>} C
- * @typedef {C extends CastLike<any, infer TPermissive> ? TPermissive : never} PermissiveType
- */

package/src/cast/StrictType.js

@@ -1,18 +0,0 @@
-export {}
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("./Cast.js").ConfigurableCast<TStrict, TPermissive>} ConfigurableCast
- */
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("./Cast.js").CastLike<TStrict, TPermissive>} CastLike
- */
-
-/**
- * @template {CastLike<any, any>} C
- * @typedef {C extends CastLike<infer TStrict, any> ? TStrict : never} StrictType
- */

package/src/codegen/LoadedModule.js

@@ -1,23 +0,0 @@
-import { UserFunc } from "../cast/UserFunc.js"
-
-/**
- * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
- * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
- */
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("../cast/Cast.js").CastLike<TStrict, TPermissive>} CastLike
- */
-
-/**
- * @typedef {{
- *   $name: string
- *   $purpose: "module"
- *   $sourceCode: string
- *   $dependencies: ReadonlyArray<LoadedModule>
- *   $types: {[name: string]: CastLike<any, any>}
- *   $functions: {[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}
- * }} LoadedModule
- */

package/src/codegen/LoadedValidator.js

@@ -1,52 +0,0 @@
-import { UserFunc } from "../cast/UserFunc.js"
-
-/**
- * @template TStrict
- * @template TPermissive
- * @typedef {import("../cast/Cast.js").CastLike<TStrict, TPermissive>} CastLike
- */
-
-/**
- * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
- * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
- * @typedef {import("./LoadedModule.js").LoadedModule} LoadedModule
- */
-
-/**
- * * Note: `$hashDependencies` doesn't contain the indirect dependencies! It must be kept to a minimum in order to inform in which order the validators must be compiled
- * @typedef {{
- *   $name: string
- *   $sourceCode: string
- *   $dependencies: ReadonlyArray<LoadedModule>
- *   $hashDependencies: ReadonlyArray<LoadedValidator>
- *   $currentScriptIndex?: number
- *   $dependsOnOwnHash: boolean
- *   $types: {[name: string]: CastLike<any, any>}
- *   $functions: {[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}
- *   $Redeemer: CastLike<any, any>
- * } & (
- *   {
- *     $purpose: "spending" | "mixed"
- *     $Datum: CastLike<any, any>
- *   } | {
- *     $purpose: "minting" | "certifying" | "rewarding" | "staking"
- *   }
- * )} LoadedValidator
- */
-
-/**
- * @template {{$name: string}} N
- * @typedef {{
- *   [name in N["$name"]]: Extract<N, {"$name": name}>
- * }} NamedDependencyToObject
- */
-
-/**
- * @template {ReadonlyArray<{$name: string}>} N
- * @typedef {NamedDependencyToObject<N extends ReadonlyArray<infer M> ? M : never>} NamedDependenciesToObject
- */
-
-/**
- * @template {LoadedValidator} V
- * @typedef {NamedDependenciesToObject<V["$dependencies"]>} ExtractDependencies
- */

package/src/codegen/TypeCheckedModule.js

@@ -1,31 +0,0 @@
-export {}
-
-/**
- * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
- */
-
-/**
- * `returns` is optional to accomodate main functions that return undefined
- * @typedef {{
- *   name: string
- *   requiresScriptContext: boolean
- *   requiresCurrentScript: boolean
- *   arguments: {
- *     name: string
- *     type: TypeSchema
- *     isOptional: boolean
- *   }[]
- *   returns?: TypeSchema
- * }} TypeCheckedUserFunc
- */
-
-/**
- * @typedef {{
- *   name: string
- *   purpose: string
- *   sourceCode: string
- *   moduleDepedencies: string[]
- *   types: Record<string, TypeSchema>
- *   functions?: Record<string, TypeCheckedUserFunc>
- * }} TypeCheckedModule
- */

package/src/codegen/TypeCheckedValidator.js

@@ -1,15 +0,0 @@
-export {}
-
-/**
- * @typedef {import("./TypeCheckedModule.js").TypeCheckedModule} TypeCheckedModule
- * @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
- */
-
-/**
- * @typedef {TypeCheckedModule & {
- *   hashDependencies: string[]
- *   currentScriptIndex?: number
- *   Redeemer: TypeSchema
- *   Datum?: TypeSchema
- * }} TypeCheckedValidator
- */

package/src/context/ContractContext.js

@@ -1,130 +0,0 @@
-import {
-    StakingValidatorHash,
-    ValidatorHash,
-    MintingPolicyHash,
-    ScriptHash
-} from "@helios-lang/ledger"
-import { Cast, UserFunc } from "../cast/index.js"
-
-/**
- * @typedef {import("@helios-lang/uplc").UplcProgram} UplcProgram
- * @typedef {import("../cast/Cast.js").CastConfig} CastConfig
- * @typedef {import("../codegen/index.js").LoadedModule} LoadedModule
- * @typedef {import("../codegen/index.js").LoadedValidator} LoadedValidator
- */
-
-/**
- * @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 TStrict
- * @template TPermissive
- * @typedef {import("../cast/index.js").CastLike<TStrict, TPermissive>} CastLike
- */
-
-/**
- * @template {CastLike<any, any>} C
- * @typedef {import("../cast/index.js").PermissiveType<C>} PermissiveType
- */
-
-/**
- * @template {CastLike<any, any>} C
- * @typedef {import("../cast/index.js").StrictType<C>} StrictType
- */
-
-/**
- * @typedef {(
- *   ValidatorHash<SpendingContext<any, any, any, any>> |
- *   MintingPolicyHash<MintingContext<any, any>> |
- *   StakingValidatorHash<StakingContext<any, any>> |
- *   ScriptHash
- * )} AnyContractValidatorContext
- */
-
-/**
- * @template {LoadedValidator} V
- * @typedef {V extends {"$purpose": "spending", "$Datum": CastLike<any, any>, "$Redeemer": CastLike<any, any>} ? {
- *       $hash: ValidatorHash<
- *         SpendingContext<
- *           StrictType<V["$Datum"]>,
- *           PermissiveType<V["$Datum"]>,
- *           StrictType<V["$Redeemer"]>,
- *           PermissiveType<V["$Redeemer"]>
- *         >
- *       >
- *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
- *     V extends {"$purpose": "minting", "$Redeemer": CastLike<any, any>} ? {
- *       $hash: MintingPolicyHash<
- *         MintingContext<
- *           StrictType<V["$Redeemer"]>,
- *           PermissiveType<V["$Redeemer"]>
- *         >
- *       >
- *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
- *     V extends {"$purpose": ("certifying" | "rewarding" | "staking"), "$Redeemer": CastLike<any, any>} ? {
- *       $hash: StakingValidatorHash<
- *         StakingContext<
- *           StrictType<V["$Redeemer"]>,
- *           PermissiveType<V["$Redeemer"]>
- *         >
- *       >
- *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
- *     V extends {"$purpose": "mixed", "$Datum": CastLike<any, any>, "$Redeemer": CastLike<any, any>} ? {
- *       $hash: ScriptHash<
- *         SpendingContext<
- *            StrictType<V["$Datum"]>,
- *            PermissiveType<V["$Datum"]>,
- *            StrictType<V["$Redeemer"]>,
- *            PermissiveType<V["$Redeemer"]>
- *          >
- *       >
- *     } & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> :
- *     never
- * } ContractValidatorContexts
- */
-
-/**
- * @template {LoadedModule} V
- * @typedef {ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>} ContractModuleContexts
- */
-
-/**
- * @template {{[typeName: string]: CastLike<any, any>}} T
- * @typedef {{
- *   [K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>
- * }} ContractTypesContext
- */
-
-/**
- * @template {{[funcName: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any>}} T
- * @typedef {{
- *   [K in keyof T]: ReturnType<T[K]>
- * }} ContractUserFuncsContext
- */
-
-/**
- * @template {{[name: string]: LoadedValidator}} Vs
- * @template {{[name: string]: LoadedModule}} Ms
- * @typedef {{
- *   [K in keyof Vs]: ContractValidatorContexts<Vs[K]>
- * } & {
- *   [K in keyof Ms]: ContractModuleContexts<Ms[K]>
- * }} ContractContext
- */