@helios-lang/contract-utils 0.1.10 → 0.1.12
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 +1 -1
- package/src/lib/Lib.js +2 -0
- package/src/lib/Libg_v0_16.js +1 -6
- package/src/lib/index.js +4 -0
- package/src/runtime/ContractContextBuilder.js +18 -0
- package/types/lib/Lib.d.ts +6 -0
- package/types/lib/Lib.d.ts.map +1 -1
- package/types/lib/Libg_v0_16.d.ts +1 -2
- package/types/lib/Libg_v0_16.d.ts.map +1 -1
- package/types/lib/index.d.ts +1 -0
- package/types/lib/index.d.ts.map +1 -1
- package/types/runtime/ContractContextBuilder.d.ts +8 -0
- package/types/runtime/ContractContextBuilder.d.ts.map +1 -1
package/package.json
CHANGED
package/src/lib/Lib.js
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @typedef {{
|
|
3
|
+
* allValidatorTypes: {[name: string]: any},
|
|
3
4
|
* otherValidators: {[name: string]: {purpose: string, hash: string}},
|
|
4
5
|
* dependsOnOwnHash?: boolean,
|
|
5
6
|
* ownHash?: string,
|
|
@@ -15,6 +16,7 @@
|
|
|
15
16
|
/**
|
|
16
17
|
* @typedef {{
|
|
17
18
|
* version: string
|
|
19
|
+
* getValidatorType: (purpose: string) => any
|
|
18
20
|
* typeCheck: (validators: {[name: string]: SourceDetails}, modules: {[name: string]: SourceDetails}) => ({
|
|
19
21
|
* modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}})
|
|
20
22
|
* compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput
|
package/src/lib/Libg_v0_16.js
CHANGED
|
@@ -129,7 +129,6 @@ export class Lib_v0_16 {
|
|
|
129
129
|
}
|
|
130
130
|
|
|
131
131
|
/**
|
|
132
|
-
* @private
|
|
133
132
|
* @param {string} purpose
|
|
134
133
|
* @returns {HashType}
|
|
135
134
|
*/
|
|
@@ -352,11 +351,7 @@ export class Lib_v0_16 {
|
|
|
352
351
|
compile(main, modules, options) {
|
|
353
352
|
const [purpose, name] = readHeader(main)
|
|
354
353
|
const otherValidators = options.otherValidators ?? {}
|
|
355
|
-
const otherValidatorTypes =
|
|
356
|
-
Object.keys(otherValidators).map((k) => {
|
|
357
|
-
return [k, this.getValidatorType(otherValidators[k].purpose)]
|
|
358
|
-
})
|
|
359
|
-
)
|
|
354
|
+
const otherValidatorTypes = options.allValidatorTypes
|
|
360
355
|
|
|
361
356
|
const program = this.lib.Program.newInternal(
|
|
362
357
|
main,
|
package/src/lib/index.js
CHANGED
|
@@ -12,6 +12,7 @@ import { Cast } from "./Cast.js"
|
|
|
12
12
|
import { ContractContext } from "./ContractContext.js"
|
|
13
13
|
|
|
14
14
|
/**
|
|
15
|
+
* @typedef {import("../lib/index.js").Lib} Lib
|
|
15
16
|
* @typedef {import("./ContractContext.js").Validator} CompiledValidator
|
|
16
17
|
*/
|
|
17
18
|
|
|
@@ -106,6 +107,19 @@ export class ContractContextBuilder {
|
|
|
106
107
|
})
|
|
107
108
|
}
|
|
108
109
|
|
|
110
|
+
/**
|
|
111
|
+
* @private
|
|
112
|
+
* @param {Lib} lib
|
|
113
|
+
* @returns {{[name: string]: any}}
|
|
114
|
+
*/
|
|
115
|
+
getValidatorTypes(lib) {
|
|
116
|
+
return Object.fromEntries(
|
|
117
|
+
Object.entries(this.validators).map(([name, v]) => {
|
|
118
|
+
return [name, lib.getValidatorType(v.$purpose)]
|
|
119
|
+
})
|
|
120
|
+
)
|
|
121
|
+
}
|
|
122
|
+
|
|
109
123
|
/**
|
|
110
124
|
*
|
|
111
125
|
* @param {Option<{[name: string]: string}>} expectedHashes
|
|
@@ -136,6 +150,8 @@ export class ContractContextBuilder {
|
|
|
136
150
|
build(expectedHashes = None) {
|
|
137
151
|
const lib = loadLibrary()
|
|
138
152
|
|
|
153
|
+
const allValidatorTypes = this.getValidatorTypes(lib)
|
|
154
|
+
|
|
139
155
|
/**
|
|
140
156
|
* @type {{[name: string]: (
|
|
141
157
|
* ValidatorHash<SpendingContext<any, any, any, any>> |
|
|
@@ -229,6 +245,7 @@ export class ContractContextBuilder {
|
|
|
229
245
|
{
|
|
230
246
|
optimize: true,
|
|
231
247
|
otherValidators: getOtherValidators(),
|
|
248
|
+
allValidatorTypes: allValidatorTypes,
|
|
232
249
|
dependsOnOwnHash: validator.$dependsOnOwnHash
|
|
233
250
|
}
|
|
234
251
|
)
|
|
@@ -274,6 +291,7 @@ export class ContractContextBuilder {
|
|
|
274
291
|
{
|
|
275
292
|
optimize: false,
|
|
276
293
|
otherValidators: getOtherValidators(),
|
|
294
|
+
allValidatorTypes: allValidatorTypes,
|
|
277
295
|
ownHash: validator.$dependsOnOwnHash ? ownHash : undefined
|
|
278
296
|
}
|
|
279
297
|
)
|
package/types/lib/Lib.d.ts
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* @typedef {{
|
|
3
|
+
* allValidatorTypes: {[name: string]: any},
|
|
3
4
|
* otherValidators: {[name: string]: {purpose: string, hash: string}},
|
|
4
5
|
* dependsOnOwnHash?: boolean,
|
|
5
6
|
* ownHash?: string,
|
|
@@ -14,6 +15,7 @@
|
|
|
14
15
|
/**
|
|
15
16
|
* @typedef {{
|
|
16
17
|
* version: string
|
|
18
|
+
* getValidatorType: (purpose: string) => any
|
|
17
19
|
* typeCheck: (validators: {[name: string]: SourceDetails}, modules: {[name: string]: SourceDetails}) => ({
|
|
18
20
|
* modules: {[name: string]: ModuleDetails}, validators: {[name: string]: ValidatorDetails}})
|
|
19
21
|
* compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput
|
|
@@ -39,6 +41,9 @@ export function getVersion(lib: {
|
|
|
39
41
|
VERSION: string;
|
|
40
42
|
}): number[];
|
|
41
43
|
export type CompileOptions = {
|
|
44
|
+
allValidatorTypes: {
|
|
45
|
+
[name: string]: any;
|
|
46
|
+
};
|
|
42
47
|
otherValidators: {
|
|
43
48
|
[name: string]: {
|
|
44
49
|
purpose: string;
|
|
@@ -54,6 +59,7 @@ export type CompileOutput = {
|
|
|
54
59
|
};
|
|
55
60
|
export type Lib = {
|
|
56
61
|
version: string;
|
|
62
|
+
getValidatorType: (purpose: string) => any;
|
|
57
63
|
typeCheck: (validators: {
|
|
58
64
|
[name: string]: SourceDetails;
|
|
59
65
|
}, modules: {
|
package/types/lib/Lib.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA
|
|
1
|
+
{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.js"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;GAIG;AACH;;;;;;;;GAQG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AACH,gCAHW;IAAC,OAAO,EAAE,MAAM,CAAA;CAAC,GACf,MAAM,EAAE,CAIpB;;;;;;;qBA1CgD,MAAM;kBAAQ,MAAM;;;;;cAGtD,OAAO;;4BAKT;IACZ,OAAW,EAAE,MAAM,CAAA;CAChB;;aAIU,MAAM;gCACa,MAAM,KAAK,GAAG;;;;;;;;;;;;;oBAG1B,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa;;kCAK5E,OAAO,qBAAqB,EAAE,UAAU;4BACxC,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;4BAIvC;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB"}
|
|
@@ -98,11 +98,10 @@ export class Lib_v0_16 implements Lib {
|
|
|
98
98
|
*/
|
|
99
99
|
get version(): string;
|
|
100
100
|
/**
|
|
101
|
-
* @private
|
|
102
101
|
* @param {string} purpose
|
|
103
102
|
* @returns {HashType}
|
|
104
103
|
*/
|
|
105
|
-
|
|
104
|
+
getValidatorType(purpose: string): HashType;
|
|
106
105
|
/**
|
|
107
106
|
* @private
|
|
108
107
|
* @param {SourceDetails[]} validators
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAcA;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED
|
|
1
|
+
{"version":3,"file":"Libg_v0_16.d.ts","sourceRoot":"","sources":["../../src/lib/Libg_v0_16.js"],"names":[],"mappings":"AAcA;;;;GAIG;AAEH;;;GAGG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;;;GAIG;AAEH;;GAEG;AAEH;;;;;;GAMG;AACH;;;;;;;;;GASG;AAEH;;;;GAIG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;GAGG;AAEH;;GAEG;AACH;IACI;;OAEG;IACH,iBAFW,GAAG,EAIb;IADG,SAAc;IAGlB;;OAEG;IACH,sBAEC;IAED;;;OAGG;IACH,0BAHW,MAAM,GACJ,QAAQ,CAapB;IAED;;;;;;OAMG;IACH,uBAcC;IAED;;;;;OAKG;IACH,iBAWC;IAED;;;;;OAKG;IACH,6BAeC;IAED;;;;OAIG;IACH;;;;;;;;;;;MAuEC;IAED;;;OAGG;IACH,wBAHW,UAAU,GACR,mBAAmB,CAgC/B;IAED;;;OAGG;IACH,2BAHW,QAAQ,GACN,mBAAmB,CAc/B;IAED;;;;;OAKG;IACH,cALW,MAAM,WACN,MAAM,EAAE,WACR,cAAc,GACZ,aAAa,CAwFzB;CACJ;4BApbY,OAAO,qBAAqB,EAAE,MAAM;+BACpC,OAAO,qBAAqB,EAAE,SAAS;kCACvC,OAAO,qBAAqB,EAAE,UAAU;6BACxC,OAAO,UAAU,EAAE,cAAc;4BACjC,OAAO,UAAU,EAAE,aAAa;kBAChC,OAAO,UAAU,EAAE,GAAG;4BACtB,OAAO,UAAU,EAAE,aAAa;;;;uBAchC,EACT;;kBAKe,MAAM,KAAK,OAAO;;4BAKxB;IACZ,MAAU,MAAM,CAAA;CACb;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb;wBAIS,eAAe,GAAG,aAAa,GAAG,GAAG;;UAKvC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC;8BACK,MAAM,EAAE,KAAK,MAAM,EAAE;gBACnC,SAAS,EAAE;;;UAKjB,MAAM;gBACA,GAAG,SAAS,IAAI,MAAM,EAAE,EAAE,CAAC,KAAK,EAAE;WACvC,SAAS;yBACK,MAAM,EAAE;gBACjB,MAAM;kBACJ,QAAQ,EAAE;;uBAKhB;IACZ,WAAe,CAAC,EAAE,WAAW,CAAA;CAC1B;yBAIS;IACZ,IAAQ,EAAG,MAAM,CAAA;CACd,GAAG;IACN,IAAQ,EAAM,MAAM,CAAA;IACpB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAO,KAAK,CAAA;IACpB,OAAW,EAAI,UAAU,CAAA;IACzB,SAAa,EAAE,UAAU,CAAA;CACtB,GAAG;IACN,IAAQ,EAAM,QAAQ,CAAA;IACtB,QAAY,EAAE,UAAU,CAAA;CACrB,GAAG;IACN,IAAQ,EAAQ,QAAQ,CAAA;IACxB,UAAc,EAAE,eAAe,EAAE,CAAA;CAC9B,GAAG;IACN,IAAQ,EAAU,MAAM,CAAA;IACxB,YAAgB,EAAE;QAAC,MAAM,MAAM,CAAC;QAAC,UAAU,EAAE,eAAe,EAAE,CAAA;KAAC,EAAE,CAAA;CAC9D;8BAIS;IACZ,MAAU,MAAM,CAAA;CACb,GAAG,UAAU;0BAIJ;IACZ,SAAa,EAAE,MAAM,CAAA;IACrB,UAAc,EAAE,MAAM,CAAA;IACtB,YAAgB,EAAE,UAAU,CAAA;CACzB;wBAIS,EACT"}
|
package/types/lib/index.d.ts
CHANGED
package/types/lib/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.js"],"names":[],"mappings":""}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/lib/index.js"],"names":[],"mappings":";kBAGa,OAAO,UAAU,EAAE,GAAG"}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
/**
|
|
2
|
+
* @typedef {import("../lib/index.js").Lib} Lib
|
|
2
3
|
* @typedef {import("./ContractContext.js").Validator} CompiledValidator
|
|
3
4
|
*/
|
|
4
5
|
/**
|
|
@@ -74,6 +75,12 @@ export class ContractContextBuilder<T extends {
|
|
|
74
75
|
* }>}
|
|
75
76
|
*/
|
|
76
77
|
with<V extends Validator>(validator: V): ContractContextBuilder<T & { [K in V["$name"]]: V; }>;
|
|
78
|
+
/**
|
|
79
|
+
* @private
|
|
80
|
+
* @param {Lib} lib
|
|
81
|
+
* @returns {{[name: string]: any}}
|
|
82
|
+
*/
|
|
83
|
+
private getValidatorTypes;
|
|
77
84
|
/**
|
|
78
85
|
*
|
|
79
86
|
* @param {Option<{[name: string]: string}>} expectedHashes
|
|
@@ -105,6 +112,7 @@ export class ContractContextBuilder<T extends {
|
|
|
105
112
|
[name: string]: string;
|
|
106
113
|
}>): { [K_1 in keyof T]: T[K_1]["$purpose"] extends "spending" ? ValidatorHash<SpendingContext<import("./StrictType.js").StrictType<T[K_1]["$Datum"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Datum"]>, import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "minting" ? MintingPolicyHash<MintingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : T[K_1]["$purpose"] extends "certifying" | "rewarding" ? StakingValidatorHash<StakingContext<import("./StrictType.js").StrictType<T[K_1]["$Redeemer"]>, import("./PermissiveType.js").PermissiveType<T[K_1]["$Redeemer"]>>> : never; };
|
|
107
114
|
}
|
|
115
|
+
export type Lib = import("../lib/index.js").Lib;
|
|
108
116
|
export type CompiledValidator = import("./ContractContext.js").Validator;
|
|
109
117
|
export type MintingContext<TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").MintingContext<TRedeemerStrict, TRedeemerPermissive>;
|
|
110
118
|
export type SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive> = import("@helios-lang/ledger").SpendingContext<TDatumStrict, TDatumPermissive, TRedeemerStrict, TRedeemerPermissive>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAaA
|
|
1
|
+
{"version":3,"file":"ContractContextBuilder.d.ts","sourceRoot":"","sources":["../../src/runtime/ContractContextBuilder.js"],"names":[],"mappings":"AAaA;;;GAGG;AAEH;;;;GAIG;AAEH;;;;;;GAMG;AAEH;;;;GAIG;AAEH;;;GAGG;AAEH;;;GAGG;AAEH;;;;;;GAMG;AAEH;;;;;;;;;;;GAWG;AAEH;;GAEG;AACH;;;IAgBI;;OAEG;IACH,gBAFa,uBAAuB,EAAE,CAAC,CAItC;IAbD;;;OAGG;IACH,sBAEC;IAbD;;;;OAIG;IACH,4BAAU;IAiBV;;;;;;OAMG;IACH,+FAKC;IAED;;;;OAIG;IACH,0BAMC;IAED;;;;;;;;;;;;;;;;;;;;;;;;;;OA0BG;IACH;;2wBA+LC;CACJ;kBAvUY,OAAO,iBAAiB,EAAE,GAAG;gCAC7B,OAAO,sBAAsB,EAAE,SAAS;mEAMxC,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;oGAQlF,OAAO,qBAAqB,EAAE,eAAe,CAAC,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,mBAAmB,CAAC;mEAMnH,OAAO,qBAAqB,EAAE,cAAc,CAAC,eAAe,EAAE,mBAAmB,CAAC;6HAKlF,OAAO,qBAAqB,EAAE,cAAc,CAAC,CAAC,CAAC;yHAK/C,OAAO,iBAAiB,EAAE,UAAU,CAAC,CAAC,CAAC;qBAIvC;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;CACxB;wBAIS;IACZ,KAAS,EAAE,MAAM,CAAA;IACjB,QAAY,EAAE,MAAM,CAAA;IACpB,WAAe,EAAE,MAAM,CAAA;IACvB,aAAiB,EAAE,MAAM,EAAE,CAAA;IAC3B,iBAAqB,EAAE,SAAS,EAAE,CAAA;IAClC,iBAAqB,EAAE,OAAO,CAAA;IAC9B,SAAa,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;IAC7B,MAAU,CAAC,EAAE,KAAK,GAAG,EAAE,GAAG,CAAC,CAAA;CACxB;8BA5DG,qBAAqB;kCAArB,qBAAqB;qCAArB,qBAAqB;qBAIP,WAAW"}
|