@helios-lang/contract-utils 0.3.21 → 0.3.23
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/README.md +52 -0
- package/package.json +10 -4
- package/src/artifacts/ChildArtifactWriter.js +18 -0
- package/src/artifacts/RootArtifact.js +8 -0
- package/src/cli/compile.js +211 -0
- package/src/cli/config.mjs +158 -0
- package/src/cli/login.mjs +117 -0
- package/src/cli/project.mjs +67 -0
- package/src/cli/wallet-file.mjs +14 -0
- package/src/cli/wallet.mjs +51 -0
- package/src/codegen/LoadedScriptsWriter.js +20 -3
- package/src/context/ContractContextBuilder.js +34 -1
- package/src/context/debugger.js +46 -0
- package/src/helios.mjs +50 -0
- package/src/hl2ts.js +5 -185
- package/src/index.js +10 -1
- package/types/artifacts/ChildArtifactWriter.d.ts.map +1 -1
- package/types/artifacts/RootArtifact.d.ts.map +1 -1
- package/types/cli/compile.d.ts +9 -0
- package/types/cli/compile.d.ts.map +1 -0
- package/types/cli/config.d.mts +5 -0
- package/types/cli/config.d.mts.map +1 -0
- package/types/cli/project.d.mts +11 -0
- package/types/cli/project.d.mts.map +1 -0
- package/types/codegen/LoadedScriptsWriter.d.ts +2 -1
- package/types/codegen/LoadedScriptsWriter.d.ts.map +1 -1
- package/types/context/ContractContextBuilder.d.ts.map +1 -1
- package/types/context/debugger.d.ts +9 -0
- package/types/context/debugger.d.ts.map +1 -0
- package/types/hl2ts.d.ts +1 -6
- package/types/hl2ts.d.ts.map +1 -1
- package/types/index.d.ts +18 -1
- package/types/index.d.ts.map +1 -1
- package/types/cast/PermissiveType.d.ts +0 -4
- package/types/cast/PermissiveType.d.ts.map +0 -1
- package/types/cast/StrictType.d.ts +0 -4
- package/types/cast/StrictType.d.ts.map +0 -1
- package/types/codegen/LoadedModule.d.ts +0 -17
- package/types/codegen/LoadedModule.d.ts.map +0 -1
- package/types/codegen/LoadedValidator.d.ts +0 -38
- package/types/codegen/LoadedValidator.d.ts.map +0 -1
- package/types/codegen/Module.d.ts +0 -24
- package/types/codegen/Module.d.ts.map +0 -1
- package/types/codegen/TypeCheckedModule.d.ts +0 -24
- package/types/codegen/TypeCheckedModule.d.ts.map +0 -1
- package/types/codegen/TypeCheckedValidator.d.ts +0 -9
- package/types/codegen/TypeCheckedValidator.d.ts.map +0 -1
- package/types/codegen/TypescriptWriter.d.ts +0 -50
- package/types/codegen/TypescriptWriter.d.ts.map +0 -1
- package/types/codegen/Validator.d.ts +0 -22
- package/types/codegen/Validator.d.ts.map +0 -1
- package/types/codegen/Writer.d.ts +0 -23
- package/types/codegen/Writer.d.ts.map +0 -1
- package/types/context/ContractContext.d.ts +0 -53
- package/types/context/ContractContext.d.ts.map +0 -1
- package/types/context/writeContractContextArtifacts.d.ts +0 -30
- package/types/context/writeContractContextArtifacts.d.ts.map +0 -1
- package/types/lib/Lib.d.ts +0 -41
- package/types/lib/Lib.d.ts.map +0 -1
- package/types/lib/Libg_v0_16.d.ts +0 -256
- package/types/lib/Libg_v0_16.d.ts.map +0 -1
- package/types/lib/index.d.ts +0 -3
- package/types/lib/index.d.ts.map +0 -1
- package/types/lib/load.d.ts +0 -6
- package/types/lib/load.d.ts.map +0 -1
- package/types/runtime/Cast.d.ts +0 -32
- package/types/runtime/Cast.d.ts.map +0 -1
- package/types/runtime/ContractContext.d.ts +0 -23
- package/types/runtime/ContractContext.d.ts.map +0 -1
- package/types/runtime/ContractContextBuilder.d.ts +0 -53
- package/types/runtime/ContractContextBuilder.d.ts.map +0 -1
- package/types/runtime/DagCompiler.d.ts +0 -64
- package/types/runtime/DagCompiler.d.ts.map +0 -1
- package/types/runtime/PermissiveType.d.ts +0 -3
- package/types/runtime/PermissiveType.d.ts.map +0 -1
- package/types/runtime/StrictType.d.ts +0 -3
- package/types/runtime/StrictType.d.ts.map +0 -1
- package/types/runtime/index.d.ts +0 -2
- package/types/runtime/index.d.ts.map +0 -1
package/types/index.d.ts
CHANGED
|
@@ -144,6 +144,7 @@ export type UserFunc<ArgsT extends {
|
|
|
144
144
|
profile: (namedArgs: UnsafeArgsT<ArgsT>, logOptions?: UplcLogger | undefined) => CekResult;
|
|
145
145
|
};
|
|
146
146
|
export type LoadedModule = {
|
|
147
|
+
$debugger?: DebuggerContext;
|
|
147
148
|
$name: string;
|
|
148
149
|
$purpose: "module";
|
|
149
150
|
$sourceCode: string;
|
|
@@ -159,6 +160,7 @@ export type LoadedModule = {
|
|
|
159
160
|
* * 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
|
|
160
161
|
*/
|
|
161
162
|
export type LoadedValidator = {
|
|
163
|
+
$debugger?: DebuggerContext;
|
|
162
164
|
$name: string;
|
|
163
165
|
$sourceCode: string;
|
|
164
166
|
$dependencies: ReadonlyArray<LoadedModule>;
|
|
@@ -234,7 +236,9 @@ export type ContractContext<Vs extends {
|
|
|
234
236
|
[name: string]: LoadedModule;
|
|
235
237
|
} = {
|
|
236
238
|
[name: string]: LoadedModule;
|
|
237
|
-
}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; }
|
|
239
|
+
}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; } & {
|
|
240
|
+
$debugger?: DebuggerContext;
|
|
241
|
+
};
|
|
238
242
|
/**
|
|
239
243
|
* if `debug` is true, the ir is included where possible
|
|
240
244
|
*/
|
|
@@ -275,6 +279,19 @@ export type WriteContractContextArtifactsOptions = {
|
|
|
275
279
|
outDir: string;
|
|
276
280
|
fs: FileSystem;
|
|
277
281
|
};
|
|
282
|
+
/**
|
|
283
|
+
* Metadata carried outside script CBOR/hashes for automatic failed-transaction capture.
|
|
284
|
+
*/
|
|
285
|
+
export type DebuggerContext = {
|
|
286
|
+
projectId: string;
|
|
287
|
+
name: string;
|
|
288
|
+
apiKey: string;
|
|
289
|
+
endpoint: string;
|
|
290
|
+
sources?: Record<string, string>;
|
|
291
|
+
};
|
|
292
|
+
export type DebuggerUplcProgram = UplcProgram & {
|
|
293
|
+
$debugger?: DebuggerContext;
|
|
294
|
+
};
|
|
278
295
|
import type { TypeSchema } from "@helios-lang/type-utils";
|
|
279
296
|
import type { UplcData } from "@helios-lang/uplc";
|
|
280
297
|
import type { PlutusVersion } from "@helios-lang/uplc";
|
package/types/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":";;;;;;kCA2Ba;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;;;;yBAKxB;IACR,SAAS,EAAE,OAAO,CAAA;IAClB,6BAA6B,CAAC,EAAE,OAAO,CAAA;CACxC;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;;;;;4BAMnE;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,CAAC,IAAI,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;WACN,aAAa;UACb,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,IAAI,IAAI,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;sCAI4B,CAAC,SAAnB,eAAgB,sBACjB,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;IACU,KAAK,EAAE,WAAW,GAAG,CAAC,CAAA;CACzB,GAAG,oBAAoB,GAAG,wBAAwB;mCAK7B,CAAC,SAAhB,YAAa,mBACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIjC,CAAC,SAA7C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE;;KAC1C,GACP,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAIgG,CAAC,SAAxF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE;+BAAgC,WAAW,UAAU,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;KAC3K,GACP,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI8C,EAAE,SAAvC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE;;GACD,EAAE,SAApC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE;;KAChC,GACP,CAAC,IAAI,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAC,IAAI,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C;;;;
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.js"],"names":[],"mappings":";;;;;;kCA2Ba;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;;;;yBAKxB;IACR,SAAS,EAAE,OAAO,CAAA;IAClB,6BAA6B,CAAC,EAAE,OAAO,CAAA;CACxC;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;;;;;4BAMnE;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,CAAC,IAAI,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;WACN,aAAa;UACb,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,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,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,SAAS,CAAC,EAAE,eAAe,CAAA;IAC3B,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,IAAI,IAAI,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;sCAI4B,CAAC,SAAnB,eAAgB,sBACjB,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;IACU,KAAK,EAAE,WAAW,GAAG,CAAC,CAAA;CACzB,GAAG,oBAAoB,GAAG,wBAAwB;mCAK7B,CAAC,SAAhB,YAAa,mBACd,oBAAoB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,wBAAwB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;iCAIjC,CAAC,SAA7C;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE;;KAC1C,GACP,CAAC,IAAI,MAAM,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAC7D;qCAIgG,CAAC,SAAxF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE;+BAAgC,WAAW,UAAU,UAAU,KAAK,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;KAC3K,GACP,CAAC,IAAI,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC;4BAI8C,EAAE,SAAvC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;CAAE;;GACD,EAAE,SAApC;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,CAAA;CAAE;;KAChC,GACP,CAAC,IAAI,MAAM,EAAE,GAAG,yBAAyB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAClD,GAAG,GACD,CAAC,IAAI,MAAM,EAAE,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAC/C,GAAG;IAAC,SAAS,CAAC,EAAE,eAAe,CAAA;CAAC;;;;0CAKvB;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,CAAC,SAAS,eAAe,EAAE,SAAS,EAAE,CAAC,KAAK,sBAAsB,CAAC,EAAE,GAAG,GAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,EAAE,EAAE,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;gBAC7H,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,EAAE,CAAC,KAAK,sBAAsB,CAAC,EAAE,EAAE,EAAE,GAAG,GAAE,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAC,CAAC;WACzF,CAAC,KAAK,EAAE,2BAA2B,KAAK,eAAe,CAAC,EAAE,EAAE,EAAE,CAAC;;;;;;yBAM5D;IACR,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE;QAAC,SAAS,EAAE,OAAO,CAAA;KAAC,GAAG,IAAI,CAAA;IAC7D,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;CACnD;mDAIS;IACR,MAAM,EAAE,MAAM,CAAA;IACd,EAAE,EAAE,UAAU,CAAA;CACf;;;;8BAKS;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAC,MAAM,CAAC,CAAA;CAAC;kCAGnG,WAAW,GAAG;IAAC,SAAS,CAAC,EAAE,eAAe,CAAA;CAAC;gCAvX1B,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"}
|
|
@@ -1,4 +0,0 @@
|
|
|
1
|
-
export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
|
|
2
|
-
export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;
|
|
3
|
-
export type PermissiveType<C extends CastLike<any, any>> = C extends CastLike<any, infer TPermissive> ? TPermissive : never;
|
|
4
|
-
//# sourceMappingURL=PermissiveType.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"PermissiveType.d.ts","sourceRoot":"","sources":["../../src/cast/PermissiveType.js"],"names":[],"mappings":"6BAGa,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;qBAI1D,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAI7B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,GAAG,EAAE,MAAM,WAAW,CAAC,GAAG,WAAW,GAAG,KAAK"}
|
|
@@ -1,4 +0,0 @@
|
|
|
1
|
-
export type ConfigurableCast<TStrict, TPermissive> = import("./Cast.js").ConfigurableCast<TStrict, TPermissive>;
|
|
2
|
-
export type CastLike<TStrict, TPermissive> = import("./Cast.js").CastLike<TStrict, TPermissive>;
|
|
3
|
-
export type StrictType<C extends CastLike<any, any>> = C extends CastLike<infer TStrict, any> ? TStrict : never;
|
|
4
|
-
//# sourceMappingURL=StrictType.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"StrictType.d.ts","sourceRoot":"","sources":["../../src/cast/StrictType.js"],"names":[],"mappings":"6BAGa,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC;qBAI1D,OAAO,EACP,WAAW,IACX,OAAO,WAAW,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;uBAI7B,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,CAAC,SAAS,QAAQ,CAAC,MAAM,OAAO,EAAE,GAAG,CAAC,GAAG,OAAO,GAAG,KAAK"}
|
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
|
|
2
|
-
export type CastConfig = import("../cast/Cast.js").CastConfig;
|
|
3
|
-
export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
|
|
4
|
-
export type LoadedModule = {
|
|
5
|
-
$name: string;
|
|
6
|
-
$purpose: "module";
|
|
7
|
-
$sourceCode: string;
|
|
8
|
-
$dependencies: ReadonlyArray<LoadedModule>;
|
|
9
|
-
$types: {
|
|
10
|
-
[name: string]: CastLike<any, any>;
|
|
11
|
-
};
|
|
12
|
-
$functions: {
|
|
13
|
-
[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
|
|
14
|
-
};
|
|
15
|
-
};
|
|
16
|
-
import { UserFunc } from "../cast/UserFunc.js";
|
|
17
|
-
//# sourceMappingURL=LoadedModule.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"LoadedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedModule.js"],"names":[],"mappings":"0BAGa,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;qBAIpC,OAAO,EACP,WAAW,IACX,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIxD;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,uBAAkB,CAAA;KAAC,CAAA;CACvF;yBArBqB,qBAAqB"}
|
|
@@ -1,38 +0,0 @@
|
|
|
1
|
-
export type CastLike<TStrict, TPermissive> = import("../cast/Cast.js").CastLike<TStrict, TPermissive>;
|
|
2
|
-
export type UplcProgram = import("@helios-lang/uplc").UplcProgram;
|
|
3
|
-
export type CastConfig = import("../cast/Cast.js").CastConfig;
|
|
4
|
-
export type LoadedModule = import("./LoadedModule.js").LoadedModule;
|
|
5
|
-
/**
|
|
6
|
-
* * 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
|
|
7
|
-
*/
|
|
8
|
-
export type LoadedValidator = {
|
|
9
|
-
$name: string;
|
|
10
|
-
$sourceCode: string;
|
|
11
|
-
$dependencies: ReadonlyArray<LoadedModule>;
|
|
12
|
-
$hashDependencies: ReadonlyArray<LoadedValidator>;
|
|
13
|
-
$currentScriptIndex?: number;
|
|
14
|
-
$dependsOnOwnHash: boolean;
|
|
15
|
-
$types: {
|
|
16
|
-
[name: string]: CastLike<any, any>;
|
|
17
|
-
};
|
|
18
|
-
$functions: {
|
|
19
|
-
[name: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
|
|
20
|
-
};
|
|
21
|
-
$Redeemer: CastLike<any, any>;
|
|
22
|
-
} & ({
|
|
23
|
-
$purpose: "spending" | "mixed";
|
|
24
|
-
$Datum: CastLike<any, any>;
|
|
25
|
-
} | {
|
|
26
|
-
$purpose: "minting" | "certifying" | "rewarding" | "staking";
|
|
27
|
-
});
|
|
28
|
-
export type NamedDependencyToObject<N extends {
|
|
29
|
-
$name: string;
|
|
30
|
-
}> = { [name in N["$name"]]: Extract<N, {
|
|
31
|
-
"$name": name;
|
|
32
|
-
}>; };
|
|
33
|
-
export type NamedDependenciesToObject<N extends ReadonlyArray<{
|
|
34
|
-
$name: string;
|
|
35
|
-
}>> = NamedDependencyToObject<N extends ReadonlyArray<infer M> ? M : never>;
|
|
36
|
-
export type ExtractDependencies<V extends LoadedValidator> = NamedDependenciesToObject<V["$dependencies"]>;
|
|
37
|
-
import { UserFunc } from "../cast/UserFunc.js";
|
|
38
|
-
//# sourceMappingURL=LoadedValidator.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"LoadedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/LoadedValidator.js"],"names":[],"mappings":"qBAGa,OAAO,EACP,WAAW,IACX,OAAO,iBAAiB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;0BAIxD,OAAO,mBAAmB,EAAE,WAAW;yBACvC,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,mBAAmB,EAAE,YAAY;;;;8BAKxC;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,uBAAkB,CAAA;KAAC,CAAA;IACtF,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;yBAlDjC,qBAAqB"}
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
|
|
3
|
-
*/
|
|
4
|
-
/**
|
|
5
|
-
* @typedef {{
|
|
6
|
-
* name: string
|
|
7
|
-
* purpose: string
|
|
8
|
-
* sourceCode: string
|
|
9
|
-
* moduleDepedencies: string[]
|
|
10
|
-
* types: {[name: string]: TypeSchema}
|
|
11
|
-
* }} Module
|
|
12
|
-
*/
|
|
13
|
-
export const _: {};
|
|
14
|
-
export type TypeSchema = import("./TypeSchema.js").TypeSchema;
|
|
15
|
-
export type Module = {
|
|
16
|
-
name: string;
|
|
17
|
-
purpose: string;
|
|
18
|
-
sourceCode: string;
|
|
19
|
-
moduleDepedencies: string[];
|
|
20
|
-
types: {
|
|
21
|
-
[name: string]: import("./TypeSchema.js").TypeSchema;
|
|
22
|
-
};
|
|
23
|
-
};
|
|
24
|
-
//# sourceMappingURL=Module.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Module.d.ts","sourceRoot":"","sources":["../../src/codegen/Module.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;;;;;;;GAQG;AAEH,mBAAmB;yBAbN,OAAO,iBAAiB,EAAE,UAAU;;UAKtC,MAAM;aACH,MAAM;gBACH,MAAM;uBACC,MAAM,EAAE"}
|
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
export type TypeSchema = import("./TypeSchema.js").TypeSchema;
|
|
2
|
-
/**
|
|
3
|
-
* `returns` is optional to accomodate main functions that return undefined
|
|
4
|
-
*/
|
|
5
|
-
export type TypeCheckedUserFunc = {
|
|
6
|
-
name: string;
|
|
7
|
-
requiresScriptContext: boolean;
|
|
8
|
-
requiresCurrentScript: boolean;
|
|
9
|
-
arguments: {
|
|
10
|
-
name: string;
|
|
11
|
-
type: TypeSchema;
|
|
12
|
-
isOptional: boolean;
|
|
13
|
-
}[];
|
|
14
|
-
returns?: TypeSchema;
|
|
15
|
-
};
|
|
16
|
-
export type TypeCheckedModule = {
|
|
17
|
-
name: string;
|
|
18
|
-
purpose: string;
|
|
19
|
-
sourceCode: string;
|
|
20
|
-
moduleDepedencies: string[];
|
|
21
|
-
types: Record<string, TypeSchema>;
|
|
22
|
-
functions?: Record<string, TypeCheckedUserFunc>;
|
|
23
|
-
};
|
|
24
|
-
//# sourceMappingURL=TypeCheckedModule.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"TypeCheckedModule.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedModule.js"],"names":[],"mappings":"yBAGa,OAAO,iBAAiB,EAAE,UAAU;;;;kCAKpC;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"}
|
|
@@ -1,9 +0,0 @@
|
|
|
1
|
-
export type TypeCheckedModule = import("./TypeCheckedModule.js").TypeCheckedModule;
|
|
2
|
-
export type TypeCheckedValidator = TypeCheckedModule & {
|
|
3
|
-
hashDependencies: string[];
|
|
4
|
-
currentScriptIndex?: number;
|
|
5
|
-
Redeemer: TypeSchema;
|
|
6
|
-
Datum?: TypeSchema;
|
|
7
|
-
};
|
|
8
|
-
import type { TypeSchema } from "@helios-lang/type-utils";
|
|
9
|
-
//# sourceMappingURL=TypeCheckedValidator.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"TypeCheckedValidator.d.ts","sourceRoot":"","sources":["../../src/codegen/TypeCheckedValidator.js"],"names":[],"mappings":"gCAIa,OAAO,wBAAwB,EAAE,iBAAiB;mCAIlD,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;gCAV2B,yBAAyB"}
|
|
@@ -1,50 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @typedef {import("./Module.js").Module} Module
|
|
3
|
-
* @typedef {import("./Validator.js").Validator} Validator
|
|
4
|
-
*/
|
|
5
|
-
export class TypescriptWriter {
|
|
6
|
-
wjs: Writer;
|
|
7
|
-
wdts: Writer;
|
|
8
|
-
/**
|
|
9
|
-
* @param {string} js
|
|
10
|
-
* @param {string} dts
|
|
11
|
-
* @returns {TypescriptWriter}
|
|
12
|
-
*/
|
|
13
|
-
write(js: string, dts?: string): TypescriptWriter;
|
|
14
|
-
/**
|
|
15
|
-
* @param {string} js
|
|
16
|
-
* @param {string} dts
|
|
17
|
-
* @returns {TypescriptWriter}
|
|
18
|
-
*/
|
|
19
|
-
writeLine(js: string, dts?: string): TypescriptWriter;
|
|
20
|
-
/**
|
|
21
|
-
* @param {Module} m
|
|
22
|
-
*/
|
|
23
|
-
writeModule(m: Module): void;
|
|
24
|
-
/**
|
|
25
|
-
* @param {Validator} v
|
|
26
|
-
*/
|
|
27
|
-
writeValidator(v: Validator): void;
|
|
28
|
-
writeHeaders(): void;
|
|
29
|
-
/**
|
|
30
|
-
* @param {{[name: string]: Module}} ms
|
|
31
|
-
*/
|
|
32
|
-
writeModules(ms: {
|
|
33
|
-
[name: string]: import("./TypeCheckedModule.js").Module;
|
|
34
|
-
}): void;
|
|
35
|
-
/**
|
|
36
|
-
*
|
|
37
|
-
* @param {{[name: string]: Validator}} validators
|
|
38
|
-
*/
|
|
39
|
-
writeValidators(validators: {
|
|
40
|
-
[name: string]: import("./TypeCheckedValidator.js").Validator;
|
|
41
|
-
}): void;
|
|
42
|
-
/**
|
|
43
|
-
* @returns {[string, string]}
|
|
44
|
-
*/
|
|
45
|
-
finalize(): [string, string];
|
|
46
|
-
}
|
|
47
|
-
export type Module = import("./TypeCheckedModule.js").Module;
|
|
48
|
-
export type Validator = import("./TypeCheckedValidator.js").Validator;
|
|
49
|
-
import { Writer } from "./Writer.js";
|
|
50
|
-
//# sourceMappingURL=TypescriptWriter.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"TypescriptWriter.d.ts","sourceRoot":"","sources":["../../src/codegen/TypescriptWriter.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH;IAEQ,YAAuB;IACvB,aAAwB;IAG5B;;;;OAIG;IACH,UAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAM5B;IAED;;;;OAIG;IACH,cAJW,MAAM,QACN,MAAM,GACJ,gBAAgB,CAY5B;IAED;;OAEG;IACH,eAFW,MAAM,QAmBhB;IAED;;OAEG;IACH,kBAFW,SAAS,QAiCnB;IAED,qBAcC;IAED;;OAEG;IACH;;aA4BC;IAED;;;OAGG;IACH;;aA8BC;IAED;;OAEG;IACH,YAFa,CAAC,MAAM,EAAE,MAAM,CAAC,CAI5B;CACJ;qBA3LY,OAAO,aAAa,EAAE,MAAM;wBAC5B,OAAO,gBAAgB,EAAE,SAAS;uBAJxB,aAAa"}
|
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @typedef {import("./TypeSchema.js").TypeSchema} TypeSchema
|
|
3
|
-
*/
|
|
4
|
-
/**
|
|
5
|
-
* @typedef {import("./Module.js").Module} Module
|
|
6
|
-
*/
|
|
7
|
-
/**
|
|
8
|
-
* @typedef {Module & {
|
|
9
|
-
* hashDependencies: string[]
|
|
10
|
-
* Redeemer: TypeSchema
|
|
11
|
-
* Datum?: TypeSchema
|
|
12
|
-
* }} Validator
|
|
13
|
-
*/
|
|
14
|
-
export const _: {};
|
|
15
|
-
export type TypeSchema = import("./TypeSchema.js").TypeSchema;
|
|
16
|
-
export type Module = import("./TypeCheckedModule.js").Module;
|
|
17
|
-
export type Validator = Module & {
|
|
18
|
-
hashDependencies: string[];
|
|
19
|
-
Redeemer: TypeSchema;
|
|
20
|
-
Datum?: TypeSchema;
|
|
21
|
-
};
|
|
22
|
-
//# sourceMappingURL=Validator.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Validator.d.ts","sourceRoot":"","sources":["../../src/codegen/Validator.js"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AAEH;;;;;;GAMG;AAEH,mBAAmB;yBAfN,OAAO,iBAAiB,EAAE,UAAU;qBAIpC,OAAO,aAAa,EAAE,MAAM;wBAI5B,MAAM,GAAG;IACrB,gBAAoB,EAAE,MAAM,EAAE,CAAA;IAC9B,QAAY,EAAE,UAAU,CAAA;IACxB,KAAS,CAAC,EAAE,UAAU,CAAA;CACnB"}
|
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
export class Writer {
|
|
2
|
-
/**
|
|
3
|
-
* @private
|
|
4
|
-
* @readonly
|
|
5
|
-
* @type {string[]}
|
|
6
|
-
*/
|
|
7
|
-
private readonly parts;
|
|
8
|
-
/**
|
|
9
|
-
* @param {string} part
|
|
10
|
-
* @returns {Writer}
|
|
11
|
-
*/
|
|
12
|
-
write(part: string): Writer;
|
|
13
|
-
/**
|
|
14
|
-
* @param {string} line
|
|
15
|
-
* @returns {Writer}
|
|
16
|
-
*/
|
|
17
|
-
writeLine(line: string): Writer;
|
|
18
|
-
/**
|
|
19
|
-
* @returns {string}
|
|
20
|
-
*/
|
|
21
|
-
finalize(): string;
|
|
22
|
-
}
|
|
23
|
-
//# sourceMappingURL=Writer.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Writer.d.ts","sourceRoot":"","sources":["../../src/codegen/Writer.js"],"names":[],"mappings":"AAAA;IACI;;;;OAIG;IACH,uBAAK;IAML;;;OAGG;IACH,YAHW,MAAM,GACJ,MAAM,CAKlB;IAED;;;OAGG;IACH,gBAHW,MAAM,GACJ,MAAM,CAKlB;IAED;;OAEG;IACH,YAFa,MAAM,CAIlB;CACJ"}
|
|
@@ -1,53 +0,0 @@
|
|
|
1
|
-
export type CastConfig = import("../cast/Cast.js").CastConfig;
|
|
2
|
-
export type LoadedModule = import("../codegen/index.js").LoadedModule;
|
|
3
|
-
export type LoadedValidator = import("../codegen/index.js").LoadedValidator;
|
|
4
|
-
export type CastLike<TStrict, TPermissive> = import("../cast/index.js").CastLike<TStrict, TPermissive>;
|
|
5
|
-
export type PermissiveType<C extends CastLike<any, any>> = import("../cast/index.js").PermissiveType<C>;
|
|
6
|
-
export type StrictType<C extends CastLike<any, any>> = import("../cast/index.js").StrictType<C>;
|
|
7
|
-
export type AnyContractValidatorContext = (ValidatorHash<SpendingContext<any, any, any, any>> | MintingPolicyHash<MintingContext<any, any>> | StakingValidatorHash<StakingContext<any, any>> | ScriptHash);
|
|
8
|
-
export type ContractValidatorContexts<V extends LoadedValidator> = V extends {
|
|
9
|
-
"$purpose": "spending";
|
|
10
|
-
"$Datum": CastLike<any, any>;
|
|
11
|
-
"$Redeemer": CastLike<any, any>;
|
|
12
|
-
} ? {
|
|
13
|
-
$hash: ValidatorHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
|
|
14
|
-
} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
|
|
15
|
-
"$purpose": "minting";
|
|
16
|
-
"$Redeemer": CastLike<any, any>;
|
|
17
|
-
} ? {
|
|
18
|
-
$hash: MintingPolicyHash<MintingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
|
|
19
|
-
} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
|
|
20
|
-
"$purpose": ("certifying" | "rewarding" | "staking");
|
|
21
|
-
"$Redeemer": CastLike<any, any>;
|
|
22
|
-
} ? {
|
|
23
|
-
$hash: StakingValidatorHash<StakingContext<StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
|
|
24
|
-
} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : V extends {
|
|
25
|
-
"$purpose": "mixed";
|
|
26
|
-
"$Datum": CastLike<any, any>;
|
|
27
|
-
"$Redeemer": CastLike<any, any>;
|
|
28
|
-
} ? {
|
|
29
|
-
$hash: ScriptHash<SpendingContext<StrictType<V["$Datum"]>, PermissiveType<V["$Datum"]>, StrictType<V["$Redeemer"]>, PermissiveType<V["$Redeemer"]>>>;
|
|
30
|
-
} & ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]> : never;
|
|
31
|
-
export type ContractModuleContexts<V extends LoadedModule> = ContractTypesContext<V["$types"]> & ContractUserFuncsContext<V["$functions"]>;
|
|
32
|
-
export type ContractTypesContext<T extends {
|
|
33
|
-
[typeName: string]: CastLike<any, any>;
|
|
34
|
-
}> = { [K in keyof T]: Cast<StrictType<T[K]>, PermissiveType<T[K]>>; };
|
|
35
|
-
export type ContractUserFuncsContext<T extends {
|
|
36
|
-
[funcName: string]: (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
|
|
37
|
-
}> = { [K in keyof T]: ReturnType<T[K]>; };
|
|
38
|
-
export type ContractContext<Vs extends {
|
|
39
|
-
[name: string]: LoadedValidator;
|
|
40
|
-
}, Ms extends {
|
|
41
|
-
[name: string]: LoadedModule;
|
|
42
|
-
}> = { [K in keyof Vs]: ContractValidatorContexts<Vs[K]>; } & { [K in keyof Ms]: ContractModuleContexts<Ms[K]>; };
|
|
43
|
-
import type { SpendingContext } from "@helios-lang/ledger";
|
|
44
|
-
import type { ValidatorHash } from "@helios-lang/ledger";
|
|
45
|
-
import type { MintingContext } from "@helios-lang/ledger";
|
|
46
|
-
import type { MintingPolicyHash } from "@helios-lang/ledger";
|
|
47
|
-
import type { StakingContext } from "@helios-lang/ledger";
|
|
48
|
-
import type { StakingValidatorHash } from "@helios-lang/ledger";
|
|
49
|
-
import type { ScriptHash } from "@helios-lang/ledger";
|
|
50
|
-
import { Cast } from "../cast/index.js";
|
|
51
|
-
import type { UplcProgram } from "@helios-lang/uplc";
|
|
52
|
-
import { UserFunc } from "../cast/index.js";
|
|
53
|
-
//# sourceMappingURL=ContractContext.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"ContractContext.d.ts","sourceRoot":"","sources":["../../src/context/ContractContext.js"],"names":[],"mappings":"yBAKa,OAAO,iBAAiB,EAAE,UAAU;2BACpC,OAAO,qBAAqB,EAAE,YAAY;8BAC1C,OAAO,qBAAqB,EAAE,eAAe;qBAI7C,OAAO,EACP,WAAW,IACX,OAAO,kBAAkB,EAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;2BAIpC,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,cAAc,CAAC,CAAC,CAAC;uBAIvB,CAAC,SAArB,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAE,IACpB,OAAO,kBAAkB,EAAE,UAAU,CAAC,CAAC,CAAC;0CAIxC,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;qCAI0F,CAAC,SAAlF;IAAE,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,uBAAkB,CAAA;CAAE,IAChF,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;qCApGoI,qBAAqB;mCAArB,qBAAqB;oCAArB,qBAAqB;uCAArB,qBAAqB;oCAArB,qBAAqB;0CAArB,qBAAqB;gCAArB,qBAAqB;qBAH9H,kBAAkB;iCAIjB,mBAAmB;yBAJpB,kBAAkB"}
|
|
@@ -1,30 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @import { StringWriter } from "@helios-lang/codec-utils"
|
|
3
|
-
* @import { MintingPolicyHash, ScriptHash, StakingValidatorHash } from "@helios-lang/ledger"
|
|
4
|
-
* @import { UplcProgram } from "@helios-lang/uplc"
|
|
5
|
-
* @import { Cast, CastConfig, ContractContext, FileSystem, UserFunc, WriteContractContextArtifactsOptions } from "../index.js"
|
|
6
|
-
*/
|
|
7
|
-
/**
|
|
8
|
-
* @typedef {(uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>} FunctionDetails
|
|
9
|
-
*/
|
|
10
|
-
/**
|
|
11
|
-
* @typedef {Cast<any, any>} TypeDetails
|
|
12
|
-
*/
|
|
13
|
-
/**
|
|
14
|
-
* @typedef {Record<string, FunctionDetails | TypeDetails>} ModuleSymbols
|
|
15
|
-
*/
|
|
16
|
-
/**
|
|
17
|
-
* @param {ContractContext<any, any>} context
|
|
18
|
-
* @param {WriteContractContextArtifactsOptions} options - not optional, at least the fs and outDir must be specified
|
|
19
|
-
*/
|
|
20
|
-
export function writeContractContextArtifacts(context: ContractContext<any, any>, options: WriteContractContextArtifactsOptions): void;
|
|
21
|
-
export type FunctionDetails = (uplc: UplcProgram, config: CastConfig) => UserFunc<any, any>;
|
|
22
|
-
export type TypeDetails = Cast<any, any>;
|
|
23
|
-
export type ModuleSymbols = Record<string, FunctionDetails | TypeDetails>;
|
|
24
|
-
import type { ContractContext } from "../index.js";
|
|
25
|
-
import type { WriteContractContextArtifactsOptions } from "../index.js";
|
|
26
|
-
import type { UplcProgram } from "@helios-lang/uplc";
|
|
27
|
-
import type { CastConfig } from "../index.js";
|
|
28
|
-
import type { UserFunc } from "../index.js";
|
|
29
|
-
import type { Cast } from "../index.js";
|
|
30
|
-
//# sourceMappingURL=writeContractContextArtifacts.d.ts.map
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"writeContractContextArtifacts.d.ts","sourceRoot":"","sources":["../../src/context/writeContractContextArtifacts.js"],"names":[],"mappings":"AAEA;;;;;GAKG;AAEH;;GAEG;AAEH;;GAEG;AAEH;;GAEG;AAEH;;;GAGG;AACH,uDAHW,gBAAgB,GAAG,EAAE,GAAG,CAAC,WACzB,oCAAoC,QAqB9C;8BAlCY,CAAC,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,KAAK,SAAS,GAAG,EAAE,GAAG,CAAC;0BAI7D,KAAK,GAAG,EAAE,GAAG,CAAC;4BAId,MAAM,CAAC,MAAM,EAAE,eAAe,GAAG,WAAW,CAAC;qCAZwD,aAAa;0DAAb,aAAa;iCAD/F,mBAAmB;gCAC+D,aAAa;8BAAb,aAAa;0BAAb,aAAa"}
|
package/types/lib/Lib.d.ts
DELETED
|
@@ -1,41 +0,0 @@
|
|
|
1
|
-
export type InternalTypeDetails = import("../codegen/index.js").TypeSchema;
|
|
2
|
-
export type TypeCheckedModule = import("../codegen/index.js").TypeCheckedModule;
|
|
3
|
-
export type TypeCheckedValidator = import("../codegen/index.js").TypeCheckedValidator;
|
|
4
|
-
export type CompileOptions = {
|
|
5
|
-
allValidatorHashTypes: {
|
|
6
|
-
[name: string]: any;
|
|
7
|
-
};
|
|
8
|
-
hashDependencies: {
|
|
9
|
-
[name: string]: string;
|
|
10
|
-
};
|
|
11
|
-
dependsOnOwnHash?: boolean | undefined;
|
|
12
|
-
ownHash?: string | undefined;
|
|
13
|
-
optimize: boolean;
|
|
14
|
-
};
|
|
15
|
-
export type CompileOutput = {
|
|
16
|
-
cborHex: string;
|
|
17
|
-
prettyIR: string;
|
|
18
|
-
};
|
|
19
|
-
export type SourceDetails = {
|
|
20
|
-
name: string;
|
|
21
|
-
purpose: string;
|
|
22
|
-
sourceCode: string;
|
|
23
|
-
};
|
|
24
|
-
export type Lib = {
|
|
25
|
-
version: string;
|
|
26
|
-
getScriptHashType: (purpose: string) => any;
|
|
27
|
-
typeCheck: (validators: {
|
|
28
|
-
[name: string]: SourceDetails;
|
|
29
|
-
}, modules: {
|
|
30
|
-
[name: string]: SourceDetails;
|
|
31
|
-
}) => {
|
|
32
|
-
modules: {
|
|
33
|
-
[name: string]: import("../codegen/TypeCheckedModule.js").TypeCheckedModule;
|
|
34
|
-
};
|
|
35
|
-
validators: {
|
|
36
|
-
[name: string]: import("../codegen/TypeCheckedValidator.js").TypeCheckedValidator;
|
|
37
|
-
};
|
|
38
|
-
};
|
|
39
|
-
compile: (main: string, modules: string[], options: CompileOptions) => CompileOutput;
|
|
40
|
-
};
|
|
41
|
-
//# sourceMappingURL=Lib.d.ts.map
|
package/types/lib/Lib.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"Lib.d.ts","sourceRoot":"","sources":["../../src/lib/Lib.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;4BAIS;IACZ,MAAU,MAAM,CAAA;IAChB,OAAW,EAAE,MAAM,CAAA;IACnB,UAAc,EAAE,MAAM,CAAA;CACnB;;aAKU,MAAM;iCACc,MAAM,KAAK,GAAG;;;;;;;;;;;;;oBAK3B,MAAM,WAAW,MAAM,EAAE,WAAW,cAAc,KAAK,aAAa"}
|