@helios-lang/contract-utils 0.2.8 → 0.2.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +3 -3
- package/src/cast/Cast.js +314 -219
- package/src/codegen/TypeSchema.js +139 -143
- package/src/compiler/CompilerLib.js +29 -4
- package/src/compiler/CompilerLib_v0_16.js +75 -51
- package/src/compiler/CompilerLib_v0_17.js +107 -0
- package/src/compiler/ops.js +5 -0
- package/src/context/ContractContextBuilder.js +1 -0
- package/src/context/DagCompiler.js +9 -8
- package/src/hl2ts.js +3 -4
- package/types/cast/Cast.d.ts.map +1 -1
- package/types/codegen/TypeCheckedModule.d.ts +1 -1
- package/types/codegen/TypeSchema.d.ts +3 -56
- package/types/codegen/TypeSchema.d.ts.map +1 -1
- package/types/compiler/CompilerLib.d.ts +66 -3
- package/types/compiler/CompilerLib.d.ts.map +1 -1
- package/types/compiler/CompilerLib_v0_16.d.ts +38 -39
- package/types/compiler/CompilerLib_v0_16.d.ts.map +1 -1
- package/types/compiler/CompilerLib_v0_17.d.ts +68 -0
- package/types/compiler/CompilerLib_v0_17.d.ts.map +1 -0
- package/types/compiler/ops.d.ts.map +1 -1
- package/types/context/ContractContextBuilder.d.ts.map +1 -1
- package/types/context/ContractContextCache.d.ts +1 -1
- package/types/context/DagCompiler.d.ts +2 -1
- package/types/context/DagCompiler.d.ts.map +1 -1
- package/types/hl2ts.d.ts.map +1 -1
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @typedef {import("@helios-lang/uplc").UplcData} UplcData
|
|
3
|
+
* @typedef {import("./CompilerLib.js").CompilerLib} CompilerLib
|
|
4
|
+
* @typedef {import("./CompilerLib.js").CompileOptions} CompileOptions
|
|
5
|
+
* @typedef {import("./CompilerLib.js").CompileOutput} CompileOutput
|
|
6
|
+
* @typedef {import("./CompilerLib.js").ScriptHashType} ScriptHashType
|
|
7
|
+
* @typedef {import("./CompilerLib.js").TypeCheckOutput} TypeCheckOutput
|
|
8
|
+
*/
|
|
9
|
+
/**
|
|
10
|
+
* @typedef {{
|
|
11
|
+
* name: string
|
|
12
|
+
* changeParam(key: string, value: UplcData): void
|
|
13
|
+
* compile(options: {optimize?: boolean, dependsOnOwnHash?: boolean, hashDependencies?: Record<string, string>}): UplcProgramV2
|
|
14
|
+
* }} Program
|
|
15
|
+
*/
|
|
16
|
+
/**
|
|
17
|
+
* @implements {CompilerLib}
|
|
18
|
+
*/
|
|
19
|
+
export class CompilerLib_v0_17 implements CompilerLib {
|
|
20
|
+
/**
|
|
21
|
+
* @param {any} lib
|
|
22
|
+
*/
|
|
23
|
+
constructor(lib: any);
|
|
24
|
+
/**
|
|
25
|
+
* @private
|
|
26
|
+
* @type {any}
|
|
27
|
+
*/
|
|
28
|
+
private lib;
|
|
29
|
+
/**
|
|
30
|
+
* @type {string}
|
|
31
|
+
*/
|
|
32
|
+
get version(): string;
|
|
33
|
+
/**
|
|
34
|
+
* @param {string} purpose
|
|
35
|
+
* @returns {ScriptHashType}
|
|
36
|
+
*/
|
|
37
|
+
getScriptHashType(purpose: string): ScriptHashType;
|
|
38
|
+
/**
|
|
39
|
+
* @param {string} mainSource
|
|
40
|
+
* @param {string[]} moduleSources
|
|
41
|
+
* @param {CompileOptions} options
|
|
42
|
+
* @returns {CompileOutput}
|
|
43
|
+
*/
|
|
44
|
+
compile(mainSource: string, moduleSources: string[], options: CompileOptions): CompileOutput;
|
|
45
|
+
/**
|
|
46
|
+
* @param {string[]} validatorSources
|
|
47
|
+
* @param {string[]} moduleSources
|
|
48
|
+
* @returns {TypeCheckOutput}
|
|
49
|
+
*/
|
|
50
|
+
typeCheck(validatorSources: string[], moduleSources: string[]): TypeCheckOutput;
|
|
51
|
+
}
|
|
52
|
+
export type UplcData = import("@helios-lang/uplc").UplcData;
|
|
53
|
+
export type CompilerLib = import("./CompilerLib.js").CompilerLib;
|
|
54
|
+
export type CompileOptions = import("./CompilerLib.js").CompileOptions;
|
|
55
|
+
export type CompileOutput = import("./CompilerLib.js").CompileOutput;
|
|
56
|
+
export type ScriptHashType = import("./CompilerLib.js").ScriptHashType;
|
|
57
|
+
export type TypeCheckOutput = import("./CompilerLib.js").TypeCheckOutput;
|
|
58
|
+
export type Program = {
|
|
59
|
+
name: string;
|
|
60
|
+
changeParam(key: string, value: UplcData): void;
|
|
61
|
+
compile(options: {
|
|
62
|
+
optimize?: boolean;
|
|
63
|
+
dependsOnOwnHash?: boolean;
|
|
64
|
+
hashDependencies?: Record<string, string>;
|
|
65
|
+
}): UplcProgramV2;
|
|
66
|
+
};
|
|
67
|
+
import { UplcProgramV2 } from "@helios-lang/uplc";
|
|
68
|
+
//# sourceMappingURL=CompilerLib_v0_17.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"CompilerLib_v0_17.d.ts","sourceRoot":"","sources":["../../src/compiler/CompilerLib_v0_17.js"],"names":[],"mappings":"AAGA;;;;;;;GAOG;AAEH;;;;;;GAMG;AAEH;;GAEG;AACH;IAOI;;OAEG;IACH,iBAFW,GAAG,EAIb;IAXD;;;OAGG;IACH,YAAG;IASH;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,2BAHW,MAAM,GACJ,cAAc,CAM1B;IAED;;;;;OAKG;IACH,oBALW,MAAM,iBACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CAoCzB;IAED;;;;OAIG;IACH,4BAJW,MAAM,EAAE,iBACR,MAAM,EAAE,GACN,eAAe,CAM3B;CACJ;uBAtGY,OAAO,mBAAmB,EAAE,QAAQ;0BACpC,OAAO,kBAAkB,EAAE,WAAW;6BACtC,OAAO,kBAAkB,EAAE,cAAc;4BACzC,OAAO,kBAAkB,EAAE,aAAa;6BACxC,OAAO,kBAAkB,EAAE,cAAc;8BACzC,OAAO,kBAAkB,EAAE,eAAe;;UAK5C,MAAM;qBACK,MAAM,SAAS,QAAQ,GAAG,IAAI;qBAC9B;QAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,OAAO,MAAM,EAAE,MAAM,CAAC,CAAA;KAAC,GAAG,aAAa;;8BAfnG,mBAAmB"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/compiler/ops.js"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"ops.d.ts","sourceRoot":"","sources":["../../src/compiler/ops.js"],"names":[],"mappings":"AAsBA;;;GAGG;AACH,mCAFa,WAAW,CAkBvB;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;0BAzDY,OAAO,kBAAkB,EAAE,WAAW;8BAEtC,OAAO,kBAAkB,EAAE,eAAe"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAKA;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;;GAOG;AAEH;;;GAGG;AACH;;;;;IAwBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IArBD;;;;OAIG;IACH,4BAAU;IAEV;;;OAGG;IACH,kBAFU,EAAE,CAEL;IAmBP;;;;;;;OAOG;IACH,8JAaC;IAED;;;;;;;OAOG;IACH,sIAQC;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,gBAAgB,EAAE,EAAE,EAAE,CAAC,
|
|
1
|
+
{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/context/ContractContextBuilder.js"],"names":[],"mappings":"AAKA;;;;;GAKG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;;GAOG;AAEH;;;GAGG;AACH;;;;;IAwBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,EAAE,EAAE,CAAC,CAI1C;IAfD;;;;OAIG;IACH,sBAGC;IArBD;;;;OAIG;IACH,4BAAU;IAEV;;;OAGG;IACH,kBAFU,EAAE,CAEL;IAmBP;;;;;;;OAOG;IACH,8JAaC;IAED;;;;;;;OAOG;IACH,sIAQC;IAED;;;OAGG;IACH,aAHW,yBAAyB,GACvB,gBAAgB,EAAE,EAAE,EAAE,CAAC,CA0DnC;CACJ;yBAnKY,OAAO,kBAAkB,EAAE,UAAU;2BACrC,OAAO,4BAA4B,EAAE,YAAY;8BACjD,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;wFAK1C,OAAO,+BAA+B,EAAE,mBAAmB,CAAC,CAAC,CAAC;;;;;KAM9D,OAAO,sBAAsB,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;eAKnD,OAAO"}
|
|
@@ -14,7 +14,7 @@ export type CacheEntryJson = {
|
|
|
14
14
|
optimizedCborHex: string;
|
|
15
15
|
plutusVersion: PlutusVersion;
|
|
16
16
|
castConfig: CastConfig;
|
|
17
|
-
datum?: import("
|
|
17
|
+
datum?: import("@helios-lang/type-utils").TypeSchema | undefined;
|
|
18
18
|
redeemer: TypeSchema;
|
|
19
19
|
};
|
|
20
20
|
};
|
|
@@ -40,10 +40,11 @@ export class DagCompiler {
|
|
|
40
40
|
/**
|
|
41
41
|
* @param {LoadedValidator[]} validators
|
|
42
42
|
* @param {Record<string, any>} parameters
|
|
43
|
+
* @param {boolean} isTestnet
|
|
43
44
|
* @param {Option<{[name: string]: string}>} expectedHashes
|
|
44
45
|
* @returns {{[name: string]: AnyContractValidatorContext}}
|
|
45
46
|
*/
|
|
46
|
-
build(validators: LoadedValidator[], parameters: Record<string, any>, expectedHashes?: Option<{
|
|
47
|
+
build(validators: LoadedValidator[], parameters: Record<string, any>, isTestnet: boolean, expectedHashes?: Option<{
|
|
47
48
|
[name: string]: string;
|
|
48
49
|
}>): {
|
|
49
50
|
[name: string]: import("./ContractContext.js").AnyContractValidatorContext;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"DagCompiler.d.ts","sourceRoot":"","sources":["../../src/context/DagCompiler.js"],"names":[],"mappings":"AA2NA;;;GAGG;AACH,iDAHW,eAAe,GACb,MAAM,EAAE,CAsBpB;AAzOD;;;;;GAKG;AAEH;;GAEG;AACH;IAsBI;;;OAGG;IACH,iBAHW,WAAW,cACX,UAAU,EAMpB;IA7BD;;;;OAIG;IACH,qBAAG;IAEH;;;;OAIG;IACH,wBAAM;IAEN;;;;OAIG;IACH,uBAAK;IAQD,iDAA4B;IAIhC;;;;;;OAMG;IACH,kBANW,eAAe,EAAE,cACjB,OAAO,MAAM,EAAE,GAAG,CAAC,aACnB,OAAO;;;;MAoFjB;IAED;;;;;OAKG;IACH,mBA6BC;IAED;;;;OAIG;IACH,4BAoBC;IAED;;;;OAIG;IACH,qBAMC;CACJ;yBA9MY,OAAO,kBAAkB,EAAE,UAAU;8BACrC,OAAO,+BAA+B,EAAE,eAAe;0BACvD,OAAO,sBAAsB,EAAE,WAAW;0CAC1C,OAAO,sBAAsB,EAAE,2BAA2B"}
|
package/types/hl2ts.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"hl2ts.d.ts","sourceRoot":"","sources":["../src/hl2ts.js"],"names":[],"mappings":";
|
|
1
|
+
{"version":3,"file":"hl2ts.d.ts","sourceRoot":"","sources":["../src/hl2ts.js"],"names":[],"mappings":";0BAiBa,OAAO,2BAA2B,EAAE,WAAW;4BAC/C,OAAO,2BAA2B,EAAE,iBAAiB;+BACrD,OAAO,2BAA2B,EAAE,oBAAoB;4BAIxD;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;yBAIS,YAAY,GAAG,YAAY"}
|