@helios-lang/effect 0.2.0 → 0.4.31

package/dist/Cardano/Ledger/UTxORef.js.map

@@ -1 +1 @@
-{"version":3,"file":"UTxORef.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxORef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAEvC,OAAO,KAAK,IAAI,MAAM,sBAAsB,CAAA;AAC5C,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AAErC,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAErC,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CACrC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,yBAAyB,CAAC,EACvE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,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,UAAU,IAAI,CAAC,MAAqB,EAAE,KAAsB;IAChE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAY,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,YAAY;IAC3B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAC5C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CACrD,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;KAC3B,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAkB,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,GAAY;IAChC,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAU,EAAE,CAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAE9C,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,CAAA;IACV,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAC5B,CAAC"}
+{"version":3,"file":"UTxORef.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/UTxORef.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,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,MAAM,MAAM,aAAa,CAAA;AAErC,MAAM,UAAU,OAAO,CAAC,GAAW;IACjC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;QACpB,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAC/B,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;IAErC,IAAI,KAAK,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,OAAO,KAAK,CAAA;IACd,CAAC;IAED,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AACtC,CAAC;AAED,MAAM,CAAC,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CACrC,MAAM,CAAC,MAAM,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,CAChB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,yBAAyB,CAAC,EACvE,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CACxB,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,UAAU,IAAI,CAAC,MAAqB,EAAE,KAAsB;IAChE,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAY,CAAA;AAC/C,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAC1C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,YAAY;IAC3B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,SAAS,CAC5C,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE;IAClB,MAAM,EAAE,MAAM,CAAC,cAAc;IAC7B,KAAK,EAAE,IAAI,CAAC,GAAG;CAChB,CAAC,EACF,OAAO,EACP;IACE,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE;QACnC,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;IACD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE;QACd,OAAO;YACL,MAAM,EAAE,MAAM,CAAC,GAAc,CAAC;YAC9B,KAAK,EAAE,KAAK,CAAC,GAAc,CAAC;SAC7B,CAAA;IACH,CAAC;CACF,CACF,CAAA;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA8B,EAAE,CAC3E,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CACrD,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,IAAI,CAAC,WAAW,CAAC;QACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;KAC3B,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAA;AAClD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,GAAY;IACjC,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAkB,CAAA;AAC1C,CAAC;AAED,MAAM,UAAU,KAAK,CAAC,GAAY;IAChC,OAAO,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAA;AAChC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAU,EAAE,CAAU;IAC5C,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IAE9C,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,CAAA;IACV,CAAC;IAED,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAC5B,CAAC"}

package/dist/Cardano/Ledger/ValidatorHash.js

@@ -1,7 +1,7 @@
 import { Either, Encoding, Schema } from "effect";
 import * as Bytes from "../../Codecs/Bytes.js";
 import { decodeBytes, encodeBytes } from "../../Codecs/Cbor.js";
-import { Data } from "../Uplc";
+import * as Data from "../Uplc/Data.js";
 export function isValid(vh) {
     return /^[0-9a-fA-F]+$/.test(vh) && vh.length == 56;
 }

package/dist/Cardano/Ledger/ValidatorHash.js.map

@@ -1 +1 @@
-{"version":3,"file":"ValidatorHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/ValidatorHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EAAE,WAAW,EAAgB,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAC7E,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,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,+BAA+B,CAAC,EAC7E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,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,EAA+B,EAAE,CAC5E,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,aAAa,CAAC,CAAC,CAC7C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAiB;IACtC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC"}
+{"version":3,"file":"ValidatorHash.js","sourceRoot":"","sources":["../../../src/Cardano/Ledger/ValidatorHash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,uBAAuB,CAAA;AAC9C,OAAO,EACL,WAAW,EAEX,WAAW,EACZ,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,IAAI,MAAM,iBAAiB,CAAA;AAEvC,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,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,+BAA+B,CAAC,EAC7E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,CAC9B,CAAA;AAID,MAAM,UAAU,IAAI,CAAC,KAAsB;IACzC,OAAO,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,CAAC,MAAM,YAAY,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,EAAE;IAC1E,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,EAA+B,EAAE,CAC5E,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,aAAa,CAAC,CAAC,CAC7C,CAAA;AAEH,MAAM,UAAU,MAAM,CAAC,EAAiB;IACtC,OAAO,WAAW,CAAC,EAAE,CAAC,CAAA;AACxB,CAAC"}

package/dist/Cardano/Ledger/index.js

@@ -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/dist/Cardano/Ledger/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","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.js","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/dist/Cardano/Network/AssetMetadata.js

@@ -0,0 +1,11 @@
+import { Context, Effect, Schema } from "effect";
+export const AssetMetadata = Schema.Struct({
+    name: Schema.String,
+    decimals: Schema.Int,
+    ticker: Schema.String,
+    description: Schema.String,
+    logo: Schema.optional(Schema.String)
+});
+export class Fetch extends Context.Tag("Cardano.Network.AssetMetadata.Fetch")() {
+}
+//# sourceMappingURL=AssetMetadata.js.map

package/dist/Cardano/Network/AssetMetadata.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AssetMetadata.js","sourceRoot":"","sources":["../../../src/Cardano/Network/AssetMetadata.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGhD,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,MAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,MAAM,CAAC,GAAG;IACpB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,WAAW,EAAE,MAAM,CAAC,MAAM;IAC1B,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;CACrC,CAAC,CAAA;AAIF,MAAM,OAAO,KAAM,SAAQ,OAAO,CAAC,GAAG,CAAC,qCAAqC,CAAC,EAG1E;CAAG"}

package/dist/Cardano/Network/IsMainnet.js

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

package/dist/Cardano/Network/IsMainnet.js.map

@@ -1 +1 @@
-{"version":3,"file":"IsMainnet.js","sourceRoot":"","sources":["../../../src/Cardano/Network/IsMainnet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAG3D;CAAG"}
+{"version":3,"file":"IsMainnet.js","sourceRoot":"","sources":["../../../src/Cardano/Network/IsMainnet.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAA;AAEhC,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAGpE;CAAG"}

package/dist/Cardano/Network/Params.js

@@ -37,30 +37,134 @@ export const Params = Schema.Struct({
     costModelParamsV3: Schema.Array(Schema.Number),
     collateralUTXO: Schema.optional(UTxORef.UTxORef)
 });
-export class params extends Context.Tag("Network.Params.params")() {
+export class params extends Context.Tag("Cardano.Network.Params.params")() {
 }
 /**
  * Calculates the time (in milliseconds in 01/01/1970) associated with a given slot number.
+ *
+ * The guards throwing defects help during debugging
  */
 export const slotToTime = (slot) => params.pipe(Effect.map((p) => {
+    if (p.refTipSlot === undefined) {
+        throw new Error(`Network.Params.params.refTipSlot is undefined`);
+    }
+    if (p.refTipTime === undefined) {
+        throw new Error(`Network.Params.params.refTipTime is undefined`);
+    }
+    if (p.secondsPerSlot === undefined) {
+        throw new Error(`Network.Params.params.secondsPerSlot is undefined`);
+    }
     const slotDiff = slot - p.refTipSlot;
     return p.refTipTime + slotDiff * p.secondsPerSlot * 1000;
 }));
 /**
  * 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 const timeToSlot = (time) => params.pipe(Effect.map((p) => {
+    if (p.refTipSlot === undefined) {
+        throw new Error(`Network.Params.params.refTipSlot is undefined`);
+    }
+    if (p.refTipTime === undefined) {
+        throw new Error(`Network.Params.params.refTipTime is undefined`);
+    }
+    if (p.secondsPerSlot === undefined) {
+        throw new Error(`Network.Params.params.secondsPerSlot is undefined`);
+    }
     const timeDiff = time - p.refTipTime;
     return p.refTipSlot + Math.round(timeDiff / (1000 * p.secondsPerSlot));
 }));
+/**
+ * The guards throwing defects help during debugging
+ */
 export const costModel = (version) => params.pipe(Effect.map((p) => {
     switch (version) {
         case 1:
+            if (p.costModelParamsV1 === undefined) {
+                throw new Error(`Network.Params.params.costModelParamsV1 is undefined`);
+            }
             return p.costModelParamsV1;
         case 2:
+            if (p.costModelParamsV2 === undefined) {
+                throw new Error(`Network.Params.params.costModelParamsV2 is undefined`);
+            }
             return p.costModelParamsV2;
         case 3:
+            if (p.costModelParamsV3 === undefined) {
+                throw new Error(`Network.Params.params.costModelParamsV3 is undefined`);
+            }
             return p.costModelParamsV3;
     }
 }));
+export const testParams = {
+    txFeeFixed: 155381,
+    txFeePerByte: 44,
+    exMemFeePerUnit: 0.0577,
+    exCpuFeePerUnit: 0.0000721,
+    utxoDepositPerByte: 4310,
+    refScriptsFeePerByte: 15,
+    collateralPercentage: 150,
+    maxCollateralInputs: 3,
+    maxTxExMem: 16500000,
+    maxTxExCpu: 10000000000,
+    maxTxSize: 16384,
+    secondsPerSlot: 1,
+    stakeAddrDeposit: 2000000,
+    refTipSlot: 116294635,
+    refTipTime: 1771977835000,
+    costModelParamsV1: [
+        100788, 420, 1, 1, 1000, 173, 0, 1, 1000, 59957, 4, 1, 11183, 32, 201305,
+        8356, 4, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000,
+        100, 100, 100, 16000, 100, 94375, 32, 132994, 32, 61462, 4, 72010, 178, 0,
+        1, 22151, 32, 91189, 769, 4, 2, 85848, 228465, 122, 0, 1, 1, 1000, 42921, 4,
+        2, 24548, 29498, 38, 1, 898148, 27279, 1, 51775, 558, 1, 39184, 1000, 60594,
+        1, 141895, 32, 83150, 32, 15299, 32, 76049, 1, 13169, 4, 22100, 10, 28999,
+        74, 1, 28999, 74, 1, 43285, 552, 1, 44749, 541, 1, 33852, 32, 68246, 32,
+        72362, 32, 7243, 32, 7391, 32, 11546, 32, 85848, 228465, 122, 0, 1, 1,
+        90434, 519, 0, 1, 74433, 32, 85848, 228465, 122, 0, 1, 1, 85848, 228465,
+        122, 0, 1, 1, 270652, 22588, 4, 1457325, 64566, 4, 20467, 1, 4, 0, 141992,
+        32, 100788, 420, 1, 1, 81663, 32, 59498, 32, 20142, 32, 24588, 32, 20744,
+        32, 25933, 32, 24623, 32, 53384111, 14333, 10
+    ],
+    costModelParamsV2: [
+        100788, 420, 1, 1, 1000, 173, 0, 1, 1000, 59957, 4, 1, 11183, 32, 201305,
+        8356, 4, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000,
+        100, 100, 100, 16000, 100, 94375, 32, 132994, 32, 61462, 4, 72010, 178, 0,
+        1, 22151, 32, 91189, 769, 4, 2, 85848, 228465, 122, 0, 1, 1, 1000, 42921, 4,
+        2, 24548, 29498, 38, 1, 898148, 27279, 1, 51775, 558, 1, 39184, 1000, 60594,
+        1, 141895, 32, 83150, 32, 15299, 32, 76049, 1, 13169, 4, 22100, 10, 28999,
+        74, 1, 28999, 74, 1, 43285, 552, 1, 44749, 541, 1, 33852, 32, 68246, 32,
+        72362, 32, 7243, 32, 7391, 32, 11546, 32, 85848, 228465, 122, 0, 1, 1,
+        90434, 519, 0, 1, 74433, 32, 85848, 228465, 122, 0, 1, 1, 85848, 228465,
+        122, 0, 1, 1, 955506, 213312, 0, 2, 270652, 22588, 4, 1457325, 64566, 4,
+        20467, 1, 4, 0, 141992, 32, 100788, 420, 1, 1, 81663, 32, 59498, 32, 20142,
+        32, 24588, 32, 20744, 32, 25933, 32, 24623, 32, 43053543, 10, 53384111,
+        14333, 10, 43574283, 26308, 10
+    ],
+    costModelParamsV3: [
+        100788, 420, 1, 1, 1000, 173, 0, 1, 1000, 59957, 4, 1, 11183, 32, 201305,
+        8356, 4, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000, 100, 16000,
+        100, 100, 100, 16000, 100, 94375, 32, 132994, 32, 61462, 4, 72010, 178, 0,
+        1, 22151, 32, 91189, 769, 4, 2, 85848, 123203, 7305, -900, 1716, 549, 57,
+        85848, 0, 1, 1, 1000, 42921, 4, 2, 24548, 29498, 38, 1, 898148, 27279, 1,
+        51775, 558, 1, 39184, 1000, 60594, 1, 141895, 32, 83150, 32, 15299, 32,
+        76049, 1, 13169, 4, 22100, 10, 28999, 74, 1, 28999, 74, 1, 43285, 552, 1,
+        44749, 541, 1, 33852, 32, 68246, 32, 72362, 32, 7243, 32, 7391, 32, 11546,
+        32, 85848, 123203, 7305, -900, 1716, 549, 57, 85848, 0, 1, 90434, 519, 0, 1,
+        74433, 32, 85848, 123203, 7305, -900, 1716, 549, 57, 85848, 0, 1, 1, 85848,
+        123203, 7305, -900, 1716, 549, 57, 85848, 0, 1, 955506, 213312, 0, 2,
+        270652, 22588, 4, 1457325, 64566, 4, 20467, 1, 4, 0, 141992, 32, 100788,
+        420, 1, 1, 81663, 32, 59498, 32, 20142, 32, 24588, 32, 20744, 32, 25933, 32,
+        24623, 32, 43053543, 10, 53384111, 14333, 10, 43574283, 26308, 10, 16000,
+        100, 16000, 100, 962335, 18, 2780678, 6, 442008, 1, 52538055, 3756, 18,
+        267929, 18, 76433006, 8868, 18, 52948122, 18, 1995836, 36, 3227919, 12,
+        901022, 1, 166917843, 4307, 36, 284546, 36, 158221314, 26549, 36, 74698472,
+        36, 333849714, 1, 254006273, 72, 2174038, 72, 2261318, 64571, 4, 207616,
+        8310, 4, 1293828, 28716, 63, 0, 1, 1006041, 43623, 251, 0, 1, 100181, 726,
+        719, 0, 1, 100181, 726, 719, 0, 1, 100181, 726, 719, 0, 1, 107878, 680, 0,
+        1, 95336, 1, 281145, 18848, 0, 1, 180194, 159, 1, 1, 158519, 8942, 0, 1,
+        159378, 8813, 0, 1, 107490, 3298, 1, 106057, 655, 1, 1964219, 24520, 3
+    ]
+};
 //# sourceMappingURL=Params.js.map

package/dist/Cardano/Network/Params.js.map

@@ -1 +1 @@
-{"version":3,"file":"Params.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Params.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAE/C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM;IACjC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,mBAAmB,EAAE,MAAM,CAAC,MAAM;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,cAAc,EAAE,MAAM,CAAC,MAAM;IAC7B,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;CACjD,CAAC,CAAA;AAIF,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,uBAAuB,CAAC,EAG7D;CAAG;AAEN;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,QAAQ,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAAA;AAC1D,CAAC,CAAC,CACH,CAAA;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAA;AACxE,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAkB,EAAE,EAAE,CAC9C,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,OAAO,CAAC,CAAC,iBAAiB,CAAA;IAC9B,CAAC;AACH,CAAC,CAAC,CACH,CAAA"}
+{"version":3,"file":"Params.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Params.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAChD,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAE/C;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,YAAY,EAAE,MAAM,CAAC,MAAM;IAC3B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,eAAe,EAAE,MAAM,CAAC,MAAM;IAC9B,kBAAkB,EAAE,MAAM,CAAC,MAAM;IACjC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,oBAAoB,EAAE,MAAM,CAAC,MAAM;IACnC,mBAAmB,EAAE,MAAM,CAAC,MAAM;IAClC,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,SAAS,EAAE,MAAM,CAAC,MAAM;IACxB,cAAc,EAAE,MAAM,CAAC,MAAM;IAC7B,gBAAgB,EAAE,MAAM,CAAC,MAAM;IAC/B,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,UAAU,EAAE,MAAM,CAAC,MAAM;IACzB,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9C,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;CACjD,CAAC,CAAA;AAIF,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,EAGrE;CAAG;AAEN;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAA;IACtE,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,QAAQ,GAAG,CAAC,CAAC,cAAc,GAAG,IAAI,CAAA;AAC1D,CAAC,CAAC,CACH,CAAA;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE,CACzC,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,CAAC,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAClE,CAAC;IAED,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAA;IACtE,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,CAAA;IAEpC,OAAO,CAAC,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC,CAAA;AACxE,CAAC,CAAC,CACH,CAAA;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAkB,EAAE,EAAE,CAC9C,MAAM,CAAC,IAAI,CACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;IACf,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC;YACJ,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,sDAAsD,CACvD,CAAA;YACH,CAAC;YACD,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,sDAAsD,CACvD,CAAA;YACH,CAAC;YACD,OAAO,CAAC,CAAC,iBAAiB,CAAA;QAC5B,KAAK,CAAC;YACJ,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,IAAI,KAAK,CACb,sDAAsD,CACvD,CAAA;YACH,CAAC;YACD,OAAO,CAAC,CAAC,iBAAiB,CAAA;IAC9B,CAAC;AACH,CAAC,CAAC,CACH,CAAA;AAEH,MAAM,CAAC,MAAM,UAAU,GAAW;IAChC,UAAU,EAAE,MAAM;IAClB,YAAY,EAAE,EAAE;IAChB,eAAe,EAAE,MAAM;IACvB,eAAe,EAAE,SAAS;IAC1B,kBAAkB,EAAE,IAAI;IACxB,oBAAoB,EAAE,EAAE;IACxB,oBAAoB,EAAE,GAAG;IACzB,mBAAmB,EAAE,CAAC;IACtB,UAAU,EAAE,QAAQ;IACpB,UAAU,EAAE,WAAW;IACvB,SAAS,EAAE,KAAK;IAChB,cAAc,EAAE,CAAC;IACjB,gBAAgB,EAAE,OAAO;IACzB,UAAU,EAAE,SAAS;IACrB,UAAU,EAAE,aAAa;IACzB,iBAAiB,EAAE;QACjB,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM;QACxE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK;QAC1E,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC3E,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;QAC3E,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK;QACzE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;QACvE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM;QACvE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM;QACzE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK;QACxE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE;KAC9C;IACD,iBAAiB,EAAE;QACjB,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM;QACxE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK;QAC1E,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;QAC3E,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK;QAC3E,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK;QACzE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;QACvE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACrE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM;QACvE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;QACvE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK;QAC1E,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ;QACtE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE;KAC/B;IACD,iBAAiB,EAAE;QACjB,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM;QACxE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK;QAC1E,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QACxE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACxE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;QACtE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACxE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK;QACzE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC3E,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK;QAC1E,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QACpE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM;QACvE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE;QAC3E,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,KAAK;QACxE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;QACtE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;QACtE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ;QAC1E,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM;QACvE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG;QACzE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACzE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACvE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;KACvE;CACF,CAAA"}

package/dist/Cardano/Network/Submit.js

@@ -0,0 +1,15 @@
+import { Context, Effect } from "effect";
+import { ConnectionError, UnexpectedFormat, SubmitTxFailed } from "./errors.js";
+/**
+ * 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 class Submit extends Context.Tag("Cardano.Network.Submit")() {
+}
+//# sourceMappingURL=Submit.js.map

package/dist/Cardano/Network/Submit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Submit.js","sourceRoot":"","sources":["../../../src/Cardano/Network/Submit.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAExC,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE/E;;;;;;;;;GASG;AACH,MAAM,OAAO,MAAO,SAAQ,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,EAK9D;CAAG"}

package/dist/Cardano/Network/UTxO.js

@@ -1,7 +1,7 @@
 import { Context, Effect } from "effect";
-import { UTxONotFound } from "./errors.js";
+import { ConnectionError, UnexpectedFormat, UTxOAlreadySpent, UTxONotFound } from "./errors.js";
 // TODO: add UTxONotFound and UTxOAlreadySpent errors
-class UTxO$ extends Context.Tag("Network.UTxO")() {
+class UTxO$ extends Context.Tag("Cardano.Network.UTxO")() {
 }
 export { UTxO$ as UTxO };
 /**

package/dist/Cardano/Network/UTxO.js.map

@@ -1 +1 @@
-{"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGxC,OAAO,EAIL,YAAY,EACb,MAAM,aAAa,CAAA;AAEpB,qDAAqD;AACrD,MAAM,KAAM,SAAQ,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,EAQ5C;CAAG;AAEN,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,UAAgC,EAAE,EAAE,CACpE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,GAAY,EAAE,EAAE;IAC5C,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3C,CAAC;AACH,CAAC,CAAC,CAAA"}
+{"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxO.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGxC,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,gBAAgB,EAChB,YAAY,EACb,MAAM,aAAa,CAAA;AAEpB,qDAAqD;AACrD,MAAM,KAAM,SAAQ,OAAO,CAAC,GAAG,CAAC,sBAAsB,CAAC,EAQpD;CAAG;AAEN,OAAO,EAAE,KAAK,IAAI,IAAI,EAAE,CAAA;AAExB;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,UAAgC,EAAE,EAAE,CACpE,MAAM,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC,GAAY,EAAE,EAAE;IAC5C,IAAI,GAAG,IAAI,UAAU,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;SAAM,CAAC;QACN,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,CAAC,CAAA;IAC3C,CAAC;AACH,CAAC,CAAC,CAAA"}

package/dist/Cardano/Network/UTxOsAt.js

@@ -1,4 +1,5 @@
-import { Context } from "effect";
-export class UTxOsAt extends Context.Tag("Network.UTxOsAt")() {
+import { Context, Effect } from "effect";
+import { ConnectionError, UnexpectedFormat } from "./errors.js";
+export class UTxOsAt extends Context.Tag("Cardano.Network.UTxOsAt")() {
 }
 //# sourceMappingURL=UTxOsAt.js.map

package/dist/Cardano/Network/UTxOsAt.js.map

@@ -1 +1 @@
-{"version":3,"file":"UTxOsAt.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxOsAt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAU,MAAM,QAAQ,CAAA;AAKxC,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAKxD;CAAG"}
+{"version":3,"file":"UTxOsAt.js","sourceRoot":"","sources":["../../../src/Cardano/Network/UTxOsAt.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAGxC,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAE/D,MAAM,OAAO,OAAQ,SAAQ,OAAO,CAAC,GAAG,CAAC,yBAAyB,CAAC,EAKhE;CAAG"}

package/dist/Cardano/Network/errors.js

@@ -22,11 +22,24 @@ export class UTxONotFound extends Data.TaggedError("Cardano.Network.UTxONotFound
     }
 }
 export class UTxOAlreadySpent extends Data.TaggedError("Cardano.Network.UTxOAlreadySpent") {
-    constructor(ref, spendingTx) {
+    constructor(utxo, spendingTx) {
         super({
-            ref,
+            utxo,
             spendingTx,
-            message: `UTxO ${ref} already spent by ${spendingTx}`
+            message: `UTxO ${utxo.ref} already spent by ${spendingTx}`
+        });
+    }
+}
+export class SubmitTxFailed extends Data.TaggedError("Cardano.Network.SubmitTxFailed") {
+    constructor(message, tx) {
+        super({ message, tx });
+    }
+}
+export class TxNotFound extends Data.TaggedError("Cardano.Network.TxNotFound") {
+    constructor(txHash) {
+        super({
+            txHash,
+            message: `Tx ${txHash} not found`
         });
     }
 }

package/dist/Cardano/Network/errors.js.map

@@ -1 +1 @@
-{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/Cardano/Network/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAI7B,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CACnD,+BAA+B,CAG/B;IACA,YAAY,OAAe;QACzB,KAAK,CAAC;YACJ,OAAO,EAAE,yCAAyC,OAAO,GAAG;SAC7D,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CACpD,gCAAgC,CAGhC;IACA,YAAY,OAAe;QACzB,KAAK,CAAC;YACJ,OAAO,EAAE,oDAAoD,OAAO,GAAG;SACxE,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAChD,8BAA8B,CACI;IAClC,YAAY,GAAY;QACtB,KAAK,CAAC;YACJ,GAAG;YACH,OAAO,EAAE,QAAQ,GAAG,YAAY;SACjC,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CACpD,kCAAkC,CACoB;IACtD,YAAY,GAAY,EAAE,UAAkB;QAC1C,KAAK,CAAC;YACJ,GAAG;YACH,UAAU;YACV,OAAO,EAAE,QAAQ,GAAG,qBAAqB,UAAU,EAAE;SACtD,CAAC,CAAA;IACJ,CAAC;CACF"}
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../src/Cardano/Network/errors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAM7B,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CACnD,+BAA+B,CAG/B;IACA,YAAY,OAAe;QACzB,KAAK,CAAC;YACJ,OAAO,EAAE,yCAAyC,OAAO,GAAG;SAC7D,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CACpD,gCAAgC,CAGhC;IACA,YAAY,OAAe;QACzB,KAAK,CAAC;YACJ,OAAO,EAAE,oDAAoD,OAAO,GAAG;SACxE,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,YAAa,SAAQ,IAAI,CAAC,WAAW,CAChD,8BAA8B,CACI;IAClC,YAAY,GAAY;QACtB,KAAK,CAAC;YACJ,GAAG;YACH,OAAO,EAAE,QAAQ,GAAG,YAAY;SACjC,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,gBAAiB,SAAQ,IAAI,CAAC,WAAW,CACpD,kCAAkC,CACkB;IACpD,YAAY,IAAU,EAAE,UAAkB;QACxC,KAAK,CAAC;YACJ,IAAI;YACJ,UAAU;YACV,OAAO,EAAE,QAAQ,IAAI,CAAC,GAAG,qBAAqB,UAAU,EAAE;SAC3D,CAAC,CAAA;IACJ,CAAC;CACF;AAED,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAClD,gCAAgC,CACJ;IAC5B,YAAY,OAAe,EAAE,EAAM;QACjC,KAAK,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAA;IACxB,CAAC;CACF;AAED,MAAM,OAAO,UAAW,SAAQ,IAAI,CAAC,WAAW,CAAC,4BAA4B,CAG3E;IACA,YAAY,MAAc;QACxB,KAAK,CAAC;YACJ,MAAM;YACN,OAAO,EAAE,MAAM,MAAM,YAAY;SAClC,CAAC,CAAA;IACJ,CAAC;CACF"}

package/dist/Cardano/Network/index.js

@@ -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.js.map

package/dist/Cardano/Network/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","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.js","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"}

package/dist/Cardano/ScriptContext.js

@@ -0,0 +1,264 @@
+import { Context, Effect, Option, ParseResult, Schema } from "effect";
+import { FromUplcData as DatumHashFromUplcData, hash as hashDatum } from "./Ledger/DatumHash.js";
+import { FromUplcData as MintingPolicyFromUplcData } from "./Ledger/MintingPolicy.js";
+import { FromUplcData as AssetsFromUplcData, nonAdaPolicies } from "./Ledger/Assets.js";
+import { FromUplcData as DCertFromUplcData } from "./Ledger/DCert.js";
+import { FromUplcData as PubKeyHashFromUplcData } from "./Ledger/PubKeyHash.js";
+import { Redeemer } from "./Ledger/Redeemer.js";
+import { FromUplcData as RewardAddressFromUplcData } from "./Ledger/RewardAddress.js";
+import { hash as hashTx, inputDatum } from "./Ledger/Tx.js";
+import { FromUplcData as TxHashFromUplcData, FromUplcDataV3 as TxHashFromUplcDataV3 } from "./Ledger/TxHash.js";
+import { FromUplcData as TxOutputFromUplcData } from "./Ledger/TxOutput.js";
+import { FromUplcData as UTxOFromUplcData, FromUplcDataV3 as UTxOFromUplcDataV3 } from "./Ledger/UTxO.js";
+import { FromUplcData as UTxORefFromUplcData, FromUplcDataV3 as UTxORefFromUplcDataV3 } from "./Ledger/UTxORef.js";
+import * as Params from "./Network/Params.js";
+import * as Data from "./Uplc/Data.js";
+import * as Value from "./Uplc/Value.js";
+export const makeArgs = (version, tx, redeemerIndex) => Effect.gen(function* () {
+    switch (version) {
+        case 1:
+            throw new Error("ScriptContext for UPLC v1 not supported");
+        case 2:
+            return yield* makeArgsV2(tx, redeemerIndex);
+        case 3:
+            return yield* makeArgsV3(tx, redeemerIndex);
+    }
+});
+const LovelaceFromData = Schema.transform(AssetsFromUplcData(false), Schema.BigIntFromSelf, {
+    strict: true,
+    decode: (assets) => assets[""],
+    encode: (fee) => ({ "": fee })
+});
+/**
+ * in V2, 0 lovelace is prepended
+ */
+const MintedAssetsV2 = Schema.transform(AssetsFromUplcData(true), Schema.typeSchema(AssetsFromUplcData(true)), {
+    strict: true,
+    decode: (assets) => assets,
+    encode: (assets) => ({ "": 0n, ...assets })
+});
+const ValiditySlotRange = Schema.transformOrFail(Data.TimeRange, Schema.Struct({
+    firstValidSlot: Schema.optional(Schema.Int),
+    lastValidSlot: Schema.optional(Schema.Int)
+}), {
+    strict: true,
+    decode: (tr) => Effect.zip(Number.isFinite(tr.start)
+        ? Params.timeToSlot(tr.start)
+        : Effect.succeed(undefined), Number.isFinite(tr.end)
+        ? Params.timeToSlot(tr.end)
+        : Effect.succeed(undefined)).pipe(Effect.map(([firstValidSlot, lastValidSlot]) => ({
+        firstValidSlot,
+        lastValidSlot
+    }))),
+    encode: (tr) => Effect.zip(tr.firstValidSlot === undefined
+        ? Effect.succeed(Number.NEGATIVE_INFINITY)
+        : Params.slotToTime(tr.firstValidSlot), tr.lastValidSlot === undefined
+        ? Effect.succeed(Number.POSITIVE_INFINITY)
+        : Params.slotToTime(tr.lastValidSlot)).pipe(Effect.map(([start, end]) => ({ start, end })))
+});
+const TxInfoV2 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcData),
+    refInputs: Data.Array(UTxOFromUplcData),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: MintedAssetsV2,
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: Data.EnumVariant(0, { hash: TxHashFromUplcData })
+});
+/**
+ * Only use for testing!
+ */
+export const TxInfoV3 = Data.EnumVariant(0, {
+    inputs: Data.Array(UTxOFromUplcDataV3),
+    refInputs: Data.Array(UTxOFromUplcDataV3),
+    outputs: Data.Array(TxOutputFromUplcData),
+    fee: LovelaceFromData,
+    minted: AssetsFromUplcData(true),
+    dcerts: Data.Array(DCertFromUplcData),
+    withdrawals: Data.PairArray(RewardAddressFromUplcData, Data.BigInt),
+    validityTimeRange: ValiditySlotRange,
+    signers: Data.Array(PubKeyHashFromUplcData),
+    redeemers: Data.PairArray(Data.Data, Data.Data),
+    datums: Data.PairArray(DatumHashFromUplcData, Data.Data),
+    txHash: TxHashFromUplcDataV3,
+    votes: Data.PairArray(Data.Data, Data.Data), // TODO
+    proposalProcedures: Data.Array(Data.Data), // TODO
+    currentTreasuryAmount: Data.Option(Data.Data), // TODO
+    treasuryDonation: Data.Option(Data.Data) // TODO
+});
+/**
+ * Exported for testing
+ */
+export class CurrentTx extends Context.Tag("Cardano.Uplc.ScriptContext.CurrentTx")() {
+}
+/**
+ * Uses same tags as Redeemer to make encoding easy
+ */
+const PurposeV2 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcData
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (purpose, _, ast) => ParseResult.fail(new ParseResult.Forbidden(ast, purpose, "Can't decode purpose into redeemer.")),
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending":
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref
+                };
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+/**
+ * TODO: add voting and proposing redeemers
+ *
+ * Only exported for testing
+ */
+export const PurposeV3 = Schema.transformOrFail(Data.Enum({
+    Minting: {
+        policy: MintingPolicyFromUplcData
+    },
+    Spending: {
+        ref: UTxORefFromUplcDataV3,
+        datum: Data.Option(Data.Data)
+    },
+    Rewarding: {
+        address: RewardAddressFromUplcData
+    },
+    Certifying: {
+        dcert: DCertFromUplcData
+    }
+}), Schema.typeSchema(Redeemer), {
+    strict: true,
+    decode: (purpose, _, ast) => ParseResult.fail(new ParseResult.Forbidden(ast, purpose, "Can't decode purpose into redeemer.")),
+    encode: (redeemer) => CurrentTx.pipe(Effect.map((tx) => {
+        switch (redeemer._tag) {
+            case "Minting":
+                return {
+                    _tag: "Minting",
+                    policy: nonAdaPolicies(tx.body.minted)[redeemer.policyIndex]
+                };
+            case "Spending": {
+                return {
+                    _tag: "Spending",
+                    ref: tx.body.inputs[redeemer.inputIndex].ref,
+                    datum: Option.fromNullable(inputDatum(redeemer.inputIndex)(tx))
+                };
+            }
+            case "Rewarding":
+                return {
+                    _tag: "Rewarding",
+                    address: tx.body.withdrawals[redeemer.withdrawalIndex][0]
+                };
+            case "Certifying":
+                return {
+                    _tag: "Certifying",
+                    dcert: tx.body.dcerts[redeemer.dcertIndex]
+                };
+        }
+    }))
+});
+const makeArgsV2 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV2)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV2)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: { hash: hashTx(tx) }
+    });
+    const scriptContext = Data.makeConstrData(0, [txInfo, purpose]);
+    switch (redeemer._tag) {
+        case "Certifying":
+        case "Minting":
+        case "Rewarding":
+            return [
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        case "Spending": {
+            const datum = inputDatum(redeemer.inputIndex)(tx);
+            if (datum === undefined) {
+                throw new Error(`No datum found for input ${redeemer.inputIndex}`);
+            }
+            return [
+                { data: datum },
+                { data: redeemer.data },
+                { data: scriptContext }
+            ];
+        }
+    }
+});
+const makeArgsV3 = (tx, redeemerIndex) => Effect.gen(function* () {
+    const redeemer = tx.witnesses.redeemers[redeemerIndex];
+    const purposes = yield* Effect.all(tx.witnesses.redeemers.map((r) => Schema.encode(PurposeV3)(r))).pipe(Effect.provideService(CurrentTx, tx));
+    const purpose = purposes[redeemerIndex];
+    const txInfo = yield* Schema.encode(TxInfoV3)({
+        inputs: tx.body.inputs,
+        refInputs: tx.body.refInputs,
+        outputs: tx.body.outputs,
+        fee: tx.body.fee,
+        minted: tx.body.minted,
+        dcerts: tx.body.dcerts,
+        withdrawals: tx.body.withdrawals,
+        validityTimeRange: {
+            firstValidSlot: tx.body.firstValidSlot,
+            lastValidSlot: tx.body.lastValidSlot
+        },
+        signers: tx.body.signers,
+        redeemers: tx.witnesses.redeemers.map((r, i) => [purposes[i], r.data]),
+        datums: tx.witnesses.datums.map((d) => [hashDatum(d), d]),
+        txHash: hashTx(tx),
+        votes: [],
+        proposalProcedures: [],
+        currentTreasuryAmount: Option.none(),
+        treasuryDonation: Option.none()
+    });
+    return [
+        { data: Data.makeConstrData(0, [txInfo, redeemer.data, purpose]) }
+    ];
+});
+//# sourceMappingURL=ScriptContext.js.map