@helios-lang/effect 0.2.0 → 0.4.31

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

@@ -1,7 +1,7 @@
 import { Effect, Schema } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
 import * as Cbor from "../../Codecs/Cbor.js";
-import * as Network from "../Network";
+import * as Network from "../Network/index.js";
 import * as Data from "../Uplc/Data.js";
 import * as Assets from "./Assets.js";
 import * as TxOutput from "./TxOutput.js";
@@ -9,39 +9,37 @@ import * as UTxORef from "./UTxORef.js";
 export declare const UTxO: Schema.Struct<{
     ref: Schema.transform<typeof Schema.String, Schema.brand<Schema.filter<typeof Schema.String>, "UTxORef">>;
     output: Schema.Struct<{
-        address: Schema.brand<Schema.filter<typeof Schema.String>, "Address">;
+        address: Schema.brand<Schema.filter<typeof Schema.String>, "Cardano.Ledger.Address">;
         assets: Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>;
-        datum: Schema.optional<Schema.Union<[Schema.TaggedStruct<"Inline", {
-            data: Schema.SchemaClass<{
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, never>;
-        }>, Schema.TaggedStruct<"Hash", {
+        datum: Schema.optional<Schema.Union<[Schema.SchemaClass<{
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        }, {
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        }, never>, Schema.Struct<{
             hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
         }>]>>;
         refScript: Schema.optional<Schema.Union<[Schema.extend<Schema.Struct<{
@@ -328,7 +326,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             }, never>>, never>;
-        }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Address">, string & import("effect/Brand").Brand<"Address">, never>, Network.IsMainnet>;
+        }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, Network.IsMainnet>;
         assets: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
             readonly bytes: Uint8Array<ArrayBufferLike>;
         } | {
@@ -389,6 +387,10 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
         datum: Schema.transform<Schema.Schema<({
             _tag: "None";
         } & {}) | ({
+            _tag: "Hash";
+        } & {
+            hash: string & import("effect/Brand").Brand<"DatumHash">;
+        }) | ({
             _tag: "Inline";
         } & {
             data: {
@@ -406,43 +408,39 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             };
-        }) | ({
-            _tag: "Hash";
-        } & {
-            hash: string & import("effect/Brand").Brand<"DatumHash">;
-        }), Data.Data, never>, Schema.Union<[Schema.Union<[Schema.TaggedStruct<"Inline", {
-            data: Schema.SchemaClass<{
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, never>;
-        }>, Schema.TaggedStruct<"Hash", {
-            hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
-        }>]>, typeof Schema.Undefined]>>;
+        }), Data.Data, never>, Schema.SchemaClass<{
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        } | {
+            readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
+        } | undefined, {
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        } | {
+            readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
+        } | undefined, never>>;
         refScript: Schema.transformOrFail<Schema.SchemaClass<{
             readonly bytes: Uint8Array<ArrayBufferLike>;
         } | {
@@ -487,29 +485,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
             readonly constructor: number;
         }, never>>, never>;
     }>, never>, Schema.SchemaClass<{
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -527,29 +521,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     }, {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -570,29 +560,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
 }>, never>, Schema.SchemaClass<{
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -613,29 +599,25 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
 }, {
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -891,7 +873,7 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             }, never>>, never>;
-        }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Address">, string & import("effect/Brand").Brand<"Address">, never>, Network.IsMainnet>;
+        }>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, string & import("effect/Brand").Brand<"Cardano.Ledger.Address">, never>, Network.IsMainnet>;
         assets: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
             readonly bytes: Uint8Array<ArrayBufferLike>;
         } | {
@@ -952,6 +934,10 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
         datum: Schema.transform<Schema.Schema<({
             _tag: "None";
         } & {}) | ({
+            _tag: "Hash";
+        } & {
+            hash: string & import("effect/Brand").Brand<"DatumHash">;
+        }) | ({
             _tag: "Inline";
         } & {
             data: {
@@ -969,43 +955,39 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
                 readonly fields: readonly Data.Data[];
                 readonly constructor: number;
             };
-        }) | ({
-            _tag: "Hash";
-        } & {
-            hash: string & import("effect/Brand").Brand<"DatumHash">;
-        }), Data.Data, never>, Schema.Union<[Schema.Union<[Schema.TaggedStruct<"Inline", {
-            data: Schema.SchemaClass<{
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            }, never>;
-        }>, Schema.TaggedStruct<"Hash", {
-            hash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
-        }>]>, typeof Schema.Undefined]>>;
+        }), Data.Data, never>, Schema.SchemaClass<{
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        } | {
+            readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
+        } | undefined, {
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
+        } | {
+            readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
+        } | undefined, never>>;
         refScript: Schema.transformOrFail<Schema.SchemaClass<{
             readonly bytes: Uint8Array<ArrayBufferLike>;
         } | {
@@ -1050,29 +1032,25 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
             readonly constructor: number;
         }, never>>, never>;
     }>, never>, Schema.SchemaClass<{
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1090,29 +1068,25 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
             readonly strictBabbage?: boolean | undefined;
         } | undefined;
     }, {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1133,29 +1107,25 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
 }>, never>, Schema.SchemaClass<{
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1176,29 +1146,25 @@ export declare const FromUplcDataV3: Schema.transform<Schema.transformOrFail<Sch
 }, {
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1228,29 +1194,25 @@ export declare const resolve: (options: {
 }) => (utxo: UTxO | UTxORef.UTxORef) => Effect.Effect<{
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1274,29 +1236,25 @@ export declare const resolveAll: (options: {
 }) => (utxos: (UTxO | UTxORef.UTxORef)[]) => Effect.Effect<{
     readonly ref: string & import("effect/Brand").Brand<"UTxORef">;
     readonly output: {
-        readonly address: string & import("effect/Brand").Brand<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1325,29 +1283,25 @@ 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<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({
@@ -1376,29 +1330,25 @@ export declare const difference: (set: readonly UTxO[], exclude: readonly UTxO[]
 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<"Address">;
+        readonly address: string & import("effect/Brand").Brand<"Cardano.Ledger.Address">;
         readonly assets: {
             readonly [x: string]: bigint;
         };
         readonly datum?: {
-            readonly _tag: "Inline";
-            readonly data: {
-                readonly bytes: Uint8Array<ArrayBufferLike>;
-            } | {
-                readonly int: bigint;
-            } | {
-                readonly list: readonly Data.Data[];
-            } | {
-                readonly map: readonly {
-                    readonly k: Data.Data;
-                    readonly v: Data.Data;
-                }[];
-            } | {
-                readonly fields: readonly Data.Data[];
-                readonly constructor: number;
-            };
+            readonly bytes: Uint8Array<ArrayBufferLike>;
+        } | {
+            readonly int: bigint;
+        } | {
+            readonly list: readonly Data.Data[];
+        } | {
+            readonly map: readonly {
+                readonly k: Data.Data;
+                readonly v: Data.Data;
+            }[];
+        } | {
+            readonly fields: readonly Data.Data[];
+            readonly constructor: number;
         } | {
-            readonly _tag: "Hash";
             readonly hash: string & import("effect/Brand").Brand<"DatumHash">;
         } | undefined;
         readonly refScript?: ({