@helios-lang/effect 0.1.2 → 0.1.4

package/dist/Ledger/Address.js

@@ -1,10 +1,11 @@
-import { Context, Effect, Option, ParseResult, Schema } from "effect";
+import { Effect, Option, ParseResult, Schema } from "effect";
 import * as Bech32 from "../Bech32.js";
 import * as Cbor from "../Cbor.js";
 import * as Bytes from "../internal/Bytes.js";
 import { Data } from "../Uplc/index.js";
-import * as PubKeyHash from "./PubKeyHash.js";
 import * as Credential from "./Credential.js";
+import { IsMainnet } from "./IsMainnet.js";
+import * as PubKeyHash from "./PubKeyHash.js";
 import * as ValidatorHash from "./ValidatorHash.js";
 export function isValid(addr) {
     if (addr.startsWith("addr1") || addr.startsWith("addr_test1")) {
@@ -13,8 +14,6 @@ export function isValid(addr) {
     // TODO: validate Byron format
     return false;
 }
-export class IsMainnet extends Context.Tag("IS_MAINNET")() {
-}
 export const Address = Schema.String.pipe(Schema.filter((addr) => {
     return isValid(addr) || "Invalid Cardano Address";
 }), Schema.brand("Address"));
@@ -25,13 +24,17 @@ export const FromUplcData = Schema.transformOrFail(Data.EnumVariant(0, {
     strict: true,
     decode: (data) => Effect.gen(function* () {
         const isMainnet = yield* IsMainnet;
-        return make(isMainnet, data.spendingCredential, data.stakingCredential._tag == "Some" ? data.stakingCredential.value : undefined);
+        return make(isMainnet, data.spendingCredential, data.stakingCredential._tag == "Some"
+            ? data.stakingCredential.value
+            : undefined);
     }),
     encode: (address) => {
         const { spendingCredential, stakingCredential } = Effect.runSync(decodeInternal(address));
         return ParseResult.succeed({
             spendingCredential,
-            stakingCredential: stakingCredential ? Option.some(stakingCredential) : Option.none()
+            stakingCredential: stakingCredential
+                ? Option.some(stakingCredential)
+                : Option.none()
         });
     }
 });
@@ -82,7 +85,9 @@ const decodeInternal = (bytes) => Effect.gen(function* () {
     if (typeof bytes == "string" && bytes.startsWith("addr")) {
         bytes = (yield* Bech32.decode(bytes)).bytes;
     }
-    const innerBytes = Cbor.isBytes(bytes) ? yield* Cbor.decodeBytes(bytes) : Bytes.toArray(bytes);
+    const innerBytes = (yield* Cbor.isBytes(bytes))
+        ? yield* Cbor.decodeBytes(bytes)
+        : Bytes.toArray(bytes);
     const head = innerBytes[0];
     const isMainnet = (head & 0b00001111) != 0;
     const type = head & 0b11110000;
@@ -128,13 +133,10 @@ const decodeInternal = (bytes) => Effect.gen(function* () {
                 spendingCredential: Credential.makeValidator(yield* ValidatorHash.make(firstPart()))
             };
         default:
-            return yield* Effect.fail(new Error(`invalid Shelley Address header ${head}`));
+            return yield* Effect.fail(new Cbor.DecodeError(Bytes.makeStream(bytes), `invalid Shelley Address header ${head}`));
     }
 });
-export const decode = (bytes) => Effect.gen(function* () {
-    const { isMainnet, spendingCredential, stakingCredential } = yield* decodeInternal(bytes);
-    return make(isMainnet, spendingCredential, stakingCredential);
-});
+export const decode = (bytes) => decodeInternal(bytes).pipe(Effect.map(({ isMainnet, spendingCredential, stakingCredential }) => make(isMainnet, spendingCredential, stakingCredential)), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)), Effect.catchTag("DecodeException", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), `bech32 decoding failed (${e.message})`)));
 export function encode(address) {
     return Cbor.encodeBytes(bytes(address));
 }

package/dist/Ledger/Address.js.map

@@ -1 +1 @@
-{"version":3,"file":"Address.js","sourceRoot":"","sources":["../../src/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACrE,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA,CAAC,wBAAwB;IACtD,CAAC;IACD,8BAA8B;IAE9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CACtC,YAAY,CACf,EAAsB;CAAG;AAE1B,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACvC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE;IAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAA;AACnD,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAChD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,kBAAkB,EAAE,UAAU,CAAC,YAAY;IAC3C,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC;CACxD,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;QAElC,OAAO,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,kBAAkB,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;IACnI,CAAC,CAAC;IACF,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;QAClB,MAAM,EAAC,kBAAkB,EAAE,iBAAiB,EAAC,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAA;QAEvF,OAAO,WAAW,CAAC,OAAO,CAAC;YACzB,kBAAkB;YAClB,iBAAiB,EAAE,iBAAiB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;SACtF,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAAC,SAAkB,EAAE,kBAAyC,EAAE,iBAAyC;IAC3H,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;IAC/C,MAAM,KAAK,GAAa,cAAc,CAAC,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,CAAC,CAAA;IAExF,MAAM,CAAC,GAAW,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAE9C,OAAO,CAAY,CAAA;AACrB,CAAC;AAED,gDAAgD;AAChD,SAAS,cAAc,CAAC,SAAkB,EAAE,kBAAyC,EAAE,iBAAyC;IAC9H,MAAM,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAEhE,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;QAE9D,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACxC,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;IAEH,CAAC;SAAM,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACrE,IAAI,OAAO,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;IAC7C,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAE9F,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IAE1B,MAAM,SAAS,GAAG,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,UAAU,CAAA;IAE9B,MAAM,SAAS,GAAG,GAAG,EAAE;QACnB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAClC,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,GAAG,EAAE;QACpB,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACnC,CAAC,CAAA;IAED,QAAQ,IAAI,EAAE,CAAC;QACX,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC9E,iBAAiB,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;aAC/E,CAAA;QACH,KAAK,IAAI;YACL,OAAO;gBACH,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBACpF,iBAAiB,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;aACjF,CAAA;QACL,KAAK,IAAI;YACL,OAAO;gBACH,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBAC9E,iBAAiB,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;aACvF,CAAA;QACL,KAAK,IAAI;YACL,OAAO;gBACH,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;gBACpF,iBAAiB,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;aACvF,CAAA;QACL,KAAK,IAAI;YACL,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;aAC/E,CAAA;QACL,KAAK,IAAI;YACL,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;aACrF,CAAA;QACL;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,kCAAkC,IAAI,EAAE,CAAC,CAAC,CAAA;IACpF,CAAC;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACpE,MAAM,EAAC,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,EAAC,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAEvF,OAAO,IAAI,CACP,SAAS,EACT,kBAAkB,EAClB,iBAAiB,CACpB,CAAA;AACH,CAAC,CAAC,CAAA;AAEF,MAAM,UAAU,MAAM,CAAC,OAAgB;IACrC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAgB;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACrD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAgB;IACxC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAgB;IAChD,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAA;AAClE,CAAC"}
+{"version":3,"file":"Address.js","sourceRoot":"","sources":["../../src/Ledger/Address.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC5D,OAAO,KAAK,MAAM,MAAM,cAAc,CAAA;AACtC,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9D,OAAO,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA,CAAC,wBAAwB;IACtD,CAAC;IACD,8BAA8B;IAE9B,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACvC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAY,EAAE,EAAE;IAC7B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,yBAAyB,CAAA;AACnD,CAAC,CAAC,EACF,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,CAChD,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,kBAAkB,EAAE,UAAU,CAAC,YAAY;IAC3C,iBAAiB,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,YAAY,CAAC;CACxD,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CACf,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,SAAS,CAAA;QAElC,OAAO,IAAI,CACT,SAAS,EACT,IAAI,CAAC,kBAAkB,EACvB,IAAI,CAAC,iBAAiB,CAAC,IAAI,IAAI,MAAM;YACnC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK;YAC9B,CAAC,CAAC,SAAS,CACd,CAAA;IACH,CAAC,CAAC;IACJ,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;QAClB,MAAM,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,GAAG,MAAM,CAAC,OAAO,CAC9D,cAAc,CAAC,OAAO,CAAC,CACxB,CAAA;QAED,OAAO,WAAW,CAAC,OAAO,CAAC;YACzB,kBAAkB;YAClB,iBAAiB,EAAE,iBAAiB;gBAClC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC;gBAChC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;SAClB,CAAC,CAAA;IACJ,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,IAAI,CAClB,SAAkB,EAClB,kBAAyC,EACzC,iBAAyC;IAEzC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAA;IAC/C,MAAM,KAAK,GAAa,cAAc,CACpC,SAAS,EACT,kBAAkB,EAClB,iBAAiB,CAClB,CAAA;IAED,MAAM,CAAC,GAAW,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAE9C,OAAO,CAAY,CAAA;AACrB,CAAC;AAED,gDAAgD;AAChD,SAAS,cAAc,CACrB,SAAkB,EAClB,kBAAyC,EACzC,iBAAyC;IAEzC,MAAM,iBAAiB,GAAG,KAAK,CAAC,OAAO,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAA;IAEhE,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAA;QAE9D,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;YACxC,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,iBAAiB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;gBACvC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;qBAC7B,MAAM,CAAC,iBAAiB,CAAC;qBACzB,MAAM,CAAC,gBAAgB,CAAC,CAAA;YAC7B,CAAC;QACH,CAAC;IACH,CAAC;SAAM,IAAI,kBAAkB,CAAC,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC/C,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,cAAc,GAAG,CAAC,KAAsB,EAAE,EAAE,CAChD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,IAAI,OAAO,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,KAAK,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAA;IAC7C,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;QAChC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IAExB,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAA;IAE1B,MAAM,SAAS,GAAG,CAAC,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;IAE1C,MAAM,IAAI,GAAG,IAAI,GAAG,UAAU,CAAA;IAE9B,MAAM,SAAS,GAAG,GAAG,EAAE;QACrB,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAChC,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,GAAG,EAAE;QACtB,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACjC,CAAC,CAAA;IAED,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;gBACD,iBAAiB,EAAE,UAAU,CAAC,UAAU,CACtC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACrC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;gBACD,iBAAiB,EAAE,UAAU,CAAC,UAAU,CACtC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACrC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;gBACD,iBAAiB,EAAE,UAAU,CAAC,aAAa,CACzC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACxC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;gBACD,iBAAiB,EAAE,UAAU,CAAC,aAAa,CACzC,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,CACxC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,UAAU,CACvC,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACpC;aACF,CAAA;QACH,KAAK,IAAI;YACP,OAAO;gBACL,SAAS;gBACT,kBAAkB,EAAE,UAAU,CAAC,aAAa,CAC1C,KAAK,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC,CACvC;aACF,CAAA;QACH;YACE,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,kCAAkC,IAAI,EAAE,CACzC,CACF,CAAA;IACL,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,cAAc,CAAC,KAAK,CAAC,CAAC,IAAI,CACxB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAClE,IAAI,CAAC,SAAS,EAAE,kBAAkB,EAAE,iBAAiB,CAAC,CACvD,EACD,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,EACD,MAAM,CAAC,QAAQ,CACb,iBAAiB,EACjB,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,IAAI,CAAC,WAAW,CAClB,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvB,2BAA2B,CAAC,CAAC,OAAO,GAAG,CACxC,CACJ,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,OAAgB;IACrC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,OAAgB;IACpC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAA;AACrD,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAgB;IACxC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAA;AACzC,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,OAAgB;IACjD,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAA;AACnE,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,OAAgB;IAEhB,OAAO,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAA;AAClE,CAAC"}

package/dist/Ledger/AssetClass.js

@@ -0,0 +1,69 @@
+import { Encoding, Option, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import { Data } from "../Uplc";
+import * as MintingPolicy from "./MintingPolicy.js";
+export function isValid(assetClass) {
+    const n = assetClass.length;
+    return (/^[0-9a-fA-F]+$/.test(assetClass) &&
+        n < 120 &&
+        (n == 0 || (n >= 56 && n % 2 == 0)));
+}
+export const AssetClass = Schema.transform(Schema.String, Schema.String.pipe(Schema.filter((ac) => isValid(ac) || "Invalid Cardano AssetClass"), Schema.brand("AssetClass")), {
+    strict: false,
+    decode: (s) => s.split(".").join(""),
+    encode: (s) => s
+});
+export const ADA = "";
+export function make(policy, tokenName) {
+    if (policy._tag == "None") {
+        return ADA;
+    }
+    else {
+        return policy.value + Encoding.encodeHex(Bytes.toUint8Array(tokenName));
+    }
+}
+export const FromUplcData = Schema.transform(Data.EnumVariant(0, {
+    policy: MintingPolicy.FromUplcData,
+    tokenName: Data.ByteArray
+}), AssetClass, {
+    strict: true,
+    decode: ({ policy, tokenName }) => {
+        if (policy._tag == "None") {
+            return ADA;
+        }
+        else {
+            return policy.value + Encoding.encodeHex(tokenName);
+        }
+    },
+    encode: (assetClass) => {
+        return {
+            policy: policy(assetClass),
+            tokenName: Bytes.toUint8Array(tokenName(assetClass))
+        };
+    }
+});
+export function pretty(assetClass) {
+    if (assetClass.length == 0) {
+        return ".";
+    }
+    else {
+        return assetClass.slice(0, 56) + "." + assetClass.slice(56);
+    }
+}
+export function policy(assetClass) {
+    if (assetClass.length == 0) {
+        return Option.none();
+    }
+    else {
+        return Option.some(assetClass.slice(0, 56));
+    }
+}
+export function tokenName(assetClass) {
+    if (assetClass.length == 0) {
+        return "";
+    }
+    else {
+        return assetClass.slice(56);
+    }
+}
+//# sourceMappingURL=AssetClass.js.map

package/dist/Ledger/AssetClass.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssetClass.js","sourceRoot":"","sources":["../../src/Ledger/AssetClass.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAGnD,MAAM,UAAU,OAAO,CAAC,UAAkB;IACxC,MAAM,CAAC,GAAG,UAAU,CAAC,MAAM,CAAA;IAC3B,OAAO,CACL,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,CAAC,GAAG,GAAG;QACP,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CACpC,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CACxC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,4BAA4B,CAAC,EAC1E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,EACD;IACE,MAAM,EAAE,KAAK;IACb,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACpC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACjB,CACF,CAAA;AAID,MAAM,CAAC,MAAM,GAAG,GAAG,EAAgB,CAAA;AAEnC,MAAM,UAAU,IAAI,CAClB,MAAmC,EACnC,SAA0B;IAE1B,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAA;IACzE,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,aAAa,CAAC,YAAY;IAClC,SAAS,EAAE,IAAI,CAAC,SAAS;CAC1B,CAAC,EACF,UAAU,EACV;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE;QAChC,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAA;QACZ,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QACrD,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,UAAU,EAAE,EAAE;QACrB,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC;YAC1B,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;SACrD,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,UAAU,MAAM,CAAC,UAAkB;IACvC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAA;IACZ,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7D,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,UAAkB;IACvC,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;IACtB,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAgC,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,UAAkB;IAC1C,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,CAAA;IACX,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;AACH,CAAC"}

package/dist/Ledger/Assets.js

@@ -0,0 +1,120 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../Cbor.js";
+import { Data } from "../Uplc";
+import * as AssetClass from "./AssetClass.js";
+import * as MintingPolicy from "./MintingPolicy.js";
+export const Assets = Schema.Record({
+    key: Schema.String, // can sadly not use AssetClass.AssetClass here
+    value: Schema.BigIntFromSelf
+}).pipe(Schema.filter((assets) => {
+    for (const key in assets) {
+        if (!AssetClass.isValid(key)) {
+            return `Invalid AssetClass ${key}`;
+        }
+    }
+    return true;
+}));
+export const FromUplcData = Schema.transform(Data.PairArray(MintingPolicy.FromUplcData, Data.PairArray(Data.Hex, Data.BigInt)), Assets, {
+    strict: true,
+    decode: (outer) => {
+        const assets = {};
+        for (const [policy, inner] of outer) {
+            for (const [tokenName, quantity] of inner) {
+                assets[AssetClass.make(policy, tokenName)] = quantity;
+            }
+        }
+        return assets;
+    },
+    encode: (assets) => {
+        const outer = nestedRecords(assets);
+        return Object.entries(outer).map(([policy, inner]) => [
+            Effect.runSync(MintingPolicy.make(policy)),
+            Object.entries(inner)
+        ]);
+    }
+});
+function nestedRecords(assets) {
+    const outer = {};
+    Object.entries(assets).forEach(([assetClass, quantity]) => {
+        if (assetClass.length == 0) {
+            outer[assetClass] = { "": quantity };
+        }
+        else {
+            const policy = assetClass.slice(0, 56);
+            const tokenName = assetClass.slice(56);
+            if (policy in outer) {
+                outer[policy] = {
+                    ...outer[policy],
+                    [tokenName]: quantity
+                };
+            }
+            else {
+                outer[policy] = {
+                    [tokenName]: quantity
+                };
+            }
+        }
+    });
+    return outer;
+}
+export const decode = (bytes) => Effect.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if (yield* Cbor.isTuple(bytes)) {
+        const [lovelace, otherAssets] = yield* Cbor.decodeTuple([
+            Cbor.decodeInt,
+            Cbor.decodeMap(MintingPolicy.decode, Cbor.decodeMap(Cbor.decodeBytes, Cbor.decodeInt))
+        ])(stream);
+        const assets = {};
+        if (lovelace != 0n) {
+            assets[AssetClass.ADA] = lovelace;
+        }
+        for (const [policy, inner] of otherAssets) {
+            if (policy._tag == "None") {
+                return yield* new Cbor.DecodeError(stream, "unexpected ADA assetclass in encoded non-ADA assets");
+            }
+            for (const [tokenName, quantity] of inner) {
+                const assetClass = AssetClass.make(policy, tokenName);
+                assets[assetClass] = quantity;
+            }
+        }
+        return assets;
+    }
+    else {
+        return { [AssetClass.ADA]: yield* Cbor.decodeInt(stream) };
+    }
+});
+export function encode(assets) {
+    const acs = nonAdaAssetClasses(assets);
+    if (acs.length == 0) {
+        return Cbor.encodeInt(lovelace(assets));
+    }
+    else {
+        const obj = nestedRecords(assets);
+        if (AssetClass.ADA in obj) {
+            delete obj[AssetClass.ADA];
+        }
+        return Cbor.encodeTuple([
+            Cbor.encodeInt(lovelace(assets)),
+            Cbor.encodeMap(Object.entries(obj).map(([mph, tokens]) => {
+                return [
+                    Cbor.encodeBytes(mph),
+                    Cbor.encodeMap(Object.entries(tokens).map(([tokenName, qty]) => [
+                        Cbor.encodeBytes(tokenName),
+                        Cbor.encodeInt(qty)
+                    ]))
+                ];
+            }))
+        ]);
+    }
+}
+export function allAssetClasses(assets) {
+    return Object.keys(assets);
+}
+export function nonAdaAssetClasses(assets) {
+    return allAssetClasses(assets).filter((ac) => ac != AssetClass.ADA);
+}
+export function lovelace(assets) {
+    return assets[AssetClass.ADA] ?? 0n;
+}
+//# sourceMappingURL=Assets.js.map

package/dist/Ledger/Assets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Assets.js","sourceRoot":"","sources":["../../src/Ledger/Assets.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,+CAA+C;IACnE,KAAK,EAAE,MAAM,CAAC,cAAc;CAC7B,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;IACvB,KAAK,MAAM,GAAG,IAAI,MAAM,EAAE,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,sBAAsB,GAAG,EAAE,CAAA;QACpC,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAA;AACb,CAAC,CAAC,CACH,CAAA;AAID,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,YAAY,EAC1B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CACtC,EACD,MAAM,EACN;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;QAChB,MAAM,MAAM,GAA2B,EAAE,CAAA;QAEzC,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAA;YACvD,CAAC;QACH,CAAC;QAED,OAAO,MAAgB,CAAA;IACzB,CAAC;IACD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;QAEnC,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAC9B,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,CAClB;YACE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;SACb,CACb,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,SAAS,aAAa,CAAC,MAAc;IACnC,MAAM,KAAK,GAA2C,EAAE,CAAA;IAExD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,EAAE;QACxD,IAAI,UAAU,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAA;QACtC,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YACtC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAEtC,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACpB,KAAK,CAAC,MAAM,CAAC,GAAG;oBACd,GAAG,KAAK,CAAC,MAAM,CAAC;oBAChB,CAAC,SAAS,CAAC,EAAE,QAAQ;iBACtB,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,MAAM,CAAC,GAAG;oBACd,CAAC,SAAS,CAAC,EAAE,QAAQ;iBACtB,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,KAAK,CAAA;AACd,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA6B,EAAE,CAC1E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;YACtD,IAAI,CAAC,SAAS;YACd,IAAI,CAAC,SAAS,CACZ,aAAa,CAAC,MAAM,EACpB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,CACjD;SACF,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,MAAM,MAAM,GAA2B,EAAE,CAAA;QAEzC,IAAI,QAAQ,IAAI,EAAE,EAAE,CAAC;YACnB,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAA;QACnC,CAAC;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,WAAW,EAAE,CAAC;YAC1C,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAChC,MAAM,EACN,qDAAqD,CACtD,CAAA;YACH,CAAC;YAED,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC;gBAC1C,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;gBAErD,MAAM,CAAC,UAAU,CAAC,GAAG,QAAQ,CAAA;YAC/B,CAAC;QACH,CAAC;QAED,OAAO,MAAgB,CAAA;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAA;IAC5D,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IAEtC,IAAI,GAAG,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;IACzC,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;QACjC,IAAI,UAAU,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC;YAC1B,OAAO,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;QAC5B,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAChC,IAAI,CAAC,SAAS,CACZ,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE;gBACxC,OAAO;oBACL,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;oBACrB,IAAI,CAAC,SAAS,CACZ,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;wBAC/C,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;wBAC3B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;qBACpB,CAAC,CACH;iBACF,CAAA;YACH,CAAC,CAAC,CACH;SACF,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAA4B,CAAA;AACvD,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAc;IAC/C,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,GAAG,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,OAAO,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,CAAA;AACrC,CAAC"}

package/dist/Ledger/Credential.js

@@ -1,7 +1,7 @@
 import { Schema } from "effect";
+import { Data } from "../Uplc";
 import { PubKeyHash } from "./PubKeyHash.js";
 import { ValidatorHash } from "./ValidatorHash.js";
-import { Data } from "../Uplc/index.js";
 export const Credential = Schema.Union(Schema.TaggedStruct("PubKey", { hash: PubKeyHash }), Schema.TaggedStruct("Validator", { hash: ValidatorHash }));
 export function makePubKey(pkh) {
     return { _tag: "PubKey", hash: pkh };

package/dist/Ledger/Credential.js.map

@@ -1 +1 @@
-{"version":3,"file":"Credential.js","sourceRoot":"","sources":["../../src/Ledger/Credential.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAClD,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAEvC,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAClC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAC,IAAI,EAAE,UAAU,EAAC,CAAC,EACjD,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAC,IAAI,EAAE,aAAa,EAAC,CAAC,CAC1D,CAAA;AAID,MAAM,UAAU,UAAU,CAAC,GAAe;IACtC,OAAO,EAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAC,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAiB;IAC3C,OAAO,EAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAC,CAAA;AACxC,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CACxC,IAAI,CAAC,IAAI,CAAC,EAAC,MAAM,EAAE,EAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAC,EAAE,SAAS,EAAE,EAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAC,EAAC,CAAC,EAClE,UAAU,EACV;IACI,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;IACtB,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;CACzB,CACJ,CAAA"}
+{"version":3,"file":"Credential.js","sourceRoot":"","sources":["../../src/Ledger/Credential.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAA;AAElD,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CACpC,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,EACnD,MAAM,CAAC,YAAY,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAC1D,CAAA;AAID,MAAM,UAAU,UAAU,CAAC,GAAe;IACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAA;AACtC,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAiB;IAC7C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;AACxC,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,EACxE,UAAU,EACV;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;IACtB,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;CACvB,CACF,CAAA"}

package/dist/Ledger/DatumHash.js

@@ -0,0 +1,21 @@
+import { Effect, Encoding, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import { decodeBytes, encodeBytes } from "../Cbor.js";
+import { Data } from "../Uplc";
+export function isValid(dh) {
+    return /^[0-9a-fA-F]+$/.test(dh) && dh.length == 64;
+}
+export const DatumHash = Schema.String.pipe(Schema.filter((dh) => isValid(dh) || "Invalid Cardano DatumHash"), Schema.brand("DatumHash"));
+export function make(bytes) {
+    return Schema.decode(DatumHash)(Bytes.toHex(bytes));
+}
+export const FromUplcData = Schema.transform(Data.ByteArray, DatumHash, {
+    strict: true,
+    decode: Encoding.encodeHex,
+    encode: Bytes.toUint8Array
+});
+export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map((bytes) => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(DatumHash)));
+export function encode(dh) {
+    return encodeBytes(dh);
+}
+//# sourceMappingURL=DatumHash.js.map

package/dist/Ledger/DatumHash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatumHash.js","sourceRoot":"","sources":["../../src/Ledger/DatumHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,EAAU;IAChC,OAAO,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,MAAM,IAAI,EAAE,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACzC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,2BAA2B,CAAC,EACzE,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAC1B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE;IACtE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,KAAK,CAAC,YAAY;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CACzC,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAa;IAClC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC"}

package/dist/Ledger/IsMainnet.js

@@ -0,0 +1,4 @@
+import { Context } from "effect";
+export class IsMainnet extends Context.Tag("IS_MAINNET")() {
+}
+//# sourceMappingURL=IsMainnet.js.map

package/dist/Ledger/IsMainnet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IsMainnet.js","sourceRoot":"","sources":["../../src/Ledger/IsMainnet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,EAGrD;CAAG"}

package/dist/Ledger/MintingPolicy.js

@@ -0,0 +1,45 @@
+import { Effect, Encoding, Option, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../Cbor.js";
+import { Data } from "../Uplc";
+import * as ValidatorHash from "./ValidatorHash.js";
+// None is used for ADA
+export const MintingPolicy = Schema.Option(ValidatorHash.ValidatorHash);
+export const FromUplcData = Schema.transform(Data.ByteArray, MintingPolicy, {
+    strict: true,
+    decode: (bs) => {
+        if (bs.length == 0) {
+            return Option.none();
+        }
+        else {
+            return Option.some(Encoding.encodeHex(bs));
+        }
+    },
+    encode: (opt) => {
+        if (opt._tag == "None") {
+            return new Uint8Array();
+        }
+        else {
+            return Effect.runSync(Encoding.decodeHex(opt.value));
+        }
+    }
+});
+export function make(policy) {
+    const p = Bytes.toHex(policy);
+    if (p.length == 0) {
+        return Effect.succeed(Option.none());
+    }
+    else {
+        return ValidatorHash.make(p).pipe(Effect.map(Option.some));
+    }
+}
+export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Effect.flatMap(make), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)));
+export function encode(policy) {
+    if (policy._tag == "None") {
+        return Cbor.encodeBytes([]);
+    }
+    else {
+        return Cbor.encodeBytes(policy.value);
+    }
+}
+//# sourceMappingURL=MintingPolicy.js.map

package/dist/Ledger/MintingPolicy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MintingPolicy.js","sourceRoot":"","sources":["../../src/Ledger/MintingPolicy.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACzD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,uBAAuB;AACvB,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,CAAC,CAAA;AAIvE,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE;QACb,IAAI,EAAE,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,IAAI,EAAE,CAAA;QACtB,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAA;QAC5C,CAAC;IACH,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,IAAI,GAAG,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACvB,OAAO,IAAI,UAAU,EAAE,CAAA;QACzB,CAAC;aAAM,CAAC;YACN,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;CACF,CAAC,CAAA;AAEF,MAAM,UAAU,IAAI,CAAC,MAAuB;IAC1C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAE7B,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAA;IACtC,CAAC;SAAM,CAAC;QACN,OAAO,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5D,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,KAAsB,EACY,EAAE,CACpC,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,MAAqB;IAC1C,IAAI,MAAM,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACvC,CAAC;AACH,CAAC"}

package/dist/Ledger/PubKeyHash.js

@@ -1,7 +1,7 @@
 import { Effect, Encoding, Schema } from "effect";
 import * as Bytes from "../internal/Bytes.js";
 import { decodeBytes, encodeBytes } from "../Cbor.js";
-import { Data } from "../Uplc/index.js";
+import { Data } from "../Uplc";
 export function isValid(pkh) {
     return /^[0-9a-fA-F]+$/.test(pkh) && pkh.length == 56;
 }
@@ -14,7 +14,7 @@ export const FromUplcData = Schema.transform(Data.ByteArray, PubKeyHash, {
     decode: Encoding.encodeHex,
     encode: (s) => Effect.runSync(Encoding.decodeHex(s))
 });
-export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map(bytes => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(PubKeyHash)));
+export const decode = (bytes) => decodeBytes(bytes).pipe(Effect.map((bytes) => new Uint8Array(bytes)), Effect.map(Encoding.encodeHex), Effect.map(Schema.decodeSync(PubKeyHash)));
 export function encode(pkh) {
     return encodeBytes(pkh);
 }

package/dist/Ledger/PubKeyHash.js.map

@@ -1 +1 @@
-{"version":3,"file":"PubKeyHash.js","sourceRoot":"","sources":["../../src/Ledger/PubKeyHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAA;AAGvC,MAAM,UAAU,OAAO,CAAC,GAAW;IAC/B,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACxC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,4BAA4B,CAAC,EAC5E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC7B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACxD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CACxC,IAAI,CAAC,SAAS,EACd,UAAU,EACV;IACI,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACvD,CACJ,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACvE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACnB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAC5C,CAAA;AAEL,MAAM,UAAU,MAAM,CAAC,GAAe;IAClC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAA;AAC3B,CAAC"}
+{"version":3,"file":"PubKeyHash.js","sourceRoot":"","sources":["../../src/Ledger/PubKeyHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,YAAY,CAAA;AACnE,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,OAAO,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,IAAI,EAAE,CAAA;AACvD,CAAC;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC1C,MAAM,CAAC,MAAM,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,4BAA4B,CAAC,EAC5E,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAC3B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AACtD,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,EAAE;IACvE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,QAAQ,CAAC,SAAS;IAC1B,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;CACrD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA4B,EAAE,CACzE,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAC9B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAC1C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAe;IACpC,OAAO,WAAW,CAAC,GAAG,CAAC,CAAA;AACzB,CAAC"}

package/dist/Ledger/TxId.js

@@ -0,0 +1,15 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../Cbor.js";
+export function isValid(txId) {
+    return txId.length == 64 && /^[0-9a-fA-F]+$/.test(txId);
+}
+export const TxId = Schema.String.pipe(Schema.filter((id) => isValid(id) || "Invalid Cardano TxId"), Schema.brand("TxId"));
+export function make(txId) {
+    return Schema.decode(TxId)(Bytes.toHex(txId));
+}
+export const decode = (bytes) => Cbor.decodeBytes(bytes).pipe(Effect.flatMap(make), Effect.catchTag("ParseError", (e) => new Cbor.DecodeError(Bytes.makeStream(bytes), e.message)));
+export function encode(txId) {
+    return Cbor.encodeBytes(txId);
+}
+//# sourceMappingURL=TxId.js.map

package/dist/Ledger/TxId.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TxId.js","sourceRoot":"","sources":["../../src/Ledger/TxId.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAElC,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzD,CAAC;AAED,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACpC,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,sBAAsB,CAAC,EACpE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CACrB,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,IAAqB;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA2B,EAAE,CACxE,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAC1B,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EACpB,MAAM,CAAC,QAAQ,CACb,YAAY,EACZ,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAChE,CACF,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;AAC/B,CAAC"}

package/dist/Ledger/TxInput.js

@@ -0,0 +1,51 @@
+import { Effect, Schema } from "effect";
+import * as Bytes from "../internal/Bytes.js";
+import * as Cbor from "../Cbor.js";
+import * as TxOutput from "./TxOutput.js";
+import * as TxOutputId from "./TxOutputId.js";
+export const TxInput = Schema.TaggedStruct("TxInput", {
+    id: TxOutputId.TxOutputId,
+    output: Schema.optional(TxOutput.TxOutput)
+});
+export function make(id, output = undefined) {
+    return {
+        _tag: "TxInput",
+        id,
+        output
+    };
+}
+export const decode = (bytes) => Effect.gen(function* () {
+    const stream = Bytes.makeStream(bytes);
+    if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))(Cbor.isBytes)) {
+        const id = yield* TxOutputId.decode(stream);
+        return make(id);
+    }
+    else if (yield* (yield* Cbor.decodeTupleLazy(stream.copy()))(Cbor.isTuple)) {
+        const [id, output] = yield* Cbor.decodeTuple([
+            TxOutputId.decode,
+            TxOutput.decode
+        ])(stream);
+        return make(id, output);
+    }
+    else {
+        return yield* Effect.fail(new Cbor.DecodeError(stream, "unhandled TxInput encoding"));
+    }
+});
+export function encode(txInput, full = false) {
+    if (full) {
+        return Cbor.encodeTuple([
+            TxOutputId.encode(txInput.id),
+            TxOutput.encode(output(txInput))
+        ]);
+    }
+    else {
+        return TxOutputId.encode(txInput.id);
+    }
+}
+export function output(txInput) {
+    if (!txInput.output) {
+        throw new Error("txInput.output not available");
+    }
+    return txInput.output;
+}
+//# sourceMappingURL=TxInput.js.map

package/dist/Ledger/TxInput.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TxInput.js","sourceRoot":"","sources":["../../src/Ledger/TxInput.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACvC,OAAO,KAAK,KAAK,MAAM,sBAAsB,CAAA;AAC7C,OAAO,KAAK,IAAI,MAAM,YAAY,CAAA;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,SAAS,EAAE;IACpD,EAAE,EAAE,UAAU,CAAC,UAAU;IACzB,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;CAC3C,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAClB,EAAyB,EACzB,SAAwC,SAAS;IAEjD,OAAO;QACL,IAAI,EAAE,SAAS;QACf,EAAE;QACF,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IAEtC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QACtE,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAE3C,OAAO,IAAI,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC;SAAM,IACL,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EACjE,CAAC;QACD,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;YAC3C,UAAU,CAAC,MAAM;YACjB,QAAQ,CAAC,MAAM;SAChB,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,OAAO,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAA;IACzB,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,4BAA4B,CAAC,CAC3D,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,OAAgB,KAAK;IAC5D,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;SACjC,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACtC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,OAAgB;IACrC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACjD,CAAC;IAED,OAAO,OAAO,CAAC,MAAM,CAAA;AACvB,CAAC"}