@helios-lang/effect 0.2.0 → 0.4.31

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

@@ -1 +1 @@
-{"version":3,"file":"UTxO.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,OAAO,MAAM,YAAY,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAWxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAW1B,CAAA;AAED,wBAAgB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAK1E;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAqBvC,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAGvE,CAAA;AAEH,eAAO,MAAM,MAAM,GAAI,SAAS;IAAE,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,MAAM,IAAI,aASjE,CAAA;AAED,eAAO,MAAM,OAAO,GACjB,SAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sHAiB7D,CAAA;AAEN,eAAO,MAAM,UAAU,GACpB,SAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAC7B,CAAA;AAE3C;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,MAAM,CAEhD;AAED,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,SAAS,IAAI,EAAE,KAAG,MAAM,CAAC,MACL,CAAA;AAExD,eAAO,MAAM,UAAU,GAAI,KAAK,SAAS,IAAI,EAAE,EAAE,SAAS,SAAS,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GACV,CAAA;AAE/D;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,IAAI,EAAE,EAAE,GAAG,OAAO,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAM7D,CAAA"}
+{"version":3,"file":"UTxO.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGf,CAAA;AAEF,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAA;AAElD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAWxB,CAAA;AAED,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;UAW1B,CAAA;AAED,wBAAgB,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAK1E;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAqBvC,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAGvE,CAAA;AAEH,eAAO,MAAM,MAAM,GAAI,SAAS;IAAE,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,MAAM,IAAI,aASjE,CAAA;AAED,eAAO,MAAM,OAAO,GACjB,SAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sHAiB7D,CAAA;AAEN,eAAO,MAAM,UAAU,GACpB,SAAS;IAAE,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,MAAM,OAAO,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAC7B,CAAA;AAE3C;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,MAAM,CAEhD;AAED,eAAO,MAAM,SAAS,GAAI,GAAG,OAAO,SAAS,IAAI,EAAE,KAAG,MAAM,CAAC,MACL,CAAA;AAExD,eAAO,MAAM,UAAU,GAAI,KAAK,SAAS,IAAI,EAAE,EAAE,SAAS,SAAS,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GACV,CAAA;AAE/D;;;;;;GAMG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,SAAS,IAAI,EAAE,EAAE,GAAG,OAAO,IAAI,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAM7D,CAAA"}

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

@@ -1,7 +1,7 @@
 import { Either, Schema } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
-import { DecodeResult } from "../../Codecs/Cbor.js";
-import { Data } from "../Uplc";
+import { type DecodeResult } from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
 export declare function isValid(vh: string): boolean;
 export declare const ValidatorHash: Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">;
 export type ValidatorHash = Schema.Schema.Type<typeof ValidatorHash>;

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

@@ -1 +1 @@
-{"version":3,"file":"ValidatorHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/ValidatorHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAe,YAAY,EAAe,MAAM,sBAAsB,CAAA;AAC7E,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAE3C;AAED,eAAO,MAAM,aAAa,oEAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,kHAE1C;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAIvB,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,YAAY,CAAC,aAAa,CAKvE,CAAA;AAEH,wBAAgB,MAAM,CAAC,EAAE,EAAE,aAAa,GAAG,MAAM,EAAE,CAElD"}
+{"version":3,"file":"ValidatorHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/ValidatorHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAEL,KAAK,YAAY,EAElB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAEvC,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAE3C;AAED,eAAO,MAAM,aAAa,oEAGzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;AAEpE,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,kHAE1C;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAIvB,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,YAAY,CAAC,aAAa,CAKvE,CAAA;AAEH,wBAAgB,MAAM,CAAC,EAAE,EAAE,aAAa,GAAG,MAAM,EAAE,CAElD"}

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

@@ -9,6 +9,7 @@ export * as NativeScript from "./NativeScript.js";
 export * as PubKeyHash from "./PubKeyHash.js";
 export * as Redeemer from "./Redeemer.js";
 export * as RewardAddress from "./RewardAddress.js";
+export * as Signature from "./Signature.js";
 export * as Tx from "./Tx.js";
 export * as TxHash from "./TxHash.js";
 export * as UTxO from "./UTxO.js";

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,SAAS,CAAA;AAC7B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA;AACjC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA"}

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

@@ -0,0 +1,15 @@
+import { Context, Effect, Schema } from "effect";
+import type { AssetClass } from "../Ledger/AssetClass.js";
+export declare const AssetMetadata: Schema.Struct<{
+    name: typeof Schema.String;
+    decimals: typeof Schema.Int;
+    ticker: typeof Schema.String;
+    description: typeof Schema.String;
+    logo: Schema.optional<typeof Schema.String>;
+}>;
+export type AssetMetadata = Schema.Schema.Type<typeof AssetMetadata>;
+declare const Fetch_base: Context.TagClass<Fetch, "Cardano.Network.AssetMetadata.Fetch", (ac: AssetClass) => Effect.Effect<AssetMetadata, Error>>;
+export declare class Fetch extends Fetch_base {
+}
+export {};
+//# sourceMappingURL=AssetMetadata.d.ts.map

package/types/Cardano/Network/AssetMetadata.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssetMetadata.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/AssetMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AAEzD,eAAO,MAAM,aAAa;;;;;;EAMxB,CAAA;AAEF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,aAAa,CAAC,CAAA;8FAI7D,UAAU,KAAK,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,KAAK,CAAC;AAFzD,qBAAa,KAAM,SAAQ,UAGxB;CAAG"}

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

@@ -1,5 +1,5 @@
 import { Context } from "effect";
-declare const IsMainnet_base: Context.TagClass<IsMainnet, "NetworkIsMainnet", boolean>;
+declare const IsMainnet_base: Context.TagClass<IsMainnet, "Cardanp.Network.IsMainnet", boolean>;
 export declare class IsMainnet extends IsMainnet_base {
 }
 export {};

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

@@ -37,7 +37,7 @@ export declare const Params: Schema.Struct<{
     collateralUTXO: Schema.optional<Schema.transform<typeof Schema.String, Schema.brand<Schema.filter<typeof Schema.String>, "UTxORef">>>;
 }>;
 export type Params = Schema.Schema.Type<typeof Params>;
-declare const params_base: Context.TagClass<params, "Network.Params.params", {
+declare const params_base: Context.TagClass<params, "Cardano.Network.Params.params", {
     readonly txFeeFixed: number;
     readonly txFeePerByte: number;
     readonly exMemFeePerUnit: number;
@@ -62,12 +62,20 @@ export declare class params extends params_base {
 }
 /**
  * Calculates the time (in milliseconds in 01/01/1970) associated with a given slot number.
+ *
+ * The guards throwing defects help during debugging
  */
 export declare const slotToTime: (slot: number) => Effect.Effect<number, never, params>;
 /**
  * Calculates the slot number associated with a given time. Time is specified as milliseconds since 01/01/1970.
+ *
+ * The guards throwing defects help during debugging
  */
 export declare const timeToSlot: (time: number) => Effect.Effect<number, never, params>;
+/**
+ * The guards throwing defects help during debugging
+ */
 export declare const costModel: (version: 1 | 2 | 3) => Effect.Effect<readonly number[], never, params>;
+export declare const testParams: Params;
 export {};
 //# sourceMappingURL=Params.d.ts.map

package/types/Cardano/Network/Params.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Params.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/Params.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGhD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;EAoBjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;;;;;;;;;;;;;;;;;;;;;;AAEtD,qBAAa,MAAO,SAAQ,WAGzB;CAAG;AAEN;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,yCAOpC,CAAA;AAEH;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,yCAOpC,CAAA;AAEH,eAAO,MAAM,SAAS,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,oDAYzC,CAAA"}
+{"version":3,"file":"Params.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/Params.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGhD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,MAAM;;;;;;;;;;;;;;;;;;;;EAoBjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;;;;;;;;;;;;;;;;;;;;;;AAEtD,qBAAa,MAAO,SAAQ,WAGzB;CAAG;AAEN;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,yCAmBpC,CAAA;AAEH;;;;GAIG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,MAAM,yCAmBpC,CAAA;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,oDA2BzC,CAAA;AAEH,eAAO,MAAM,UAAU,EAAE,MAqExB,CAAA"}

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

@@ -0,0 +1,18 @@
+import { Context, Effect } from "effect";
+import type { Tx } from "../Ledger/Tx.js";
+import { ConnectionError, UnexpectedFormat, SubmitTxFailed } from "./errors.js";
+declare const Submit_base: Context.TagClass<Submit, "Cardano.Network.Submit", (tx: Tx) => Effect.Effect<Tx, ConnectionError | UnexpectedFormat | SubmitTxFailed>>;
+/**
+ * The Submit endpoint returns a potentially mutated tx,
+ *   this way the server can apply final changes (eg. signing for using centralized collateral utxos)
+ *
+ * This can potentially also be used to create intentful transactions using only UTxOs locked at smart contract addresses
+ *   (so not requiring a PubKey signature from the entity building the tx)
+ *
+ * The disadvantage of this is that the response is up to 16 kB in size,
+ *   but transaction submissions are much rarer than read operations, so this is probably only a minor inconvenience
+ */
+export declare class Submit extends Submit_base {
+}
+export {};
+//# sourceMappingURL=Submit.d.ts.map

package/types/Cardano/Network/Submit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Submit.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/Submit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAA;AACzC,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;mFAevE,EAAE,KACH,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,eAAe,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAd7E;;;;;;;;;GASG;AACH,qBAAa,MAAO,SAAQ,WAKzB;CAAG"}

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

@@ -2,7 +2,7 @@ import { Context, Effect } from "effect";
 import type { UTxO } from "../Ledger/UTxO.js";
 import type { UTxORef } from "../Ledger/UTxORef.js";
 import { ConnectionError, UnexpectedFormat, UTxOAlreadySpent, UTxONotFound } from "./errors.js";
-declare const UTxO$_base: Context.TagClass<UTxO$, "Network.UTxO", (ref: UTxORef) => Effect.Effect<UTxO, ConnectionError | UnexpectedFormat | UTxONotFound | UTxOAlreadySpent>>;
+declare const UTxO$_base: Context.TagClass<UTxO$, "Cardano.Network.UTxO", (ref: UTxORef) => Effect.Effect<UTxO, ConnectionError | UnexpectedFormat | UTxONotFound | UTxOAlreadySpent>>;
 declare class UTxO$ extends UTxO$_base {
 }
 export { UTxO$ as UTxO };

package/types/Cardano/Network/UTxO.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UTxO.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACb,MAAM,aAAa,CAAA;wEAMX,OAAO,KACT,MAAM,CAAC,MAAM,CAChB,IAAI,EACJ,eAAe,GAAG,gBAAgB,GAAG,YAAY,GAAG,gBAAgB,CACrE;AAPH,cAAM,KAAM,SAAQ,UAQjB;CAAG;AAEN,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,YAAY,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,sFAO9D,CAAA"}
+{"version":3,"file":"UTxO.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACb,MAAM,aAAa,CAAA;gFAMX,OAAO,KACT,MAAM,CAAC,MAAM,CAChB,IAAI,EACJ,eAAe,GAAG,gBAAgB,GAAG,YAAY,GAAG,gBAAgB,CACrE;AAPH,cAAM,KAAM,SAAQ,UAQjB;CAAG;AAEN,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,GAAI,YAAY,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,sFAO9D,CAAA"}

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

@@ -1,8 +1,8 @@
 import { Context, Effect } from "effect";
 import type { Address } from "../Ledger/Address.js";
 import type { UTxO } from "../Ledger/UTxO.js";
-import { ConnectionError, UnexpectedFormat } from "./errors";
-declare const UTxOsAt_base: Context.TagClass<UTxOsAt, "Network.UTxOsAt", (address: Address) => Effect.Effect<UTxO[], ConnectionError | UnexpectedFormat>>;
+import { ConnectionError, UnexpectedFormat } from "./errors.js";
+declare const UTxOsAt_base: Context.TagClass<UTxOsAt, "Cardano.Network.UTxOsAt", (address: Address) => Effect.Effect<UTxO[], ConnectionError | UnexpectedFormat>>;
 export declare class UTxOsAt extends UTxOsAt_base {
 }
 export {};

package/types/Cardano/Network/UTxOsAt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"UTxOsAt.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxOsAt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;mFAK/C,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,eAAe,GAAG,gBAAgB,CAAC;AAJhE,qBAAa,OAAQ,SAAQ,YAK1B;CAAG"}
+{"version":3,"file":"UTxOsAt.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxOsAt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;AACnD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;2FAKlD,OAAO,KACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,eAAe,GAAG,gBAAgB,CAAC;AAJhE,qBAAa,OAAQ,SAAQ,YAK1B;CAAG"}

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

@@ -1,4 +1,6 @@
+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 & {
     readonly _tag: "CardanoNetworkConnectionError";
@@ -30,10 +32,28 @@ declare const UTxOAlreadySpent_base: new <A extends Record<string, any> = {}>(ar
 } & Readonly<A>;
 export declare class UTxOAlreadySpent extends UTxOAlreadySpent_base<{
     message: string;
-    ref: UTxORef;
+    utxo: UTxO;
     spendingTx: TxHash;
 }> {
-    constructor(ref: UTxORef, spendingTx: TxHash);
+    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 & {
+    readonly _tag: "Cardano.Network.SubmitTxFailed";
+} & Readonly<A>;
+export declare class SubmitTxFailed extends SubmitTxFailed_base<{
+    message: string;
+    tx: Tx;
+}> {
+    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 & {
+    readonly _tag: "Cardano.Network.TxNotFound";
+} & Readonly<A>;
+export declare class TxNotFound extends TxNotFound_base<{
+    message: string;
+    txHash: TxHash;
+}> {
+    constructor(txHash: TxHash);
 }
 export {};
 //# sourceMappingURL=errors.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/errors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;;;;AAEnD,qBAAa,eAAgB,SAAQ,qBAEnC;IACA,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,OAAO,EAAE,MAAM;CAK5B;;;;AAED,qBAAa,gBAAiB,SAAQ,sBAEpC;IACA,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,OAAO,EAAE,MAAM;CAK5B;;;;AAED,qBAAa,YAAa,SAAQ,kBAEhC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,CAAC;gBACtB,GAAG,EAAE,OAAO;CAMzB;;;;AAED,qBAAa,gBAAiB,SAAQ,sBAEpC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;gBAC1C,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM;CAO7C"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/errors.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,iBAAiB,CAAA;AACzC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAA;AACjD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAA;;;;AAEnD,qBAAa,eAAgB,SAAQ,qBAEnC;IACA,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,OAAO,EAAE,MAAM;CAK5B;;;;AAED,qBAAa,gBAAiB,SAAQ,sBAEpC;IACA,OAAO,EAAE,MAAM,CAAA;CAChB,CAAC;gBACY,OAAO,EAAE,MAAM;CAK5B;;;;AAED,qBAAa,YAAa,SAAQ,kBAEhC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,OAAO,CAAA;CAAE,CAAC;gBACtB,GAAG,EAAE,OAAO;CAMzB;;;;AAED,qBAAa,gBAAiB,SAAQ,sBAEpC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;gBACxC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM;CAO3C;;;;AAED,qBAAa,cAAe,SAAQ,oBAElC;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,EAAE,CAAA;CAAE,CAAC;gBAChB,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE;CAGpC;;;;AAED,qBAAa,UAAW,SAAQ,gBAA+C;IAC7E,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;CACf,CAAC;gBACY,MAAM,EAAE,MAAM;CAM3B"}

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

@@ -1,6 +1,8 @@
+export * as AssetMetadata from "./AssetMetadata.js";
 export * from "./errors.js";
 export * from "./IsMainnet.js";
 export * as Params from "./Params.js";
+export * from "./Submit.js";
 export * from "./UTxO.js";
 export * from "./UTxOsAt.js";
 //# sourceMappingURL=index.d.ts.map

package/types/Cardano/Network/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Network/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AACnD,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,cAAc,aAAa,CAAA;AAC3B,cAAc,WAAW,CAAA;AACzB,cAAc,cAAc,CAAA"}