@helios-lang/effect 0.5.0 → 0.5.1

package/types/Cardano/Ledger/AssetClass.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"AssetClass.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,IAAI,UAAU,CAUpE;AAED,eAAO,MAAM,UAAU,yGAyCtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,eAAO,MAAM,GAAG,EAAS,UAAU,CAAA;AAEnC,wBAAgB,IAAI,CAClB,MAAM,EAAE,aAAa,CAAC,aAAa,EACnC,SAAS,EAAE,KAAK,CAAC,SAAS,uDAc3B;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oHA4BxB,CAAA;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAMtE;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMpD"}
+{"version":3,"file":"AssetClass.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,IAAI,UAAU,CAUpE;AAED,eAAO,MAAM,UAAU,yGAyCtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,eAAO,MAAM,GAAG,EAAS,UAAU,CAAA;AAEnC,wBAAgB,IAAI,CAClB,MAAM,EAAE,aAAa,CAAC,aAAa,EACnC,SAAS,EAAE,KAAK,CAAC,SAAS,uDAc3B;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;oHA4BxB,CAAA;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,CAYtE;AAED;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMpD"}

package/types/Cardano/Ledger/Assets.d.ts

@@ -98,7 +98,7 @@ export declare function negate(x: Assets): Assets;
 export declare function isEmpty(assets: Assets): boolean;
 export declare function containsOnlyAda(assets: Assets): boolean;
 export declare function allPositive(assets: Assets): boolean;
-declare const SomeNonPositive_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 SomeNonPositive_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.Ledger.Assets.SomeNonPositive";
 } & Readonly<A>;
 export declare class SomeNonPositive extends SomeNonPositive_base<{

package/types/Cardano/Ledger/RewardAddress.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,IAAI,aAAa,CAAC,aAAa,4FAKlD,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAyDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}
+{"version":3,"file":"RewardAddress.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/RewardAddress.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAuB,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAE9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAM7C;AAED,eAAO,MAAM,aAAa,oEAKzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iKAYxB,CAAA;AAED,eAAO,MAAM,MAAM,GAAI,IAAI,aAAa,CAAC,aAAa,4FAKlD,CAAA;AAEJ,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,UAAU,CAAC,UAAU,GAC1B,aAAa,CAKf;AAqDD,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAkB/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,EAAE,CAEpD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,aAAa,GAAG,OAAO,CAEzD;AAED,wBAAgB,UAAU,CAAC,OAAO,EAAE,aAAa,GAAG,UAAU,CAAC,UAAU,CAExE;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,MAAM,CAElE"}

package/types/Cardano/Ledger/Tx.d.ts

@@ -136,7 +136,7 @@ export declare const minCollateral: (tx: Tx) => Effect.Effect<bigint, never, Par
 export declare const inputDatum: (inputIndex: number) => (tx: Tx) => Data.Data | undefined;
 export declare function isSmart(tx: Tx): boolean;
 export declare const scriptDataHash: (tx: Tx) => Effect.Effect<number[] | undefined, never, Params.params>;
-declare const InvalidTx_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 InvalidTx_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.Ledger.Tx.InvalidTx";
 } & Readonly<A>;
 export declare class InvalidTx extends InvalidTx_base<{

package/types/Cardano/Ledger/UTxO.d.ts

@@ -558,7 +558,6 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
         } | undefined;
     }, never>>;
 }>, never>, Schema.SchemaClass<{
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -596,8 +595,8 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
-}, {
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
+}, {
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -635,6 +634,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }, never>>;
 export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
@@ -1105,7 +1105,6 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
         } | undefined;
     }, never>>;
 }>, never>, Schema.SchemaClass<{
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1143,8 +1142,8 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
-}, {
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
+}, {
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1182,6 +1181,7 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }, never>>;
 export declare function make(ref: UTxORef.UTxORef, output: TxOutput.TxOutput): UTxO;
 export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<UTxO | UTxORef.UTxORef>;
@@ -1192,7 +1192,6 @@ export declare const encode: (options: {
 export declare const resolve: (options: {
     trusted?: boolean;
 }) => (utxo: UTxO | UTxORef.UTxORef) => Effect.Effect<{
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1230,11 +1229,11 @@ export declare const resolve: (options: {
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }, Network.ConnectionError | Network.UnexpectedFormat | Network.UTxONotFound, Network.UTxO>;
 export declare const resolveAll: (options: {
     trusted?: boolean;
 }) => (utxos: (UTxO | UTxORef.UTxORef)[]) => Effect.Effect<{
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1272,6 +1271,7 @@ export declare const resolveAll: (options: {
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }[], Network.ConnectionError | Network.UnexpectedFormat | Network.UTxONotFound, Network.UTxO>;
 /**
  * For sorting lists of UTxOs
@@ -1281,7 +1281,6 @@ export declare const resolveAll: (options: {
 export declare function compare(a: UTxO, b: UTxO): number;
 export declare const sumAssets: (...utxos: readonly UTxO[]) => Assets.Assets;
 export declare const difference: (set: readonly UTxO[], exclude: readonly UTxO[]) => {
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1319,6 +1318,7 @@ export declare const difference: (set: readonly UTxO[], exclude: readonly UTxO[]
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }[];
 /**
  * Resorts the list after appending
@@ -1328,7 +1328,6 @@ export declare const difference: (set: readonly UTxO[], exclude: readonly UTxO[]
  * @returns
  */
 export declare const append: (list: readonly UTxO[], ...utxos: UTxO[]) => {
-    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
         readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
@@ -1366,5 +1365,6 @@ export declare const append: (list: readonly UTxO[], ...utxos: UTxO[]) => {
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     };
+    readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
 }[];
 //# sourceMappingURL=UTxO.d.ts.map

package/types/Cardano/Network/errors.d.ts

@@ -2,7 +2,7 @@ import type { Tx } from "../Ledger/Tx.js";
 import type { TxHash } from "../Ledger/TxHash.js";
 import type { UTxO } from "../Ledger/UTxO.js";
 import type { UTxORef } from "../Ledger/UTxORef.js";
-declare const ConnectionError_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 ConnectionError_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.Network.ConnectionError";
 } & Readonly<A>;
 export declare class ConnectionError extends ConnectionError_base<{
@@ -10,7 +10,7 @@ export declare class ConnectionError extends ConnectionError_base<{
 }> {
     constructor(message: string);
 }
-declare const UnexpectedFormat_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 UnexpectedFormat_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.Network.UnexpectedFormat";
 } & Readonly<A>;
 export declare class UnexpectedFormat extends UnexpectedFormat_base<{
@@ -18,7 +18,7 @@ export declare class UnexpectedFormat extends UnexpectedFormat_base<{
 }> {
     constructor(message: string);
 }
-declare const UTxONotFound_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 UTxONotFound_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.Network.UTxONotFound";
 } & Readonly<A>;
 export declare class UTxONotFound extends UTxONotFound_base<{
@@ -27,7 +27,7 @@ export declare class UTxONotFound extends UTxONotFound_base<{
 }> {
     constructor(ref: UTxORef);
 }
-declare const UTxOAlreadySpent_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 UTxOAlreadySpent_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.Network.UTxOAlreadySpent";
 } & Readonly<A>;
 export declare class UTxOAlreadySpent extends UTxOAlreadySpent_base<{
@@ -37,7 +37,7 @@ export declare class UTxOAlreadySpent extends UTxOAlreadySpent_base<{
 }> {
     constructor(utxo: UTxO, spendingTx: TxHash);
 }
-declare const SubmitTxFailed_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 SubmitTxFailed_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.Network.SubmitTxFailed";
 } & Readonly<A>;
 export declare class SubmitTxFailed extends SubmitTxFailed_base<{
@@ -46,7 +46,7 @@ export declare class SubmitTxFailed extends SubmitTxFailed_base<{
 }> {
     constructor(message: string, tx: Tx);
 }
-declare const TxNotFound_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 TxNotFound_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.Network.TxNotFound";
 } & Readonly<A>;
 export declare class TxNotFound extends TxNotFound_base<{

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>;
     } | {
@@ -1160,6 +1160,11 @@ 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>;
     } | {
@@ -1175,13 +1180,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Minting";
     readonly policyIndex: number;
+} | {
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1197,13 +1202,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Spending";
+    readonly inputIndex: number;
+} | {
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly inputIndex: number;
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1219,13 +1224,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Rewarding";
+    readonly withdrawalIndex: number;
+} | {
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly withdrawalIndex: number;
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1241,13 +1246,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Certifying";
+    readonly dcertIndex: number;
+}, {
+    readonly _tag: "Minting";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly dcertIndex: number;
-}, {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1263,13 +1268,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Minting";
     readonly policyIndex: number;
+} | {
+    readonly _tag: "Spending";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1285,13 +1290,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Spending";
+    readonly inputIndex: number;
+} | {
+    readonly _tag: "Rewarding";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly inputIndex: number;
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1307,13 +1312,13 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Rewarding";
+    readonly withdrawalIndex: number;
+} | {
+    readonly _tag: "Certifying";
     readonly cost: {
         readonly cpu: bigint;
         readonly mem: bigint;
     };
-    readonly withdrawalIndex: number;
-} | {
     readonly data: {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -1329,11 +1334,6 @@ export declare const PurposeV3: Schema.transformOrFail<Schema.Schema<({
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     };
-    readonly _tag: "Certifying";
-    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<{
@@ -149,28 +149,28 @@ export declare const start: Effect.Effect<TxBuilder, never, never>;
  */
 export declare const attachScript: (script: NativeScript.NativeScript | Uplc.Script.Script) => (b: TxBuilder) => TxBuilder;
 export declare const attachScriptEffect: (script: NativeScript.NativeScript | Uplc.Script.Script) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
-export declare const delegate: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
-export declare const delegateEffect: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
-export declare const deregister: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
-export declare const deregisterEffect: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
+export declare const delegate: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
+export declare const delegateEffect: (credential: Credential.Credential, poolId: PubKeyHash.PubKeyHash, 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 deregister: (credential: Credential.Credential, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
+export declare const deregisterEffect: (credential: Credential.Credential, 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 metadata: (mdata: Tx.Metadata) => (b: TxBuilder) => TxBuilder;
 export declare const metadataEffect: (mdata: Tx.Metadata) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, E, R>;
 /**
  * Filters out ADA
  * Entries in assets can be negative for burning
  */
-export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded, never>;
-export declare const mintEffect: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => <E, R>(self: Effect.Effect<TxBuilder, E, R>) => Effect.Effect<TxBuilder, RedundantRedeemer | MissingScript | MissingRedeemer | RedeemerAlreadyAdded | E, R>;
+export declare const mint: (assets: Assets.Assets, redeemer?: Uplc.Data.Data | RedeemerBuilder | undefined) => (b: TxBuilder) => Effect.Effect<TxBuilder, MissingRedeemer | RedundantRedeemer | RedeemerAlreadyAdded | MissingScript, never>;
+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, RedundantRedeemer | MissingScript | MissingDatum | MissingRedeemer | UTxOAlreadyAdded | Assets.SomeNonPositive | RedeemerAlreadyAdded | 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, RedundantRedeemer | MissingScript | MissingDatum | MissingRedeemer | UTxOAlreadyAdded | Assets.SomeNonPositive | RedeemerAlreadyAdded | DatumNotFound | 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<{