@helios-lang/effect 0.1.14 → 0.2.0

package/types/Cardano/CoinSelection.d.ts

@@ -0,0 +1,26 @@
+import { Either } from "effect";
+import * as Assets from "./Ledger/Assets.js";
+import type { UTxO } from "./Ledger/UTxO.js";
+declare const InsufficientFunds_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.CoinSelection.InsufficientFunds";
+} & Readonly<A>;
+export declare class InsufficientFunds extends InsufficientFunds_base<{
+    message: string;
+}> {
+    constructor();
+}
+export type CoinSelection = (utxos: UTxO[], assets: Assets.Assets) => Either.Either<UTxO[], InsufficientFunds>;
+type SelectOptions = {
+    allowSelectingUninvolvedAssets?: boolean;
+};
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the largest corresponding amount first.
+ */
+export declare function largestFirst(options?: SelectOptions): CoinSelection;
+/**
+ * Selects UTxOs from a list by iterating through the tokens in the given `Value` and picking the UTxOs containing the smallest corresponding amount first.
+ * This method can be used to eliminate dust UTxOs from a wallet.
+ */
+export declare function smallestFirst(options?: SelectOptions): CoinSelection;
+export {};
+//# sourceMappingURL=CoinSelection.d.ts.map

package/types/Cardano/CoinSelection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"CoinSelection.d.ts","sourceRoot":"","sources":["../../src/Cardano/CoinSelection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;;;;AAE5C,qBAAa,iBAAkB,SAAQ,uBAErC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;AAED,MAAM,MAAM,aAAa,GAAG,CAC1B,KAAK,EAAE,IAAI,EAAE,EACb,MAAM,EAAE,MAAM,CAAC,MAAM,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,iBAAiB,CAAC,CAAA;AAE7C,KAAK,aAAa,GAAG;IACnB,8BAA8B,CAAC,EAAE,OAAO,CAAA;CACzC,CAAA;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,GAAE,aAAkB,GAAG,aAAa,CAEvE;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,GAAE,aAAkB,GAAG,aAAa,CAExE"}

package/types/{Ledger → Cardano/Ledger}/Address.d.ts

@@ -1,6 +1,6 @@
 import { Schema } from "effect";
-import * as Cbor from "../Cbor.js";
-import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Bytes from "../../Codecs/Bytes.js";
 import { IsMainnet } from "../Network/IsMainnet.js";
 import { Data } from "../Uplc/index.js";
 import * as Credential from "./Credential.js";
@@ -78,11 +78,11 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>, Schema.Option<Schema.Schema<{
-        readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
         readonly _tag: "PubKey";
+        readonly hash: string & import("effect/Brand").Brand<"PubKeyHash">;
     } | {
-        readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
         readonly _tag: "Validator";
+        readonly hash: string & import("effect/Brand").Brand<"ValidatorHash">;
     }, {
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {
@@ -98,12 +98,13 @@ export declare const FromUplcData: Schema.transformOrFail<Schema.transformOrFail
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
     }, never>>, never>;
-}>, never>, Schema.brand<Schema.filter<typeof Schema.String>, "Address">, IsMainnet>;
+}>, never>, Schema.SchemaClass<string & import("effect/Brand").Brand<"Address">, string & import("effect/Brand").Brand<"Address">, never>, IsMainnet>;
 export declare function make(isMainnet: boolean, spendingCredential: Credential.Credential, stakingCredential?: Credential.Credential): Address;
-export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeEffect<Address>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Address>;
 export declare function encode(address: Address): number[];
 export declare function bytes(address: Address): number[];
 export declare function isMainnet(address: Address): boolean;
 export declare function spendingCredential(address: Address): Credential.Credential;
 export declare function stakingCredential(address: Address): Credential.Credential | undefined;
+export declare function isValidator(address: Address): boolean;
 //# sourceMappingURL=Address.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Address.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpE,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAA;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAI7C,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAO7C;AAED,eAAO,MAAM,OAAO,8DAKnB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qJAiCxB,CAAA;AAED,wBAAgB,IAAI,CAClB,SAAS,EAAE,OAAO,EAClB,kBAAkB,EAAE,UAAU,CAAC,UAAU,EACzC,iBAAiB,CAAC,EAAE,UAAU,CAAC,UAAU,GACxC,OAAO,CAWT;AAkID,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAiBtE,CAAA;AAEH,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEjD;AAED,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,EAAE,CAEhD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAEnD;AAED,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,CAAC,UAAU,CAE1E;AAED,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,OAAO,GACf,UAAU,CAAC,UAAU,GAAG,SAAS,CAEnC;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAErD"}

package/types/{Ledger → Cardano/Ledger}/AssetClass.d.ts

@@ -1,5 +1,5 @@
 import { Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
+import * as Bytes from "../../Codecs/Bytes.js";
 import { Data } from "../Uplc";
 import * as MintingPolicy from "./MintingPolicy.js";
 export declare function isValid(assetClass: string): assetClass is AssetClass;
@@ -64,7 +64,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
     } | {
         readonly fields: readonly Data.Data[];
         readonly constructor: number;
-    }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.Option<Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">>>;
+    }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "MintingPolicy">>;
     tokenName: Schema.transformOrFail<Schema.SchemaClass<{
         readonly bytes: Uint8Array<ArrayBufferLike>;
     } | {

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

@@ -0,0 +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,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,UAAU,EAAE,MAAM,GAAG,UAAU,IAAI,UAAU,CAQpE;AAED,eAAO,MAAM,UAAU,yGAWtB,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,wBAAgB,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAMpD"}

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

@@ -0,0 +1,114 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc";
+import * as AssetClass from "./AssetClass.js";
+import * as MintingPolicy from "./MintingPolicy.js";
+export declare const Assets: Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>;
+export type Assets = Schema.Schema.Type<typeof Assets>;
+export declare const FromUplcData: (sortTokens?: boolean) => Schema.transform<Schema.transformOrFail<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.Array$<Schema.Tuple2<Schema.Schema<string & import("effect/Brand").Brand<"MintingPolicy">, {
+    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.Schema<readonly (readonly [string, bigint])[], {
+    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>>>, never>, Schema.filter<Schema.Record$<typeof Schema.String, typeof Schema.BigIntFromSelf>>>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Assets>;
+export declare function encode(assets: Assets): number[];
+export declare function allAssetClasses(assets: Assets): AssetClass.AssetClass[];
+export declare function nonAdaAssetClasses(assets: Assets): AssetClass.AssetClass[];
+export declare function policies(assets: Assets): MintingPolicy.MintingPolicy[];
+export declare function nonAdaPolicies(assets: Assets): MintingPolicy.MintingPolicy[];
+export declare function lovelace(assets: Assets): bigint;
+export declare const filterByPolicy: (policy: MintingPolicy.MintingPolicy) => (assets: Assets) => Assets;
+export declare const filterPositive: (assets: Assets) => Assets;
+export declare const filterNegative: (assets: Assets) => Assets;
+/**
+ * Prunes zeroes
+ * @param xs
+ * @returns
+ */
+export declare function sum(...xs: Assets[]): Assets;
+export declare function add(a: Assets, b: Assets): Assets;
+/**
+ * Prunes zeroes
+ * @param a
+ * @param b
+ * @returns
+ */
+export declare function subtract(a: Assets, b: Assets): Assets;
+/**
+ * Prunes zeroes
+ * @param x
+ * @returns
+ */
+export declare function negate(x: Assets): Assets;
+export declare function isEmpty(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 & {
+    readonly _tag: "Cardano.Ledger.Assets.SomeNonPositive";
+} & Readonly<A>;
+export declare class SomeNonPositive extends SomeNonPositive_base<{
+    message: string;
+}> {
+    constructor();
+}
+export declare function assertAllPositive(assets: Assets): Effect.Effect<never, SomeNonPositive, never> | Effect.Effect<void, never, never>;
+/**
+ * Ignores ADA
+ * @param assets
+ * @returns
+ */
+export declare function countTokens(assets: Assets): number;
+export {};
+//# sourceMappingURL=Assets.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Assets.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Assets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/C,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,eAAO,MAAM,MAAM,mFAalB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,YAAY,GAAI,aAAY,OAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;uGAqCrD,CAAA;AA4BH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAwCpE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CA4B/C;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,CAEvE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,UAAU,EAAE,CAE1E;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAEtE;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,aAAa,EAAE,CAE5E;AAED,wBAAgB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,eAAO,MAAM,cAAc,GACxB,QAAQ,aAAa,CAAC,aAAa,MACnC,QAAQ,MAAM,KAAG,MAOjB,CAAA;AAEH,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,KAAG,MAE/C,CAAA;AAED,eAAO,MAAM,cAAc,GAAI,QAAQ,MAAM,KAAG,MAE/C,CAAA;AAED;;;;GAIG;AACH,wBAAgB,GAAG,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,MAAM,CAuB3C;AAED,wBAAgB,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED;;;;;GAKG;AACH,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAkBrD;AAED;;;;GAIG;AACH,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAUxC;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAE/C;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAEnD;;;;AAED,qBAAa,eAAgB,SAAQ,qBAEnC;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;;CAIrB;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,oFAM/C;AAED;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAElD"}

package/types/{Ledger → Cardano/Ledger}/Credential.d.ts

@@ -1,15 +1,17 @@
 import { Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
 import { Data } from "../Uplc";
-import { PubKeyHash } from "./PubKeyHash.js";
-import { ValidatorHash } from "./ValidatorHash.js";
+import * as PubKeyHash from "./PubKeyHash.js";
+import * as ValidatorHash from "./ValidatorHash.js";
 export declare const Credential: Schema.Union<[Schema.TaggedStruct<"PubKey", {
     hash: Schema.brand<Schema.filter<typeof Schema.String>, "PubKeyHash">;
 }>, Schema.TaggedStruct<"Validator", {
     hash: Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">;
 }>]>;
 export type Credential = Schema.Schema.Type<typeof Credential>;
-export declare function makePubKey(pkh: PubKeyHash): Credential;
-export declare function makeValidator(vh: ValidatorHash): Credential;
+export declare function makePubKey(pkh: PubKeyHash.PubKeyHash): Credential;
+export declare function makeValidator(vh: ValidatorHash.ValidatorHash): Credential;
 export declare const FromUplcData: Schema.transform<Schema.Schema<({
     _tag: "PubKey";
 } & {
@@ -23,4 +25,8 @@ export declare const FromUplcData: Schema.transform<Schema.Schema<({
 }>, Schema.TaggedStruct<"Validator", {
     hash: Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">;
 }>]>>;
+export declare function bytes(cred: Credential): Uint8Array;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<Credential>;
+export declare function encode(cred: Credential): number[];
+export declare function equals(a: Credential, b: Credential): boolean;
 //# sourceMappingURL=Credential.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Credential.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/Credential.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,eAAO,MAAM,UAAU;;;;IAGtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,wBAAgB,UAAU,CAAC,GAAG,EAAE,UAAU,CAAC,UAAU,GAAG,UAAU,CAEjE;AAED,wBAAgB,aAAa,CAAC,EAAE,EAAE,aAAa,CAAC,aAAa,GAAG,UAAU,CAEzE;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;KAQxB,CAAA;AAED,wBAAgB,KAAK,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAElD;AAED,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAuBxE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,EAAE,CAUjD;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,GAAG,OAAO,CAE5D"}

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

@@ -0,0 +1,40 @@
+import { Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
+import * as Credential from "./Credential.js";
+import * as PubKeyHash from "./PubKeyHash.js";
+import * as ValidatorHash from "./ValidatorHash.js";
+export type Registration = {
+    _tag: "Registration";
+    credential: Credential.Credential;
+};
+export type Deregistration = {
+    _tag: "Deregistration";
+    credential: Credential.Credential;
+};
+export type Delegation = {
+    _tag: "Delegation";
+    credential: Credential.Credential;
+    poolId: PubKeyHash.PubKeyHash;
+};
+export type RegisterPool = {
+    _tag: "RegisterPool";
+    id: PubKeyHash.PubKeyHash;
+    vrf: PubKeyHash.PubKeyHash;
+    pledge: bigint;
+    margin: number;
+    owners: readonly PubKeyHash.PubKeyHash[];
+};
+export type RetirePool = {
+    _tag: "RetirePool";
+    poolId: PubKeyHash.PubKeyHash;
+    epoch: number;
+};
+export type DCert = Registration | Deregistration | Delegation | RegisterPool | RetirePool;
+export declare const FromUplcData: Schema.Schema<DCert, Data.Data>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<DCert>;
+export declare function encode(dcert: DCert): number[];
+export declare function equals(a: DCert, b: DCert): boolean;
+export declare function validatorHash(dcert: DCert): ValidatorHash.ValidatorHash;
+//# sourceMappingURL=DCert.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DCert.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/DCert.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,cAAc,CAAA;IACpB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,IAAI,EAAE,gBAAgB,CAAA;IACtB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAA;CAClC,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,YAAY,CAAA;IAClB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAA;IACjC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,cAAc,CAAA;IACpB,EAAE,EAAE,UAAU,CAAC,UAAU,CAAA;IACzB,GAAG,EAAE,UAAU,CAAC,UAAU,CAAA;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IAEd,MAAM,EAAE,SAAS,UAAU,CAAC,UAAU,EAAE,CAAA;CAGzC,CAAA;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,YAAY,CAAA;IAClB,MAAM,EAAE,UAAU,CAAC,UAAU,CAAA;IAC7B,KAAK,EAAE,MAAM,CAAA;CACd,CAAA;AAED,MAAM,MAAM,KAAK,GACb,YAAY,GACZ,cAAc,GACd,UAAU,GACV,YAAY,GACZ,UAAU,CAAA;AAEd,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAsBvD,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CA4BnE,CAAA;AAEJ,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CA2B7C;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,OAAO,CAelD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,CAAC,aAAa,CAcvE"}

package/types/{Ledger → Cardano/Ledger}/DatumHash.d.ts

@@ -1,11 +1,11 @@
-import { Effect, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import { DecodeEffect } from "../Cbor.js";
+import { Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { DecodeResult } from "../../Codecs/Cbor.js";
 import { Data } from "../Uplc";
 export declare function isValid(dh: string): boolean;
 export declare const DatumHash: Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">;
 export type DatumHash = Schema.Schema.Type<typeof DatumHash>;
-export declare function make(bytes: Bytes.BytesLike): Effect.Effect<string & import("effect/Brand").Brand<"DatumHash">, import("effect/ParseResult").ParseError, never>;
+export declare function make(bytes: Bytes.BytesLike): Either.Either<string & import("effect/Brand").Brand<"DatumHash">, import("effect/ParseResult").ParseError>;
 export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
@@ -35,6 +35,7 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
     readonly fields: readonly Data.Data[];
     readonly constructor: number;
 }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "DatumHash">>;
-export declare const decode: (bytes: Bytes.BytesLike) => DecodeEffect<DatumHash>;
+export declare const decode: (bytes: Bytes.BytesLike) => DecodeResult<DatumHash>;
 export declare function encode(dh: DatumHash): number[];
+export declare function hash(d: Data.Data): DatumHash;
 //# sourceMappingURL=DatumHash.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DatumHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/DatumHash.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;AAE7E,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,wBAAgB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAE3C;AAED,eAAO,MAAM,SAAS,gEAGrB,CAAA;AAED,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,SAAS,CAAC,CAAA;AAE5D,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,8GAE1C;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;oHAIvB,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,YAAY,CAAC,SAAS,CAKnE,CAAA;AAEH,wBAAgB,MAAM,CAAC,EAAE,EAAE,SAAS,GAAG,MAAM,EAAE,CAE9C;AAED,wBAAgB,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,SAAS,CAI5C"}

package/types/{Ledger → Cardano/Ledger}/MintingPolicy.d.ts

@@ -1,8 +1,10 @@
-import { Effect, Option, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import * as Cbor from "../Cbor.js";
-import { Data } from "../Uplc";
-export declare const MintingPolicy: Schema.Option<Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">>;
+import { Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as Data from "../Uplc/Data.js";
+import * as ValidatorHash from "./ValidatorHash.js";
+export declare function isValid(mph: string): mph is MintingPolicy;
+export declare const MintingPolicy: Schema.brand<Schema.filter<typeof Schema.String>, "MintingPolicy">;
 export type MintingPolicy = Schema.Schema.Type<typeof MintingPolicy>;
 export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
@@ -32,8 +34,9 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
 } | {
     readonly fields: readonly Data.Data[];
     readonly constructor: number;
-}, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.Option<Schema.brand<Schema.filter<typeof Schema.String>, "ValidatorHash">>>;
-export declare function make(policy: Bytes.BytesLike): Effect.Effect<Option.Option<string & import("effect/Brand").Brand<"ValidatorHash">>, import("effect/ParseResult").ParseError, never>;
-export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeEffect<MintingPolicy>;
+}, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "MintingPolicy">>;
+export declare function make(policy: Bytes.BytesLike): Either.Either<string & import("effect/Brand").Brand<"MintingPolicy">, import("effect/ParseResult").ParseError>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<MintingPolicy>;
 export declare function encode(policy: MintingPolicy): number[];
+export declare function hash(policy: MintingPolicy): ValidatorHash.ValidatorHash;
 //# sourceMappingURL=MintingPolicy.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MintingPolicy.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/MintingPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,wBAAgB,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,IAAI,aAAa,CAQzD;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAIvB,CAAA;AAEF,wBAAgB,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,kHAE3C;AAED,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,aAAa,CAU/B,CAAA;AAEH,wBAAgB,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,EAAE,CAEtD;AAED,wBAAgB,IAAI,CAAC,MAAM,EAAE,aAAa,GAAG,aAAa,CAAC,aAAa,CAMvE"}

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

@@ -0,0 +1,105 @@
+import { Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import * as Cbor from "../../Codecs/Cbor.js";
+import * as PubKeyHash from "./PubKeyHash.js";
+import * as ValidatorHash from "./ValidatorHash.js";
+export declare const After: Schema.Struct<{
+    type: Schema.Literal<["after"]>;
+    slot: typeof Schema.Number;
+}>;
+export type After = Schema.Schema.Type<typeof After>;
+export declare const Before: Schema.Struct<{
+    type: Schema.Literal<["before"]>;
+    slot: typeof Schema.Number;
+}>;
+export type Before = Schema.Schema.Type<typeof Before>;
+export declare const All: Schema.Struct<{
+    type: Schema.Literal<["all"]>;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>;
+export type All = Schema.Schema.Type<typeof All>;
+export declare const Any: Schema.Struct<{
+    type: Schema.Literal<["any"]>;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>;
+export type Any = Schema.Schema.Type<typeof Any>;
+export declare const AtLeast: Schema.Struct<{
+    type: Schema.Literal<["atLeast"]>;
+    required: typeof Schema.Number;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>;
+export type AtLeast = Schema.Schema.Type<typeof AtLeast>;
+export declare const Sig: Schema.Struct<{
+    type: Schema.Literal<["sig"]>;
+    keyHash: Schema.brand<Schema.filter<typeof Schema.String>, "PubKeyHash">;
+}>;
+export type Sig = Schema.Schema.Type<typeof Sig>;
+export type NativeScript = {
+    type: "after";
+    slot: number;
+} | {
+    type: "before";
+    slot: number;
+} | {
+    type: "all";
+    scripts: readonly NativeScript[];
+} | {
+    type: "any";
+    scripts: readonly NativeScript[];
+} | {
+    type: "atLeast";
+    required: number;
+    scripts: readonly NativeScript[];
+} | {
+    type: "sig";
+    keyHash: PubKeyHash.PubKeyHash;
+};
+export type NativeScriptJSON = {
+    type: "after";
+    slot: number;
+} | {
+    type: "before";
+    slot: number;
+} | {
+    type: "all";
+    scripts: readonly NativeScriptJSON[];
+} | {
+    type: "any";
+    scripts: readonly NativeScriptJSON[];
+} | {
+    type: "atLeast";
+    required: number;
+    scripts: readonly NativeScriptJSON[];
+} | {
+    type: "sig";
+    keyHash: string;
+};
+export declare const NativeScript: Schema.Union<[Schema.Struct<{
+    type: Schema.Literal<["after"]>;
+    slot: typeof Schema.Number;
+}>, Schema.Struct<{
+    type: Schema.Literal<["before"]>;
+    slot: typeof Schema.Number;
+}>, Schema.Struct<{
+    type: Schema.Literal<["all"]>;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["any"]>;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["atLeast"]>;
+    required: typeof Schema.Number;
+    scripts: Schema.Array$<Schema.suspend<NativeScript, NativeScriptJSON, never>>;
+}>, Schema.Struct<{
+    type: Schema.Literal<["sig"]>;
+    keyHash: Schema.brand<Schema.filter<typeof Schema.String>, "PubKeyHash">;
+}>]>;
+export declare const decode: (bytes: Bytes.BytesLike) => Cbor.DecodeResult<NativeScript>;
+export declare function encode(script: NativeScript): number[];
+export declare function hash(script: NativeScript): ValidatorHash.ValidatorHash;
+export declare function validate(ctx: {
+    firstValidSlot?: number;
+    lastValidSlot?: number;
+    signers: PubKeyHash.PubKeyHash[];
+}): (script: NativeScript) => boolean;
+//# sourceMappingURL=NativeScript.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"NativeScript.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/NativeScript.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAE5C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,CAAA;AAEpD,eAAO,MAAM,MAAM;;;EAGjB,CAAA;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,eAAO,MAAM,GAAG;;;EAOd,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,eAAO,MAAM,GAAG;;;EAOd,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,eAAO,MAAM,OAAO;;;;EAQlB,CAAA;AAEF,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,OAAO,CAAC,CAAA;AAExD,eAAO,MAAM,GAAG;;;EAGd,CAAA;AAEF,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAA;AAEhD,MAAM,MAAM,YAAY,GACpB;IACE,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb,GACD;IACE,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;CACb,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CACjC,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CACjC,GACD;IACE,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,SAAS,YAAY,EAAE,CAAA;CACjC,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,UAAU,CAAC,UAAU,CAAA;CAC/B,CAAA;AAEL,MAAM,MAAM,gBAAgB,GACxB;IACE,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb,GACD;IACE,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;CACb,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACrC,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACrC,GACD;IACE,IAAI,EAAE,SAAS,CAAA;IACf,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACrC,GACD;IACE,IAAI,EAAE,KAAK,CAAA;IACX,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAEL,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;IAAsD,CAAA;AAE/E,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,CAAC,SAAS,KACrB,IAAI,CAAC,YAAY,CAAC,YAAY,CA+C7B,CAAA;AAEJ,wBAAgB,MAAM,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,EAAE,CA4BrD;AAED,wBAAgB,IAAI,CAAC,MAAM,EAAE,YAAY,GAAG,aAAa,CAAC,aAAa,CAMtE;AAGD,wBAAgB,QAAQ,CAAC,GAAG,EAAE;IAC5B,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,OAAO,EAAE,UAAU,CAAC,UAAU,EAAE,CAAA;CACjC,IACS,QAAQ,YAAY,KAAG,OAAO,CA6BvC"}

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

@@ -0,0 +1,41 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { DecodeResult } from "../../Codecs/Cbor.js";
+import { Data } from "../Uplc";
+export declare function isValid(pk: string): pk is PubKey;
+export declare const PubKey: Schema.brand<Schema.filter<typeof Schema.String>, "PubKey">;
+export type PubKey = Schema.Schema.Type<typeof PubKey>;
+export declare function make(bytes: Bytes.BytesLike): Effect.Effect<string & import("effect/Brand").Brand<"PubKey">, import("effect/ParseResult").ParseError, never>;
+export declare const FromUplcData: Schema.transform<Schema.transformOrFail<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>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "PubKey">>;
+export declare const decode: (bytes: Bytes.BytesLike) => DecodeResult<PubKey>;
+export declare function encode(pkh: PubKey): number[];
+export declare const dummy: PubKey;
+//# sourceMappingURL=PubKey.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PubKey.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/PubKey.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAoB,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,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,EAAE,IAAI,MAAM,CAEhD;AACD,eAAO,MAAM,MAAM,6DAGlB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,CAAA;AAEtD,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,kHAE1C;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;iHAIvB,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,YAAY,CAAC,MAAM,CAKhE,CAAA;AAEH,wBAAgB,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAE5C;AAED,eAAO,MAAM,KAAK,EAAE,MAET,CAAA"}

package/types/{Ledger → Cardano/Ledger}/PubKeyHash.d.ts

@@ -1,11 +1,11 @@
-import { Effect, Schema } from "effect";
-import * as Bytes from "../internal/Bytes.js";
-import { DecodeEffect } from "../Cbor.js";
+import { Either, Schema } from "effect";
+import * as Bytes from "../../Codecs/Bytes.js";
+import { DecodeResult } from "../../Codecs/Cbor.js";
 import { Data } from "../Uplc";
 export declare function isValid(pkh: string): pkh is PubKeyHash;
 export declare const PubKeyHash: Schema.brand<Schema.filter<typeof Schema.String>, "PubKeyHash">;
 export type PubKeyHash = Schema.Schema.Type<typeof PubKeyHash>;
-export declare function make(bytes: Bytes.BytesLike): Effect.Effect<string & import("effect/Brand").Brand<"PubKeyHash">, import("effect/ParseResult").ParseError, never>;
+export declare function make(bytes: Bytes.BytesLike): Either.Either<string & import("effect/Brand").Brand<"PubKeyHash">, import("effect/ParseResult").ParseError>;
 export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schema.SchemaClass<{
     readonly bytes: Uint8Array<ArrayBufferLike>;
 } | {
@@ -35,6 +35,6 @@ export declare const FromUplcData: Schema.transform<Schema.transformOrFail<Schem
     readonly fields: readonly Data.Data[];
     readonly constructor: number;
 }, never>, typeof Schema.Uint8ArrayFromSelf, never>, Schema.brand<Schema.filter<typeof Schema.String>, "PubKeyHash">>;
-export declare const decode: (bytes: Bytes.BytesLike) => DecodeEffect<PubKeyHash>;
+export declare const decode: (bytes: Bytes.BytesLike) => DecodeResult<PubKeyHash>;
 export declare function encode(pkh: PubKeyHash): number[];
 //# sourceMappingURL=PubKeyHash.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"PubKeyHash.d.ts","sourceRoot":"","sources":["../../../src/Cardano/Ledger/PubKeyHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAU,MAAM,EAAY,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,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,GAAG,EAAE,MAAM,GAAG,GAAG,IAAI,UAAU,CAEtD;AAED,eAAO,MAAM,UAAU,iEAGtB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,UAAU,CAAC,CAAA;AAE9D,wBAAgB,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,+GAE1C;AAED,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;qHAIvB,CAAA;AAEF,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,SAAS,KAAG,YAAY,CAAC,UAAU,CAKpE,CAAA;AAEH,wBAAgB,MAAM,CAAC,GAAG,EAAE,UAAU,GAAG,MAAM,EAAE,CAEhD"}