@helios-lang/effect 0.4.45 → 0.5.1

package/types/Cardano/ScriptContext.d.ts

@@ -18,7 +18,7 @@ export declare const makeArgs: (version: 1 | 2 | 3, tx: Tx, redeemerIndex: numbe
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-}[], ParseResult.ParseError, import("./Network/IsMainnet.js").IsMainnet | Params.params>;
+}[], ParseResult.ParseError, Params.params | import("./Network/IsMainnet.js").IsMainnet>;
 /**
  * Only use for testing!
  */
@@ -80,7 +80,6 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>, Schema.Array$<Schema.Schema<{
-        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
         readonly output: {
             readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
             readonly assets: {
@@ -118,6 +117,7 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
                 readonly strictBabbage?: boolean | undefined;
             } | undefined;
         };
+        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     }, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -162,7 +162,6 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>, Schema.Array$<Schema.Schema<{
-        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
         readonly output: {
             readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
             readonly assets: {
@@ -200,6 +199,7 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
                 readonly strictBabbage?: boolean | undefined;
             } | undefined;
         };
+        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     }, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -322,7 +322,7 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
     } | {
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
-    }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"MintingPolicy">, {
+    }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
         readonly int: bigint;
@@ -379,7 +379,7 @@ export declare const TxInfoV3: Schema.transformOrFail<Schema.SchemaClass<{
     } | {
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
-    }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"MintingPolicy">, {
+    }, never>, Schema.Array$<Schema.Tuple2<Schema.Schema<import("./Ledger/MintingPolicy.js").MintingPolicy, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
         readonly int: bigint;
@@ -1131,7 +1131,7 @@ export declare class CurrentTx extends CurrentTx_base {
 export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
     _tag: "Minting";
 } & {
-    policy: string & import("effect/Brand").Brand<"MintingPolicy">;
+    policy: import("./Ledger/MintingPolicy.js").MintingPolicy;
 }) | ({
     _tag: "Spending";
 } & {
@@ -1161,6 +1161,10 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
     dcert: import("./Ledger/DCert.js").DCert;
 }), Data.Data, never>, Schema.SchemaClass<{
     readonly _tag: "Minting";
+    readonly cost: {
+        readonly cpu: bigint;
+        readonly mem: bigint;
+    };
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1177,12 +1181,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly constructor: number;
     };
     readonly policyIndex: number;
+} | {
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-} | {
-    readonly _tag: "Spending";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1198,13 +1202,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly inputIndex: number;
+} | {
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly inputIndex: number;
-} | {
-    readonly _tag: "Rewarding";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1220,13 +1224,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly withdrawalIndex: number;
+} | {
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly withdrawalIndex: number;
-} | {
-    readonly _tag: "Certifying";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1242,13 +1246,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly dcertIndex: number;
+}, {
+    readonly _tag: "Minting";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly dcertIndex: number;
-}, {
-    readonly _tag: "Minting";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1265,12 +1269,12 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly constructor: number;
     };
     readonly policyIndex: number;
+} | {
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-} | {
-    readonly _tag: "Spending";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1286,13 +1290,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly inputIndex: number;
+} | {
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly inputIndex: number;
-} | {
-    readonly _tag: "Rewarding";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1308,13 +1312,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
+    readonly withdrawalIndex: number;
+} | {
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly withdrawalIndex: number;
-} | {
-    readonly _tag: "Certifying";
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1330,10 +1334,6 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly cost: {
-        readonly cpu: bigint;
-        readonly mem: bigint;
-    };
     readonly dcertIndex: number;
 }, never>, CurrentTx>;
 export {};

package/types/Cardano/TxBuilder.d.ts

@@ -7,7 +7,7 @@ import { Balancing as BalancingWallet } from "./Wallet.js";
  * It is difficult to give RedeemerBuilder access to the whole Tx including to Tx.Witnesses, because this leads to circular dependencies
  */
 export type RedeemerBuilder = (tx: Tx.Tx) => Uplc.Data.Data;
-declare const UTxOAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const UTxOAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.UTxOAlreadyAdded";
 } & Readonly<A>;
 export declare class UTxOAlreadyAdded extends UTxOAlreadyAdded_base<{
@@ -16,7 +16,7 @@ export declare class UTxOAlreadyAdded extends UTxOAlreadyAdded_base<{
 }> {
     constructor(ref: UTxORef.UTxORef);
 }
-declare const MissingDatum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const MissingDatum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.MissingDatum";
 } & Readonly<A>;
 export declare class MissingDatum extends MissingDatum_base<{
@@ -24,7 +24,7 @@ export declare class MissingDatum extends MissingDatum_base<{
 }> {
     constructor();
 }
-declare const MissingRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const MissingRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.MissingRedeemer";
 } & Readonly<A>;
 export declare class MissingRedeemer extends MissingRedeemer_base<{
@@ -32,7 +32,7 @@ export declare class MissingRedeemer extends MissingRedeemer_base<{
 }> {
     constructor();
 }
-declare const RedundantRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const RedundantRedeemer_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.RedundantRedeemer";
 } & Readonly<A>;
 export declare class RedundantRedeemer extends RedundantRedeemer_base<{
@@ -40,7 +40,7 @@ export declare class RedundantRedeemer extends RedundantRedeemer_base<{
 }> {
     constructor();
 }
-declare const RedeemerAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const RedeemerAlreadyAdded_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.RedeemerAlreadyAdded";
 } & Readonly<A>;
 export declare class RedeemerAlreadyAdded extends RedeemerAlreadyAdded_base<{
@@ -48,7 +48,7 @@ export declare class RedeemerAlreadyAdded extends RedeemerAlreadyAdded_base<{
 }> {
     constructor();
 }
-declare const MissingScript_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const MissingScript_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.MissingScript";
 } & Readonly<A>;
 export declare class MissingScript extends MissingScript_base<{
@@ -56,7 +56,7 @@ export declare class MissingScript extends MissingScript_base<{
 }> {
     constructor(hash: ValidatorHash.ValidatorHash);
 }
-declare const DatumNotFound_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const DatumNotFound_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.DatumNotFound";
 } & Readonly<A>;
 export declare class DatumNotFound extends DatumNotFound_base<{
@@ -64,7 +64,7 @@ export declare class DatumNotFound extends DatumNotFound_base<{
 }> {
     constructor(hash: DatumHash.DatumHash, cause?: string);
 }
-declare const ColleteralNotAvailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const ColleteralNotAvailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cardano.TxBuilder.CollateralNotAvailable";
 } & Readonly<A>;
 export declare class ColleteralNotAvailable extends ColleteralNotAvailable_base<{
@@ -163,14 +163,14 @@ export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | R
 export declare const mintEffect: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | E, R>;
 export declare const pay: (...outputs: TxOutput.TxOutput[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive, never>;
 export declare const payEffect: (...outputs: TxOutput.TxOutput[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | E, R>;
-export declare const refer: (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive, never>;
-export declare const referEffect: (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | Assets.SomeNonPositive | E, R>;
+export declare const refer: (...utxos: UTxO.UTxO[]) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded, never>;
+export declare const referEffect: (...utxos: UTxO.UTxO[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | E, R>;
 export declare const register: (credential: Credential.Credential) => (b: TxBuilder) => TxBuilder;
 export declare const registerEffect: (credential: Credential.Credential) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 export declare const sign: (...signers: PubKeyHash.PubKeyHash[]) => (b: TxBuilder) => TxBuilder;
 export declare const signEffect: (...signers: PubKeyHash.PubKeyHash[]) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
-export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Assets.SomeNonPositive, GetDatum>;
-export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | Assets.SomeNonPositive | E, GetDatum | R>;
+export declare const spend: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound, GetDatum>;
+export declare const spendEffect: (utxos: UTxO.UTxO | UTxO.UTxO[], redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, Assets.SomeNonPositive | UTxOAlreadyAdded | MissingDatum | MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript | DatumNotFound | E, GetDatum | R>;
 export declare const validFromSlot: (slot: number) => (b: TxBuilder) => TxBuilder;
 export declare const validFromSlotEffect: (slot: number) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 /**
@@ -229,6 +229,6 @@ export interface BabelFeeOptions {
      */
     readonly assetClass: AssetClass.AssetClass;
 }
-export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, import("effect/ParseResult").ParseError | Error, Network.IsMainnet | Network.UTxO | Network.Params.params | BalancingWallet>;
+export declare const build: (options?: BuildOptions) => (b: TxBuilder) => Effect.Effect<Tx.Tx, Error | import("effect/ParseResult").ParseError, Network.Params.params | Network.IsMainnet | Network.UTxO | BalancingWallet>;
 export {};
 //# sourceMappingURL=TxBuilder.d.ts.map

package/types/Cardano/Uplc/Builtins.d.ts

@@ -1,7 +1,7 @@
 import { Either, Encoding } from "effect";
 import type { MachineContext, Value as CekValue } from "./Cek.js";
 import * as Cost from "./Cost.js";
-declare const WrongArgType_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const WrongArgType_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Uplc.Builtins.WrongArgType";
 } & Readonly<A>;
 export declare class WrongArgType extends WrongArgType_base<{
@@ -9,7 +9,7 @@ export declare class WrongArgType extends WrongArgType_base<{
 }> {
     constructor(argIndex: number, expected: string, actual: string);
 }
-declare const DivisionByZero_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const DivisionByZero_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Uplc.Builtins.DivisionByZero";
 } & Readonly<A>;
 export declare class DivisionByZero extends DivisionByZero_base<{
@@ -17,7 +17,7 @@ export declare class DivisionByZero extends DivisionByZero_base<{
 }> {
     constructor(fnName: string);
 }
-declare const OutOfRange_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const OutOfRange_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Uplc.Builtins.OutOfRange";
 } & Readonly<A>;
 export declare class OutOfRange extends OutOfRange_base<{
@@ -25,7 +25,7 @@ export declare class OutOfRange extends OutOfRange_base<{
 }> {
     constructor(containerSize: number, index: number);
 }
-declare const InvalidLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const InvalidLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Uplc.Builtin.InvalidLength";
 } & Readonly<A>;
 export declare class InvalidLength extends InvalidLength_base<{

package/types/Cardano/Uplc/Data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Data.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAU5C,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAC5E,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CACnD,OAAO,qBAAqB,CAC7B,CAAA;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GACpC,aAAa,CAEf;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe;;EAE1B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAChE,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAU3D;AAED,eAAO,MAAM,gBAAgB;;EAE3B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACnC,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACvC,CAAA;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,QAAQ,CAI7D;AAED,eAAO,MAAM,eAAe;;;;;EAO1B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;QAChB,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;KACjB,CAAC,CAAA;CACH,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;QACpB,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;KACrB,CAAC,CAAA;CACH,CAAA;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,OAAO,CAI5D;AAED,eAAO,MAAM,kBAAkB;;;EAG7B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACzC,CAAA;AAED,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,GAAG,MAAM,EACpB,MAAM,EAAE,IAAI,EAAE,GACb,UAAU,CAKZ;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;IAMxB,CAAA;AAED,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAAkC,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,aAAa,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAA;AAE5E,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAgBrE,CAAA;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,EAAE,CAc3C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CA0BhD;AAED,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAoB1C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,UAAU,GAC7C,MAAM,CAQR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,UAQzC;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CASvC;AAED,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;+CAYX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAwBd,CAAA;AAEF,eAAO,MAAM,IAAI,GAAI,WAAU,MAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCA0BxC,CAAA;AAED,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;mDAgBrB,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAkBd,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,QAAQ,EAC7B,YAAY,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA2CrE,CAAA;AAEJ,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAgBX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;sCAyBvD,CAAA;AAED,QAAA,MAAM,MAAM,GAAI,QAAQ,EAAE,WAAW,EACnC,YAAY,MAAM,CAAC,MAAM,CACvB,QAAQ,EACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,WAAW,CACZ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAcC,CAAA;AAEJ,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,SAAS,GAAI,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAC5E,WAAW,MAAM,CAAC,MAAM,CACtB,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,cAAc,CACf,EACD,aAAa,MAAM,CAAC,MAAM,CACxB,SAAS,EACT,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,gBAAgB,CACjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAqBA,CAAA;AAEH,eAAO,MAAM,MAAM,GACjB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA6BhB,CAAA;AAEJ,eAAO,MAAM,aAAa,GACxB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CAyChB,CAAA;AAEJ,eAAO,MAAM,WAAW,GACtB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;CAAE,EAEzE,KAAK,MAAM,GAAG,MAAM,EACpB,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA8ChB,CAAA;AAEJ,KAAK,qBAAqB,CACxB,WAAW,EACX,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,WAAW,SAAS,MAAM,GAC1B;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;KACrB,SAAS,IAAI,MAAM,YAAY,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAChE,YAAY,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,CACrC;CACF,GACD,KAAK,CAAA;AACT,KAAK,aAAa,CAChB,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,qBAAqB,CAAC,MAAM,YAAY,EAAE,YAAY,CAAC,CAAA;AAqB3D,eAAO,MAAM,IAAI,GACf,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,EAED,UAAU,YAAY,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,IAAI,CAkF/C,CAAA;AAEH,eAAO,MAAM,IAAI;;;;6CAWhB,CAAA;AAkCD,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCrB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,UAmB/B"}
+{"version":3,"file":"Data.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Uplc/Data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAyC,MAAM,EAAE,MAAM,QAAQ,CAAA;AACtE,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAU5C,eAAO,MAAM,qBAAqB;;EAEhC,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAC5E,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CACnD,OAAO,qBAAqB,CAC7B,CAAA;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,UAAU,GACpC,aAAa,CAEf;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe;;EAE1B,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,CAAA;AAChE,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvE,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAU3D;AAED,eAAO,MAAM,gBAAgB;;EAE3B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACnC,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACvC,CAAA;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,QAAQ,CAI7D;AAED,eAAO,MAAM,eAAe;;;;;EAO1B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;QAChB,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAA;KACjB,CAAC,CAAA;CACH,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,GAAG,EAAE,aAAa,CAAC;QAC1B,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;QACpB,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAA;KACrB,CAAC,CAAA;CACH,CAAA;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,GAAG,OAAO,CAI5D;AAED,eAAO,MAAM,kBAAkB;;;EAG7B,CAAA;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CACrC,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CACzC,CAAA;AAED,wBAAgB,cAAc,CAC5B,GAAG,EAAE,MAAM,GAAG,MAAM,EACpB,MAAM,EAAE,IAAI,EAAE,GACb,UAAU,CAKZ;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;IAMxB,CAAA;AAED,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;SAAkC,CAAA;AAEnD;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG,aAAa,GAAG,UAAU,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAA;AAE5E,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,cAAc,GACd,WAAW,GACX,YAAY,GACZ,WAAW,CAAA;AAEf;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAgBrE,CAAA;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,EAAE,CAc3C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CA0BhD;AAED,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM,CAoB1C;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,UAAU,GAC7C,MAAM,CAQR;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,UAQzC;AAED;;;;GAIG;AACH,wBAAgB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CASvC;AAED,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;+CAYX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;oCAwBd,CAAA;AAEF,eAAO,MAAM,IAAI,GAAI,WAAU,MAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCA0BxC,CAAA;AAED,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;mDAgBrB,CAAA;AAED,eAAO,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAkBd,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,QAAQ,EAC7B,YAAY,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA2CrE,CAAA;AAEJ,QAAA,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;uCAgBX,CAAA;AAEF,OAAO,EAAE,OAAO,IAAI,MAAM,EAAE,CAAA;AAE5B,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,MAAM,EAAE,OAAO,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;sCAyBvD,CAAA;AAED,QAAA,MAAM,MAAM,GAAI,QAAQ,EAAE,WAAW,EACnC,YAAY,MAAM,CAAC,MAAM,CACvB,QAAQ,EACR,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,WAAW,CACZ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAcC,CAAA;AAEJ,OAAO,EAAE,MAAM,IAAI,KAAK,EAAE,CAAA;AAE1B,eAAO,MAAM,SAAS,GAAI,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,gBAAgB,EAC5E,WAAW,MAAM,CAAC,MAAM,CACtB,OAAO,EACP,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,cAAc,CACf,EACD,aAAa,MAAM,CAAC,MAAM,CACxB,SAAS,EACT,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,EAClC,gBAAgB,CACjB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8BAqBA,CAAA;AAEH,eAAO,MAAM,MAAM,GACjB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA6BhB,CAAA;AAEJ,eAAO,MAAM,aAAa,GACxB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;CAAE,EAEpE,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CAyChB,CAAA;AAEJ,eAAO,MAAM,WAAW,GACtB,UAAU,SAAS;IAAE,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;CAAE,EAEzE,KAAK,MAAM,GAAG,MAAM,EACpB,QAAQ,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;4CA8ChB,CAAA;AAEJ,KAAK,qBAAqB,CACxB,WAAW,EACX,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,WAAW,SAAS,MAAM,GAC1B;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,GAAG;KACrB,SAAS,IAAI,MAAM,YAAY,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAChE,YAAY,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,CACrC;CACF,GACD,KAAK,CAAA;AACT,KAAK,aAAa,CAChB,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,IACC,qBAAqB,CAAC,MAAM,YAAY,EAAE,YAAY,CAAC,CAAA;AAqB3D,eAAO,MAAM,IAAI,GACf,YAAY,SAAS;IACnB,CAAC,WAAW,EAAE,MAAM,GAAG;QACrB,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,CAAA;KACnD,CAAA;CACF,EAED,UAAU,YAAY,KACrB,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,IAAI,CAgF/C,CAAA;AAEH,eAAO,MAAM,IAAI;;;;6CAWhB,CAAA;AAkCD,eAAO,MAAM,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCrB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,IAAI,UAmB/B"}

package/types/Cardano/Uplc/Script.d.ts

@@ -82,7 +82,7 @@ declare const eval$: (script: Script, args: readonly Value.Value[] | undefined,
     }[];
     breakdown: Cost.Breakdown;
 }, Error, never>;
-export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<2 | 1 | 3>, Error, never>;
+export declare const apply: (script: Script, args: readonly Value.Value[]) => Effect.Effect<Script<1 | 2 | 3>, Error, never>;
 export declare const extractParams: (script: Script) => Effect.Effect<Value.Value[], Error, never>;
 export { eval$ as eval };
 export declare function hash(script: Script): ValidatorHash;

package/types/Cardano/Wallet.d.ts

@@ -23,7 +23,6 @@ export declare const Phrase: (phrase: string | string[], account?: number, subAc
     addressSync: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
     changeAddress: Effect.Effect<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never, never>;
     utxos: Effect.Effect<{
-        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
         readonly output: {
             readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
             readonly assets: {
@@ -61,6 +60,7 @@ export declare const Phrase: (phrase: string | string[], account?: number, subAc
                 readonly strictBabbage?: boolean | undefined;
             } | undefined;
         };
+        readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     }[], Error, never>;
     signData: (candidateAddress: Address.Address, data: Uint8Array | number[] | string) => Effect.Effect<{
         signature: import("effect/Either").Either<Cose.Sign1.Sign1, Cose.Sign1.InvalidAddress>;

package/types/Codecs/Bytes.d.ts

@@ -1,6 +1,6 @@
 import { Either, Encoding } from "effect";
 export type BytesLike = string | number[] | Uint8Array | Stream;
-declare const EndOfStreamError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const EndOfStreamError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "EndOfStreamError";
 } & Readonly<A>;
 export declare class EndOfStreamError extends EndOfStreamError_base<{

package/types/Codecs/Cbor.d.ts

@@ -8,7 +8,7 @@ export type Decoder<T> = (stream: Bytes.Stream) => Either.Either<T, Bytes.EndOfS
 export type IndexedDecoder<T> = (stream: Bytes.Stream, index: number) => Either.Either<T, Bytes.EndOfStreamError | DecodeError>;
 export type DecodeResult<T> = Either.Either<T, Bytes.EndOfStreamError | DecodeError>;
 export type PeekResult<T> = Either.Either<T, Bytes.EndOfStreamError>;
-declare const DecodeError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const DecodeError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Cbor.DecodeError";
 } & Readonly<A>;
 export declare class DecodeError extends DecodeError_base<{

package/types/Crypto/Bip39.d.ts

@@ -1,5 +1,5 @@
 import { Either } from "effect";
-declare const InvalidPhraseLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const InvalidPhraseLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.Bip39.InvalidPhraseLength";
 } & Readonly<A>;
 export declare class InvalidPhraseLength extends InvalidPhraseLength_base<{
@@ -7,7 +7,7 @@ export declare class InvalidPhraseLength extends InvalidPhraseLength_base<{
 }> {
     constructor(n: number);
 }
-declare const InvalidWord_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const InvalidWord_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.Bip39.InvalidWord";
 } & Readonly<A>;
 export declare class InvalidWord extends InvalidWord_base<{
@@ -15,7 +15,7 @@ export declare class InvalidWord extends InvalidWord_base<{
 }> {
     constructor(w: string);
 }
-declare const InvalidChecksum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const InvalidChecksum_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.Bip39.InvalidChecksum";
 } & Readonly<A>;
 export declare class InvalidChecksum extends InvalidChecksum_base<{
@@ -23,7 +23,7 @@ export declare class InvalidChecksum extends InvalidChecksum_base<{
 }> {
     constructor(message?: string);
 }
-declare const InvalidEntropyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const InvalidEntropyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.Bip39.InvalidEntropyLength";
 } & Readonly<A>;
 export declare class InvalidEntropyLength extends InvalidEntropyLength_base<{

package/types/Crypto/EdDSA.d.ts

@@ -1,7 +1,7 @@
 import { Either, Encoding } from "effect";
 import { type Curve, type Point2I } from "./Curve.js";
 import { type Field } from "./Field.js";
-declare const BadPrivateKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const BadPrivateKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.EdDSA.BadPrivateKeyLength";
 } & Readonly<A>;
 export declare class BadPrivateKeyLength extends BadPrivateKeyLength_base<{
@@ -9,7 +9,7 @@ export declare class BadPrivateKeyLength extends BadPrivateKeyLength_base<{
 }> {
     constructor(privateKey: Uint8Array);
 }
-declare const BadSignatureLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const BadSignatureLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.EdDSA.BadSignatureLength";
 } & Readonly<A>;
 export declare class BadSignatureLength extends BadSignatureLength_base<{
@@ -17,7 +17,7 @@ export declare class BadSignatureLength extends BadSignatureLength_base<{
 }> {
     constructor(signature: Uint8Array);
 }
-declare const BadPublicKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const BadPublicKeyLength_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "Crypto.EdDSA.BadPublicKeyLength";
 } & Readonly<A>;
 export declare class BadPublicKeyLength extends BadPublicKeyLength_base<{

package/types/Crypto/errors.d.ts

@@ -1,4 +1,4 @@
-declare const NativeUnavailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").Equals<A, {}> extends true ? void : { readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }) => import("effect/Cause").YieldableError & {
+declare const NativeUnavailable_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
     readonly _tag: "NativeUnavailable";
 } & Readonly<A>;
 export declare class NativeUnavailable extends NativeUnavailable_base<{