@helios-lang/effect 0.6.14 → 0.6.16
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/dist/Cardano/TxBuilder.js +11 -1
- package/dist/Cardano/TxBuilder.js.map +1 -1
- package/dist/Cardano/Uplc/Cek.js +53 -25
- package/dist/Cardano/Uplc/Cek.js.map +1 -1
- package/dist/Cardano/Uplc/Data.js +21 -1
- package/dist/Cardano/Uplc/Data.js.map +1 -1
- package/dist/Cardano/Uplc/Script.js +0 -8
- package/dist/Cardano/Uplc/Script.js.map +1 -1
- package/dist/Cardano/ZK.js +232 -0
- package/dist/Cardano/ZK.js.map +1 -0
- package/dist/Cardano/index.js +1 -0
- package/dist/Cardano/index.js.map +1 -1
- package/package.json +1 -1
- package/types/Cardano/Ledger/Address.d.ts +30 -58
- package/types/Cardano/Ledger/Address.d.ts.map +1 -1
- package/types/Cardano/Ledger/AssetClass.d.ts +45 -87
- package/types/Cardano/Ledger/AssetClass.d.ts.map +1 -1
- package/types/Cardano/Ledger/Assets.d.ts +15 -29
- package/types/Cardano/Ledger/Assets.d.ts.map +1 -1
- package/types/Cardano/Ledger/DatumHash.d.ts +15 -29
- package/types/Cardano/Ledger/DatumHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/MintingPolicy.d.ts +15 -29
- package/types/Cardano/Ledger/MintingPolicy.d.ts.map +1 -1
- package/types/Cardano/Ledger/PubKey.d.ts +15 -29
- package/types/Cardano/Ledger/PubKey.d.ts.map +1 -1
- package/types/Cardano/Ledger/PubKeyHash.d.ts +15 -29
- package/types/Cardano/Ledger/PubKeyHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/Redeemer.d.ts +120 -232
- package/types/Cardano/Ledger/Redeemer.d.ts.map +1 -1
- package/types/Cardano/Ledger/RewardAddress.d.ts +15 -29
- package/types/Cardano/Ledger/RewardAddress.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxHash.d.ts +45 -87
- package/types/Cardano/Ledger/TxHash.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxOutput.d.ts +90 -174
- package/types/Cardano/Ledger/TxOutput.d.ts.map +1 -1
- package/types/Cardano/Ledger/TxOutputDatum.d.ts +15 -29
- package/types/Cardano/Ledger/TxOutputDatum.d.ts.map +1 -1
- package/types/Cardano/Ledger/UTxO.d.ts +300 -580
- package/types/Cardano/Ledger/UTxO.d.ts.map +1 -1
- package/types/Cardano/Ledger/UTxORef.d.ts +105 -203
- package/types/Cardano/Ledger/UTxORef.d.ts.map +1 -1
- package/types/Cardano/Ledger/ValidatorHash.d.ts +15 -29
- package/types/Cardano/Ledger/ValidatorHash.d.ts.map +1 -1
- package/types/Cardano/ScriptContext.d.ts +285 -551
- package/types/Cardano/ScriptContext.d.ts.map +1 -1
- package/types/Cardano/TxBuilder.d.ts +4 -4
- package/types/Cardano/Uplc/Cek.d.ts +1 -8
- package/types/Cardano/Uplc/Cek.d.ts.map +1 -1
- package/types/Cardano/Uplc/Data.d.ts +276 -495
- package/types/Cardano/Uplc/Data.d.ts.map +1 -1
- package/types/Cardano/Uplc/Script.d.ts +0 -1
- package/types/Cardano/Uplc/Script.d.ts.map +1 -1
- package/types/Cardano/Uplc/Term.d.ts +30 -58
- package/types/Cardano/Uplc/Term.d.ts.map +1 -1
- package/types/Cardano/Uplc/Value.d.ts +30 -58
- package/types/Cardano/Uplc/Value.d.ts.map +1 -1
- package/types/Cardano/ZK.d.ts +188 -0
- package/types/Cardano/ZK.d.ts.map +1 -0
- package/types/Cardano/index.d.ts +1 -0
- package/types/Cardano/index.d.ts.map +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"ScriptContext.d.ts","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAerE,OAAO,EAAE,KAAK,EAAE,EAA8B,MAAM,gBAAgB,CAAA;AAcpE,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAGtC,eAAO,MAAM,QAAQ,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,MAAM;;;;;;;;;;;;;;;;wFAUtE,CAAA;AA4EJ;;GAEG;AACH,eAAO,MAAM,QAAQ
|
|
1
|
+
{"version":3,"file":"ScriptContext.d.ts","sourceRoot":"","sources":["../../src/Cardano/ScriptContext.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAerE,OAAO,EAAE,KAAK,EAAE,EAA8B,MAAM,gBAAgB,CAAA;AAcpE,OAAO,KAAK,MAAM,MAAM,qBAAqB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,gBAAgB,CAAA;AAGtC,eAAO,MAAM,QAAQ,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,eAAe,MAAM;;;;;;;;;;;;;;;;wFAUtE,CAAA;AA4EJ;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAiBnB,CAAA;;AAEF;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAEb;CAAG;AA6DrB;;;;GAIG;AACH,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAyDrB,CAAA"}
|
|
@@ -184,8 +184,8 @@ export declare const payEffect: (...outputs: TxOutput.TxOutput[]) => <E, R>(self
|
|
|
184
184
|
type ReferOptions = {
|
|
185
185
|
dedupe?: "fail" | "ignore";
|
|
186
186
|
};
|
|
187
|
-
export declare const refer: ({ dedupe }?: ReferOptions) => (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder,
|
|
188
|
-
export declare const referEffect: (options: ReferOptions) => (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder,
|
|
187
|
+
export declare const refer: ({ dedupe }?: ReferOptions) => (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded, never>;
|
|
188
|
+
export declare const referEffect: (options: ReferOptions) => (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | E, R>;
|
|
189
189
|
export declare const register: (credential: Credential.Credential) => (b: TxBuilder) => TxBuilder;
|
|
190
190
|
export declare const registerEffect: (credential: Credential.Credential) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
|
|
191
191
|
/**
|
|
@@ -204,8 +204,8 @@ export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>
|
|
|
204
204
|
type SpendOptions = {
|
|
205
205
|
dedupe?: "fail" | "keep" | "update";
|
|
206
206
|
};
|
|
207
|
-
export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound
|
|
208
|
-
export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound |
|
|
207
|
+
export declare const spend: ({ dedupe }?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound, GetDatum>;
|
|
208
|
+
export declare const spendEffect: (options?: SpendOptions) => (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | Network.ConnectionError | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | E, GetDatum | R>;
|
|
209
209
|
export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
|
|
210
210
|
export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
|
|
211
211
|
/**
|
|
@@ -6,10 +6,6 @@ export type EvalContext = {
|
|
|
6
6
|
builtins: readonly Builtin[];
|
|
7
7
|
costParams: readonly number[];
|
|
8
8
|
logger?: Logger | undefined;
|
|
9
|
-
capture?: CaptureConfig | undefined;
|
|
10
|
-
};
|
|
11
|
-
export type CaptureConfig = {
|
|
12
|
-
prefix?: string | undefined;
|
|
13
9
|
};
|
|
14
10
|
export type CapturedValue = {
|
|
15
11
|
index: number;
|
|
@@ -124,7 +120,7 @@ export type Result = {
|
|
|
124
120
|
callSite?: CallSite | undefined;
|
|
125
121
|
}[];
|
|
126
122
|
breakdown: Cost.Breakdown;
|
|
127
|
-
|
|
123
|
+
capturedValues: CapturedValue[];
|
|
128
124
|
};
|
|
129
125
|
/**
|
|
130
126
|
* This is main evaluation function of the CEK Machine
|
|
@@ -135,9 +131,6 @@ export type Result = {
|
|
|
135
131
|
*/
|
|
136
132
|
declare function eval$(entryPoint: Term, evalContext: EvalContext): Result;
|
|
137
133
|
export { eval$ as eval };
|
|
138
|
-
export declare function evalWithCapture(entryPoint: Term, evalContext: Omit<EvalContext, "capture"> & {
|
|
139
|
-
capture?: CaptureConfig | undefined;
|
|
140
|
-
}): Result;
|
|
141
134
|
/**
|
|
142
135
|
* @param callSite
|
|
143
136
|
* @returns
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;
|
|
1
|
+
{"version":3,"file":"Cek.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Cek.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,EAIV,KAAK,EAML,UAAU,EACV,IAAI,EAEL,MAAM,WAAW,CAAA;AAGlB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;IAC5B,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IAC7B,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,KAAK,EAAE,MAAM,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAChC,CAAA;AAED;;GAEG;AACH,MAAM,WAAW,cAAe,SAAQ,WAAW;IACjD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAA;IAE3B,KAAK,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IAC7C,cAAc,IAAI,MAAM,GAAG,SAAS,CAAA;IACpC,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;CAClE;AAED;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,EAAE,EAAE,MAAM,CAAA;IACV,UAAU,EAAE,MAAM,CAAA;IAClB,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,CAAA;AAE9B;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,GAAG,EAAE,MAAM,CAAA;IACX,IAAI,EAAE,KAAK,EAAE,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC1B,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,KAAK,CAAA;IACZ,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACzB,OAAO,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAC7B,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,UAAU,GACV,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf,MAAM,MAAM,QAAQ,GAAG;IACrB,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,CAAA;IACnC,WAAW,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IAChC,YAAY,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACjC,SAAS,CAAC,EAAE,KAAK,EAAE,GAAG,SAAS,CAAA;CAChC,CAAA;AAWD,MAAM,MAAM,KAAK,GAAG;IAClB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,SAAS,EAAE,QAAQ,EAAE,CAAA;CACtB,CAAA;AAED,MAAM,WAAW,MAAM;IACrB,WAAW,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,IAAI,CAAA;IACpD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,KAAK,IAAI,CAAA;IACzD,KAAK,CAAC,EAAE,MAAM,IAAI,CAAA;IAClB,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,GAAG,UAAU,KAAK,IAAI,CAAA;CAC/C;AAwMD;;GAEG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;KAAE,CAAC,CAAA;IACrE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAA;IACf,IAAI,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;KAAE,EAAE,CAAA;IAC5D,SAAS,EAAE,IAAI,CAAC,SAAS,CAAA;IACzB,cAAc,EAAE,aAAa,EAAE,CAAA;CAChC,CAAA;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,MAAM,CAwJjE;AAED,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AA6WxB;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,OAAO,CAO3E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,QAAQ,IAAI,QAAQ,CAEtB;AAqBD;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,GAAG,KAAK,CAKhE;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAC7B,KAAK,CAOP;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CACxC,KAAK,EAAE,KAAK,EACZ,KAAK,EAAE,KAAK,EACZ,GAAG,SAAS,EAAE,QAAQ,EAAE,GACvB,KAAK,CAKP;AA8RD;;GAEG"}
|