@helios-lang/effect 0.1.12 → 0.1.14

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -4,9 +4,14 @@ import { Data } from "../Uplc";
4
4
  import * as MintingPolicy from "./MintingPolicy.js";
5
5
  export function isValid(assetClass) {
6
6
  const n = assetClass.length;
7
- return (/^[0-9a-fA-F]+$/.test(assetClass) &&
8
- n < 120 &&
9
- (n == 0 || (n >= 56 && n % 2 == 0)));
7
+ if (n == 0) {
8
+ return true;
9
+ }
10
+ else {
11
+ return (/^[0-9a-fA-F]+$/.test(assetClass) &&
12
+ n < 120 &&
13
+ (n >= 56 && n % 2 == 0));
14
+ }
10
15
  }
11
16
  export const AssetClass = Schema.transform(Schema.String, Schema.String.pipe(Schema.filter((ac) => isValid(ac) || "Invalid Cardano AssetClass"), Schema.brand("AssetClass")), {
12
17
  strict: false,
@@ -1 +1 @@
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,CAAC,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAe,CAAA;IACzF,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"}
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;IAE3B,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACX,OAAO,IAAI,CAAA;IACb,CAAC;SAAM,CAAC;QACN,OAAO,CACL,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC;YACjC,CAAC,GAAG,GAAG;YACP,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CACxB,CAAA;IACH,CAAC;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,CAAC,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAe,CAAA;IACzF,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"}
@@ -12,18 +12,17 @@ export const DEFAULT_TX_OUTPUT_ENCODING_CONFIG = {
12
12
  strictBabbage: true
13
13
  };
14
14
  // TODO: add ref script
15
- export const TxOutput = Schema.TaggedStruct("TxOutput", {
15
+ export const TxOutput = Schema.Struct({
16
16
  address: Address.Address,
17
17
  assets: Assets.Assets,
18
18
  datum: Schema.optional(TxOutputDatum.TxOutputDatum),
19
19
  refScript: Schema.optional(Schema.Uint8ArrayFromSelf),
20
- encodingConfig: Schema.Struct({
20
+ encodingConfig: Schema.optional(Schema.Struct({
21
21
  strictBabbage: Schema.optional(Schema.Boolean)
22
- })
22
+ }))
23
23
  });
24
24
  export function make({ address, assets, datum = undefined, refScript = undefined, encodingConfig = DEFAULT_TX_OUTPUT_ENCODING_CONFIG }) {
25
25
  return {
26
- _tag: "TxOutput",
27
26
  address,
28
27
  assets,
29
28
  datum,
@@ -77,7 +76,7 @@ export const decode = (bytes) => Effect.gen(function* () {
77
76
  export function encode(txOutput) {
78
77
  if ((!txOutput.datum || txOutput.datum._tag == "Hash") &&
79
78
  !txOutput.refScript &&
80
- (txOutput.encodingConfig.strictBabbage == null ||
79
+ (!txOutput.encodingConfig || txOutput.encodingConfig.strictBabbage == null ||
81
80
  !txOutput.encodingConfig.strictBabbage)) {
82
81
  // this is needed to match eternl wallet (de)serialization (annoyingly eternl deserializes the tx and then signs its own serialization)
83
82
  // hopefully cardano-cli signs whatever serialization we choose (so we use the eternl variant in order to be compatible with both)
@@ -1 +1 @@
1
- {"version":3,"file":"TxOutput.js","sourceRoot":"","sources":["../../src/Ledger/TxOutput.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,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CAC/C,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,iCAAiC,GAA2B;IACvE,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,UAAU,EAAE;IACtD,OAAO,EAAE,OAAO,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,aAAa,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACrD,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC;QAC5B,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;KAC/C,CAAC;CACH,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAK,GAAG,SAAS,EACjB,SAAS,GAAG,SAAS,EACrB,cAAc,GAAG,iCAAiC,EAOnD;IACC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,OAAO;QACP,MAAM;QACN,KAAK;QACL,SAAS;QACT,cAAc;KACf,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA+B,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,EACJ,CAAC,EAAE,OAAO,EACV,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,KAAK,EACR,CAAC,EAAE,SAAS,EACb,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;YAC/B,CAAC,EAAE,OAAO,CAAC,MAAM;YACjB,CAAC,EAAE,MAAM,CAAC,MAAM;YAChB,CAAC,EAAE,aAAa,CAAC,MAAM;YACvB,CAAC,EAAE,CAAC,MAAM,EAA+B,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAChC,MAAM,EACN,iCAAiC,CAClC,CAAA;gBACH,CAAC;gBAED,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;YACxC,CAAC,CAAC;SACL,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;QACrE,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;QACpE,CAAC;QAED,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;SACxC,CAAC,CAAA;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAC1D,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAC/B,CAAC,SAAS,CAAC,MAAM,CAAC,CACnB,CAAC,MAAM,CAAC,CAAA;QAET,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,cAAc,EAAE;gBACd,aAAa,EAAE,KAAK;aACrB;SACF,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,QAAkB;IACvC,IACE,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC;QAClD,CAAC,QAAQ,CAAC,SAAS;QACnB,CAAC,QAAQ,CAAC,cAAc,CAAC,aAAa,IAAI,IAAI;YAC5C,CAAC,QAAQ,CAAC,cAAc,CAAC,aAAa,CAAC,EACzC,CAAC;QACD,uIAAuI;QACvI,kIAAkI;QAElI,MAAM,MAAM,GAAG;YACb,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;SAC/B,CAAA;QAED,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACpD,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAA0B,IAAI,GAAG,EAAE,CAAA;QAE/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;QAE7C,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;YACtC,aAAa;YACb,QAAQ;YACR,iCAAiC;YACjC,2BAA2B;YAC3B,gCAAgC;YAChC,iCAAiC;YACjC,6DAA6D;YAC7D,oBAAoB;YACpB,oCAAoC;YACpC,gBAAgB;YAChB,WAAW;YACX,OAAO;YACP,GAAG;QACL,CAAC;QAED,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"TxOutput.js","sourceRoot":"","sources":["../../src/Ledger/TxOutput.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,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAA;AAC3C,OAAO,KAAK,aAAa,MAAM,oBAAoB,CAAA;AAEnD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,MAAM,CAAC;IAClD,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CAC/C,CAAC,CAAA;AAMF,MAAM,CAAC,MAAM,iCAAiC,GAA2B;IACvE,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,uBAAuB;AACvB,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IACpC,OAAO,EAAE,OAAO,CAAC,OAAO;IACxB,MAAM,EAAE,MAAM,CAAC,MAAM;IACrB,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,aAAa,CAAC;IACnD,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC;IACrD,cAAc,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC;QAC5C,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;KAC/C,CAAC,CAAC;CACJ,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAAC,EACnB,OAAO,EACP,MAAM,EACN,KAAK,GAAG,SAAS,EACjB,SAAS,GAAG,SAAS,EACrB,cAAc,GAAG,iCAAiC,EAOnD;IACC,OAAO;QACL,OAAO;QACP,MAAM;QACN,KAAK;QACL,SAAS;QACT,cAAc;KACf,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA+B,EAAE,CAC5E,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;IACtC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,EACJ,CAAC,EAAE,OAAO,EACV,CAAC,EAAE,MAAM,EACT,CAAC,EAAE,KAAK,EACR,CAAC,EAAE,SAAS,EACb,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;YAC/B,CAAC,EAAE,OAAO,CAAC,MAAM;YACjB,CAAC,EAAE,MAAM,CAAC,MAAM;YAChB,CAAC,EAAE,aAAa,CAAC,MAAM;YACvB,CAAC,EAAE,CAAC,MAAM,EAA+B,EAAE,CACzC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC;oBAC3C,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAChC,MAAM,EACN,iCAAiC,CAClC,CAAA;gBACH,CAAC;gBAED,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;YACxC,CAAC,CAAC;SACL,CAAC,CAAC,MAAM,CAAC,CAAA;QAEV,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;QACrE,CAAC;QAED,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAA;QACpE,CAAC;QAED,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9D,cAAc,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE;SACxC,CAAC,CAAA;IACJ,CAAC;SAAM,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAC1D,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAC/B,CAAC,SAAS,CAAC,MAAM,CAAC,CACnB,CAAC,MAAM,CAAC,CAAA;QAET,OAAO,IAAI,CAAC;YACV,OAAO;YACP,MAAM;YACN,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvD,cAAc,EAAE;gBACd,aAAa,EAAE,KAAK;aACrB;SACF,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAA;IAC5E,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,UAAU,MAAM,CAAC,QAAkB;IACvC,IACE,CAAC,CAAC,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,CAAC;QAClD,CAAC,QAAQ,CAAC,SAAS;QACnB,CAAC,CAAC,QAAQ,CAAC,cAAc,IAAI,QAAQ,CAAC,cAAc,CAAC,aAAa,IAAI,IAAI;YACxE,CAAC,QAAQ,CAAC,cAAc,CAAC,aAAa,CAAC,EACzC,CAAC;QACD,uIAAuI;QACvI,kIAAkI;QAElI,MAAM,MAAM,GAAG;YACb,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;SAC/B,CAAA;QAED,IAAI,QAAQ,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,MAAM,EAAE,CAAC;YACpD,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACpD,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAA;IACjC,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAA0B,IAAI,GAAG,EAAE,CAAA;QAE/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAA;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;QAE7C,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAA;YACtC,aAAa;YACb,QAAQ;YACR,iCAAiC;YACjC,2BAA2B;YAC3B,gCAAgC;YAChC,iCAAiC;YACjC,6DAA6D;YAC7D,oBAAoB;YACpB,oCAAoC;YACpC,gBAAgB;YAChB,WAAW;YACX,OAAO;YACP,GAAG;QACL,CAAC;QAED,OAAO,IAAI,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACtC,CAAC;AACH,CAAC"}
@@ -3,13 +3,12 @@ import * as Bytes from "../internal/Bytes.js";
3
3
  import * as Cbor from "../Cbor.js";
4
4
  import * as TxOutput from "./TxOutput.js";
5
5
  import * as UTxORef from "./UTxORef.js";
6
- export const UTxO = Schema.TaggedStruct("UTxO", {
6
+ export const UTxO = Schema.Struct({
7
7
  ref: UTxORef.UTxORef,
8
8
  output: TxOutput.TxOutput
9
9
  });
10
10
  export function make(ref, output) {
11
11
  return {
12
- _tag: "UTxO",
13
12
  ref,
14
13
  output
15
14
  };
@@ -1 +1 @@
1
- {"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../src/Ledger/UTxO.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,OAAO,MAAM,cAAc,CAAA;AAEvC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE;IAC9C,GAAG,EAAE,OAAO,CAAC,OAAO;IACpB,MAAM,EAAE,QAAQ,CAAC,QAAQ;CAC1B,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAClB,GAAoB,EACpB,MAAyB;IAEzB,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,GAAG;QACH,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA6C,EAAE,CAC1F,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,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtC,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,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAClC,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CACxD,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAA2B,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC;IAC1F,OAAO,CAAC,MAAM;IACd,QAAQ,CAAC,MAAM;CAChB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;AAElE,MAAM,UAAU,MAAM,CAAC,OAAa,EAAE,OAAgB,KAAK;IACzD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAC3B,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SAChC,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;AACH,CAAC"}
1
+ {"version":3,"file":"UTxO.js","sourceRoot":"","sources":["../../src/Ledger/UTxO.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,OAAO,MAAM,cAAc,CAAA;AAEvC,MAAM,CAAC,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;IAChC,GAAG,EAAE,OAAO,CAAC,OAAO;IACpB,MAAM,EAAE,QAAQ,CAAC,QAAQ;CAC1B,CAAC,CAAA;AAIF,MAAM,UAAU,IAAI,CAClB,GAAoB,EACpB,MAAyB;IAEzB,OAAO;QACL,GAAG;QACH,MAAM;KACP,CAAA;AACH,CAAC;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAsB,EAA6C,EAAE,CAC1F,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,OAAO,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACtC,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,OAAO,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAA;IAClC,CAAC;SAAM,CAAC;QACN,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,yBAAyB,CAAC,CACxD,CAAA;IACH,CAAC;AACH,CAAC,CAAC,CAAA;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAsB,EAA2B,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC;IAC1F,OAAO,CAAC,MAAM;IACd,QAAQ,CAAC,MAAM;CAChB,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;AAElE,MAAM,UAAU,MAAM,CAAC,OAAa,EAAE,OAAgB,KAAK;IACzD,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,IAAI,CAAC,WAAW,CAAC;YACtB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAC3B,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SAChC,CAAC,CAAA;IACJ,CAAC;SAAM,CAAC;QACN,OAAO,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACpC,CAAC;AACH,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@helios-lang/effect",
3
- "version": "0.1.12",
3
+ "version": "0.1.14",
4
4
  "description": "",
5
5
  "main": "dist/index.js",
6
6
  "types": "types/index.d.ts",