@helios-lang/effect 0.1.4 → 0.1.6

package/src/Ledger/TxInput.test.ts

@@ -1,21 +0,0 @@
-import { describe, it } from "bun:test"
-import { Effect } from "effect"
-import { decode } from "./TxInput.js"
-
-describe("TxInput.decode()", () => {
-  it("works for UTxO returned from Cip30 wallet", () => {
-    Effect.runSync(
-      decode(
-        "828258204cb4e9f79554fb3b572b19f68c8cce0dba929fcee2f6ab6cc390419a8d703bd8181882581d604988cad9aa1ebd733b165695cfef965fda2ee42dab2d8584c43b039c1a49da0141"
-      )
-    )
-  })
-
-  it("works for UTXO with V3 ref script", () => {
-    Effect.runSync(
-      decode(
-        "828258203d308c0f3deb1eff764cbb765452c53d30704748681d7acd61c7775aeb8a8e4600a4011a01393d92028201d8185853d8799f581c3babcffc6102ec25ced40e1a24fba20371925c46f0299b2b9456360ed8799f581cdb0d968cda2cc636b28c0f377e66691a065b8004e57be5129aeef8224461757468ff1a000f42401832183205ff03d818591174820259116f59116c010100333333323232323232323223222322322322322533300d3232323232533233013300130143754004264664464646464a66603460060022a66603a60386ea80280085854ccc068c02000454ccc074c070dd50050010b0a99980d18020008a99980e980e1baa00a0021616301a37540122646464646464646464a666042601460446ea80304c8c8c8c8c8c8c8c94ccc0a4c048c0a8dd50008991919191919191919191929919981a980f00409919299981d181e80109919191919299981e1813181e9baa001132533303d302b303e375400826601600226464646464a66608a60900042646464646464a666090606c60926ea8c134c138c128dd518268030a999824181918249baa00213253330493037304a37540042a666092606460946ea80044c8c8c8c8c8c8c8c8c8c94ccc158c1640084c8c8c8c8c8c8c8c8c8c8c8c8c94ccc18008454ccc18008c54ccc18000c54ccc18000840045280a5014a02940cdd79ba6041374c666605c666605c666062076022900101d807a40040ba9101044655454c0005432533333306600114a02646464a646660cc0042a6660c6600200a266e25200000314a026644a6660ca66ebcc19800930101400015333065337126eb4c19cc1a8dd59833801002898019ba600114a02a6660ca66e2520000051300300714a060d000460d20046ebcc19cc1a000cdd5801992999830982518311baa0011375a60c660cc6eacc198c18cdd50008a400060ca0026466600200203844660cc004660cc6e980052f5c0444a6660ca00426600298103d87a80004bd6f7b630099199911299983319b9148900003153330663371e91010000313300530403306a374c00497ae00011330054c103d87a8000006133300700700122330070023306c337606ea4014dd30020009bae3064001375660ca00260d200660ce00429405280a50374c666605a666060074020900102e245044655454c00053533305d337120a86466e00c004050c00404894ccc178cdc4000a40002605400220022a6660ba0062a6660ba004200229405280a5032533305d304b305e3754002266e24dd69831182f9baa00100b163037305e3754606060bc6ea80f4cdc780599b8a48810550494c4f54003730600407066e3c030cdc52450453484950003730600206e46e64cc008dd4000a450030010012225333233330620031323232323300a0013371491101280053330620021337149101035b5d2900006133714911035b5f2000333300900233714911025d29000062233300a00a00230070012233300a00a002001533305e337100049007099b80483c80400854ccc178cdc40012410004266e00cdc0241002800490068b1bac305f002375a60ba0026466ec0dd4182e8009ba7305e0013754006264a6660be002266e292201027b7d00003133714911037b5f20003232330010010032253330620011003132533306300113233300a00a3062001337149101023a200033300a00a3063001005306500213233300a00a3062001337149101023a200033300a00a30630013007330040040023065002306500133714910102207d000033756006264a6660be002266e29221025b5d00003133714911035b5f2000333300600133714911015d000032233300700700230040012233300700700200137580066e292201022c2000133005375a00400226466e2922010268270032333001001337006e340092001337149101012700003222533305e3371000490000800899191919980300319b8000548004cdc599b80002533306133710004900a0a40c02903719b8b33700002a6660c266e2000520141481805206e0043370c004901019b8300148080cdc70020011bae0022222323300100100522533305f00110051325333060001133004306200200613300530620023300300300130620012232330010010032253330593042001133714910101300000315333059337100029000099b8a489012d0033002002302500113300533708002900a19b8b3370066e1400520144818000cc0040048894ccc158cdc4801240002002266600600666e1000920143371666e00cdc28012402890300008b1bad30570013057002375c60aa00260aa0046eb8c14c004c14c008dd6982880098288011bad304f001304b37540022c2c609a60946ea80085858c130c134008c12c004c12c008dd59824800982480098221baa0011630460013300d0232325333042303030433754002266e3c078dd7182398221baa00114a0603860866ea8c070c10cdd5000a99981f99baf374c00a6e98cccc038dd5980998209baa30133041375402c9110048810003a100114a066e212000333013004375c603260806ea80ecdd7180918201baa03b3375e602e660826ea0cdc000d24004660826ea40652f5c00022c6082607c6ea800458c10000cdd5981f801981f181f800981f000981e981c9baa00116303b0013300201823375e602260706ea8004c044c0e0dd51805181c1baa00d15333035302300813232533303a303d00213232323232533303c3026303d3754002264a66607a6056607c6ea80104c8c8c8c8c94ccc114c1200084c8c8c8c8c94ccc11cc0c4c120dd50008992999824181b18249baa00413232533304a3033304b3754006264646464646464646464a6660ae60b40042646464a6660ae0342a6660ae0322a6660ae0302a6660ae01e2a6660ae01c2a6660ae0062a6660ae004200229405280a5014a029405280a503375e6e980e0dd31999812999814019003a40020a89101044655454c00302233302b0110544881044655454c00325333056304430573754002266e2400cdd6982d982c1baa00116303030573754606060ae6ea80d8cdd79ba7330583750012660b06ea001d2f5c0981049f0000ff0016375a60b000260b00046eb8c158004c158008dd7182a000982a0011bad30520013052002375a60a000260986ea800c58cdd79ba732323300100102b22533304f00114bd70099199911299982819baf00700313305400233006006001133006006001304e001304f001305300230510013374a900119826981218259baa0084bd701ba73304d4c0103d87b80004bd70191929998269828001099299982599b88371a00400229404cdc7999b8c480000040092201045348495000371a910104534849500016375c609c002646600200264a666094607060966ea800452f5bded8c026eacc13cc130dd50009980f8020129129998268008a5eb804cc138c12cc13c004cc008008c14000458c130c124dd50008b18258019bab304a0033049304a0013049001304830443754602c60886ea800458c118004cc0340908c8c8c94ccc110c0c8c114dd50008a999822181918229baa3049304a00213371e6eb8c124c118dd5000810001801982400098221baa301d30443754602c60886ea80085281919baf374c600200c6e98c004dd5980a18211baa30143042375402e4646600200200444a66608a002297adef6c60132333222533304633722910100003153330463371e9101000031001100513304a337606ea400cdd3001198030030009bae30440013756608a0026092004608e00264646464a666084605660866ea80044c8c8c8cdc499b82375a60940026eb4c128c12c008cdc11bad304a002375a60946096002608c6ea8c8c8c080cc128dd419b82375a60960046eb4c12c004cc128dd419b82375a609660980046eb4c12cc1300052f5c0608e6ea8c8c8c8c8c08ccc134dd419b81337046eb4c138010004cdc11bad304e0020033304d375066e0800c0052f5c06eb4c134c138004c124dd5182618249baa006375a60966098002608e6ea8c00d200230463754600400a608a6ea8c00400c8c074cc11cdd400099823a610101004bd700b2999820a5014c0103d87a8000153330414a0260366608a60366608a6ea0c0340e8cc1153001023863004bd7025eb804c06ccc114c06ccc114dd401d19822a61021864004bd7025eb80c008018c004dd5980998209baa30133041375402c46660280029101004881003300b00113375e0380022c6082607c6ea800458c10000cdd5981f801981f181f800981f000981e981c9baa00116303b0013300201823375e602260706ea8004c044c0e0dd51805181c1baa00d15333035301e303637546601c0324a66606c66606ca66606c603e606e6ea8c044c0e0dd51808981c1baa300a303837540022940528a504a2266e21200033300b3756601460706ea8c028c0e0dd50009bae3011303837540666eb8c028c0e0dd50198a5014a22940dc0a400044646600200200644a666074002297ae0133225333039300500213303d00233004004001133004004001303c001303d001225333034301d30353754004264646464a666076607c00400a2c6eb8c0f0004c0f0008dd6981d000981b1baa0021622225333035301e0011004132323300100100622533303b00113303c337606ea4018dd3001a5eb7bdb1804c8ccc8894ccc0f0cdc800500189982019bb037520146e9801c01454ccc0f0cdc7805001899299981e9813181f1baa001133041337606ea402cc108c0fcdd5000801080119299981ea9998200008a5114a02980103d87a80001301733041374c00297ae03233001001003225333041001133042337606ea402cdd400525eb7bdb1804c8ccc8894ccc108cdc800780189982319bb0375201e6ea003801454ccc108cdc78078018992999821981618221baa001133047337606ea4040c120c114dd5000801080119299982198160008a6103d87a80001301d33047375000297ae03370000401c26608c66ec0dd48019ba800233006006001375c60800026eb4c104004c114008c10c0044cc100cdd81ba9003374c0046600c00c0026eb8c0e8004dd5981d800981f801181e800991900118030009981c99bb037520046ea00052f5bded8c0600200244a666068002293099299981a8008a4c264666444a66606c66e4000c0084cc01c01ccc0e801000458dd7181a181c0019bae30340013039002303700130370012225333031301a00114bd6f7b6300991919800800a5eb7bdb180894ccc0dc0044cc0e0cdd81ba9006374c00697adef6c6013233322253330383372001400626607866ec0dd48051ba6007005153330383371e01400626607866ec0dd48051ba600700113303c337606ea400cdd3001198030030009bae30360013756606e00260760046072002646600200297adef6c60225333036001133037337606ea4010dd4001a5eb7bdb1804c8ccc8894ccc0dccdc800400189981d99bb037520106ea001c01454ccc0dccdc780400189981d99bb037520106ea001c0044cc0eccdd81ba900337500046600c00c0026eb8c0d4004dd6981b000981d001181c00098171baa01d23032303300122232533302f301d303037540022900009bad30343031375400264a66605e603a60606ea80045300103d87a8000132330010013756606a60646ea8008894ccc0d0004530103d87a80001323332225333035337220100062a66606a66e3c02000c4c03ccc0e4dd400125eb80530103d87a8000133006006001375c60660026eb4c0d0004c0e0008c0d8004cc01000c00888c8cc00400400c894ccc0c4004530103d87a800013233322253330323372200e0062a66606466e3c01c00c4c030cc0d8dd300125eb80530103d87a8000133006006001375c60600026eacc0c4004c0d4008c0cc004c0b8c0acdd50008b19800806119baf3004302b375400202a44646600200200644a66605c0022980103d87a800013322533302d300500213007330310024bd70099802002000981800098188009ba5480008c0ac004dd7181498150011bad302800130243754002604c60466ea803058dd598129813181300298120021bab3023004375860440086eb0c084010c084c084c084004c080c080004c07cc07c004c068dd50049b8748000dc3a4008603200260326034002602a6ea8008dc3a40042c602c602e006602a00460280046028002601e6ea800452613656375a0026eb4004dd68009bad001375c002ae6955ceaab9e5573eae815d0aba2574898011e581c3babcffc6102ec25ced40e1a24fba20371925c46f0299b2b9456360e004c0127d8799f581cdb0d968cda2cc636b28c0f377e66691a065b8004e57be5129aeef8224461757468ff004c01051a000f4240004c01021832004c01021832004c010105000100581d7177799e0f07f377c76676fe9232b9b0bc57ca92c56132817c1ba06d0b"
-      )
-    )
-  })
-})

package/src/Ledger/TxInput.ts

@@ -1,66 +0,0 @@
-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 type TxInput = Schema.Schema.Type<typeof TxInput>
-
-export function make(
-  id: TxOutputId.TxOutputId,
-  output: TxOutput.TxOutput | undefined = undefined
-): TxInput {
-  return {
-    _tag: "TxInput",
-    id,
-    output
-  }
-}
-
-export const decode = (bytes: Bytes.BytesLike): Cbor.DecodeEffect<TxInput> =>
-  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: TxInput, full: boolean = false) {
-  if (full) {
-    return Cbor.encodeTuple([
-      TxOutputId.encode(txInput.id),
-      TxOutput.encode(output(txInput))
-    ])
-  } else {
-    return TxOutputId.encode(txInput.id)
-  }
-}
-
-export function output(txInput: TxInput): TxOutput.TxOutput {
-  if (!txInput.output) {
-    throw new Error("txInput.output not available")
-  }
-
-  return txInput.output
-}

package/src/Ledger/TxOutput.ts

@@ -1,166 +0,0 @@
-import { Effect, Schema } from "effect"
-import * as Bytes from "../internal/Bytes.js"
-import * as Cbor from "../Cbor.js"
-import * as Address from "./Address.js"
-import * as Assets from "./Assets.js"
-import * as DatumHash from "./DatumHash.js"
-import * as TxOutputDatum from "./TxOutputDatum.js"
-
-export const TxOutputEncodingConfig = Schema.Struct({
-  strictBabbage: Schema.optional(Schema.Boolean)
-})
-
-export type TxOutputEncodingConfig = Schema.Schema.Type<
-  typeof TxOutputEncodingConfig
->
-
-export const DEFAULT_TX_OUTPUT_ENCODING_CONFIG: TxOutputEncodingConfig = {
-  strictBabbage: true
-}
-
-// TODO: add ref script
-export const TxOutput = Schema.TaggedStruct("TxOutput", {
-  address: Address.Address,
-  assets: Assets.Assets,
-  datum: Schema.optional(TxOutputDatum.TxOutputDatum),
-  refScript: Schema.optional(Schema.Uint8ArrayFromSelf),
-  encodingConfig: Schema.Struct({
-    strictBabbage: Schema.optional(Schema.Boolean)
-  })
-})
-
-export type TxOutput = Schema.Schema.Type<typeof TxOutput>
-
-export function make({
-  address,
-  assets,
-  datum = undefined,
-  refScript = undefined,
-  encodingConfig = DEFAULT_TX_OUTPUT_ENCODING_CONFIG
-}: {
-  address: Address.Address
-  assets: Assets.Assets
-  datum?: TxOutputDatum.TxOutputDatum
-  refScript?: Uint8Array
-  encodingConfig?: TxOutputEncodingConfig
-}): TxOutput {
-  return {
-    _tag: "TxOutput",
-    address,
-    assets,
-    datum,
-    refScript,
-    encodingConfig
-  }
-}
-
-export const decode = (bytes: Bytes.BytesLike): Cbor.DecodeEffect<TxOutput> =>
-  Effect.gen(function* () {
-    const stream = Bytes.makeStream(bytes)
-    if (yield* Cbor.isObject(bytes)) {
-      const {
-        0: address,
-        1: assets,
-        2: datum,
-        3: refScript
-      } = yield* Cbor.decodeObjectIKey({
-        0: Address.decode,
-        1: Assets.decode,
-        2: TxOutputDatum.decode,
-        3: (stream): Cbor.DecodeEffect<number[]> =>
-          Effect.gen(function* () {
-            if ((yield* Cbor.decodeTag(stream)) != 24n) {
-              return yield* new Cbor.DecodeError(
-                stream,
-                "unexpected reference script tag"
-              )
-            }
-
-            return yield* Cbor.decodeBytes(stream)
-          })
-      })(stream)
-
-      if (!address) {
-        return yield* new Cbor.DecodeError(stream, "address field missing")
-      }
-
-      if (!assets) {
-        return yield* new Cbor.DecodeError(stream, "assets field missing")
-      }
-
-      return make({
-        address,
-        assets,
-        ...(datum ? { datum } : {}),
-        ...(refScript ? { refScript: new Uint8Array(refScript) } : {}),
-        encodingConfig: { strictBabbage: true }
-      })
-    } else if (yield* Cbor.isTuple(bytes)) {
-      const [address, assets, datumHash] = yield* Cbor.decodeTuple(
-        [Address.decode, Assets.decode],
-        [DatumHash.decode]
-      )(stream)
-
-      return make({
-        address,
-        assets,
-        ...(datumHash ? { _tag: "Hash", hash: datumHash } : {}),
-        encodingConfig: {
-          strictBabbage: false
-        }
-      })
-    } else {
-      return yield* new Cbor.DecodeError(stream, "unexpected TxOutput encoding")
-    }
-  })
-
-export function encode(txOutput: TxOutput): number[] {
-  if (
-    (!txOutput.datum || txOutput.datum._tag == "Hash") &&
-    !txOutput.refScript &&
-    (txOutput.encodingConfig.strictBabbage == null ||
-      !txOutput.encodingConfig.strictBabbage)
-  ) {
-    // this is needed to match eternl wallet (de)serialization (annoyingly eternl deserializes the tx and then signs its own serialization)
-    // hopefully cardano-cli signs whatever serialization we choose (so we use the eternl variant in order to be compatible with both)
-
-    const fields = [
-      Address.encode(txOutput.address),
-      Assets.encode(txOutput.assets)
-    ]
-
-    if (txOutput.datum && txOutput.datum._tag == "Hash") {
-      fields.push(DatumHash.encode(txOutput.datum.hash))
-    }
-
-    return Cbor.encodeTuple(fields)
-  } else {
-    const object: Map<number, number[]> = new Map()
-
-    object.set(0, Address.encode(txOutput.address))
-    object.set(1, Assets.encode(txOutput.assets))
-
-    if (txOutput.datum) {
-      object.set(2, TxOutputDatum.encode(txOutput.datum))
-    }
-
-    if (txOutput.refScript) {
-      throw new Error("not yet implemented")
-      //object.set(
-      //    3,
-      //    Cbor.encodeTag(24n).concat(
-      //        Cbor.encodeBytes(
-      //            Cbor.encodeTuple([
-      //                Cbor.encodeInt(
-      //                    BigInt(this.refScript.plutusVersionTag)
-      //                ),
-      //                txOutput.refScript
-      //            ])
-      //        )
-      //    )
-      //)
-    }
-
-    return Cbor.encodeObjectIKey(object)
-  }
-}

package/src/Ledger/TxOutputDatum.ts

@@ -1,64 +0,0 @@
-import { Effect, Schema } from "effect"
-import * as Bytes from "../internal/Bytes.js"
-import * as Cbor from "../Cbor.js"
-import { Data } from "../Uplc"
-import * as DatumHash from "./DatumHash.js"
-
-export const TxOutputDatum = Schema.Union(
-  Schema.TaggedStruct("Inline", { data: Data.Data }),
-  Schema.TaggedStruct("Hash", { hash: DatumHash.DatumHash })
-)
-
-export type TxOutputDatum = Schema.Schema.Type<typeof TxOutputDatum>
-
-export const decode = (
-  bytes: Bytes.BytesLike
-): Cbor.DecodeEffect<TxOutputDatum> =>
-  Effect.gen(function* () {
-    const [type, decodeItem] = yield* Cbor.decodeTagged(bytes)
-
-    switch (type) {
-      case 0:
-        return { _tag: "Hash", hash: yield* decodeItem(DatumHash.decode) }
-      case 1:
-        return {
-          _tag: "Inline",
-          data: yield* decodeItem((stream: Bytes.Stream) =>
-            Effect.gen(function* () {
-              const tag = yield* Cbor.decodeTag(stream)
-              if (tag != 24n) {
-                return yield* Effect.fail(
-                  new Cbor.DecodeError(stream, `expected 24 as tag, got ${tag}`)
-                )
-              }
-
-              return yield* Data.decode(yield* Cbor.decodeBytes(stream))
-            })
-          )
-        }
-      default:
-        return yield* Effect.fail(
-          new Cbor.DecodeError(
-            Bytes.makeStream(bytes),
-            `unhandled TxOutputDatum type ${type}`
-          )
-        )
-    }
-  })
-
-export function encode(txOutputDatum: TxOutputDatum): number[] {
-  switch (txOutputDatum._tag) {
-    case "Hash":
-      return Cbor.encodeTuple([
-        Cbor.encodeInt(0n),
-        DatumHash.encode(txOutputDatum.hash)
-      ])
-    case "Inline":
-      return Cbor.encodeTuple([
-        Cbor.encodeInt(1n),
-        Cbor.encodeTag(24n).concat(
-          Cbor.encodeBytes(Data.encode(txOutputDatum.data))
-        )
-      ])
-  }
-}

package/src/Ledger/TxOutputId.ts

@@ -1,63 +0,0 @@
-import { Effect, Schema } from "effect"
-import * as Bytes from "../internal/Bytes.js"
-import * as Cbor from "../Cbor.js"
-import * as TxId from "./TxId.js"
-
-export function isValid(txOutputId: string): txOutputId is TxOutputId {
-  if (txOutputId.length < 65) {
-    return false
-  }
-
-  const txId = txOutputId.slice(0, 64)
-
-  const utxoIdx = parseInt(txOutputId.slice(64))
-
-  if (utxoIdx.toString() != txOutputId.slice(64)) {
-    return false
-  }
-
-  return /^[0-9a-fA-F]+$/.test(txId)
-}
-
-export const TxOutputId = Schema.transform(
-  Schema.String,
-  Schema.String.pipe(
-    Schema.filter((id: string) => isValid(id) || "Invalid Cardano TxOutputId"),
-    Schema.brand("TxOutputId")
-  ),
-  {
-    strict: false,
-    decode: (s) => s.split("#").join(""),
-    encode: (s) => s
-  }
-)
-
-export type TxOutputId = Schema.Schema.Type<typeof TxOutputId>
-
-export function make(txId: TxId.TxId, utxoIdx: number | bigint): TxOutputId {
-  return (txId + utxoIdx.toString()) as TxOutputId
-}
-
-export const decode = (bytes: Bytes.BytesLike): Cbor.DecodeEffect<TxOutputId> =>
-  Cbor.decodeTuple([TxId.decode, Cbor.decodeInt])(bytes).pipe(
-    Effect.map(([txId, utxoIdx]) => make(txId, utxoIdx))
-  )
-
-export function encode(txOutputId: TxOutputId): number[] {
-  return Cbor.encodeTuple([
-    TxId.encode(txId(txOutputId)),
-    Cbor.encodeInt(utxoIdx(txOutputId))
-  ])
-}
-
-export function pretty(txOutputId: TxOutputId): string {
-  return txId(txOutputId) + "#" + utxoIdx(txOutputId).toString()
-}
-
-export function txId(txOutputId: TxOutputId): TxId.TxId {
-  return txOutputId.slice(0, 64) as TxId.TxId
-}
-
-export function utxoIdx(txOutputId: TxOutputId): number {
-  return parseInt(txOutputId.slice(64))
-}

package/src/Ledger/ValidatorHash.ts

@@ -1,36 +0,0 @@
-import { Effect, Encoding, Schema } from "effect"
-import * as Bytes from "../internal/Bytes.js"
-import { decodeBytes, DecodeEffect, encodeBytes } from "../Cbor.js"
-import { Data } from "../Uplc"
-
-export function isValid(vh: string): boolean {
-  return /^[0-9a-fA-F]+$/.test(vh) && vh.length == 56
-}
-
-export const ValidatorHash = Schema.String.pipe(
-  Schema.filter((vh: string) => isValid(vh) || "Invalid Cardano ValidatorHash"),
-  Schema.brand("ValidatorHash")
-)
-
-export type ValidatorHash = Schema.Schema.Type<typeof ValidatorHash>
-
-export function make(bytes: Bytes.BytesLike) {
-  return Schema.decode(ValidatorHash)(Bytes.toHex(bytes))
-}
-
-export const FromUplcData = Schema.transform(Data.ByteArray, ValidatorHash, {
-  strict: true,
-  decode: Encoding.encodeHex,
-  encode: Bytes.toUint8Array
-})
-
-export const decode = (bytes: Bytes.BytesLike): DecodeEffect<ValidatorHash> =>
-  decodeBytes(bytes).pipe(
-    Effect.map((bytes) => new Uint8Array(bytes)),
-    Effect.map(Encoding.encodeHex),
-    Effect.map(Schema.decodeSync(ValidatorHash))
-  )
-
-export function encode(vh: ValidatorHash): number[] {
-  return encodeBytes(vh)
-}

package/src/Ledger/index.ts

@@ -1,14 +0,0 @@
-export * as Address from "./Address.js"
-export * as AssetClass from "./AssetClass.js"
-export * as Assets from "./Assets.js"
-export * as Credential from "./Credential.js"
-export * as DatumHash from "./DatumHash.js"
-export { IsMainnet } from "./IsMainnet.js"
-export * as MintingPolicy from "./MintingPolicy.js"
-export * as PubKeyHash from "./PubKeyHash.js"
-export * as TxId from "./TxId.js"
-export * as TxInput from "./TxInput.js"
-export * as TxOutput from "./TxOutput.js"
-export * as TxOutputDatum from "./TxOutputDatum.js"
-export * as TxOutputId from "./TxOutputId.js"
-export * as ValidatorHash from "./ValidatorHash.js"

package/src/Uplc/Cek.ts

@@ -1,92 +0,0 @@
-//import { Either } from "effect"
-
-/**
- * The context that terms and frames need to operate.
- */
-export interface Context {
-  readonly cost: CostTracker
-  //getBuiltin(id: number): Builtin | undefined
-  print(message: string, site?: Site): void
-  popLastMessage(): string | undefined
-}
-
-export interface Cost {
-  readonly cpu: bigint
-  readonly mem: bigint
-}
-
-export type CostBreakdown = {
-  [name: string]: Cost & { count: number }
-}
-
-export interface CostModel {
-  readonly applyTerm: Cost
-  readonly builtinTerm: Cost
-  readonly caseTerm: Cost
-  readonly constTerm: Cost
-  readonly constrTerm: Cost
-  readonly delayTerm: Cost
-  readonly forceTerm: Cost
-  readonly lambdaTerm: Cost
-  readonly startupCost: Cost
-  readonly varTerm: Cost
-  readonly builtins: Record<string, (argSizes: number[]) => Cost>
-}
-
-export interface CostTracker {
-  readonly cost: Cost
-  readonly costModel: CostModel
-  readonly breakdown: CostBreakdown
-  incrApplyCost(): void
-  incrBuiltinCost(): void
-  incrCaseCost(): void
-  incrConstCost(): void
-  incrConstrCost(): void
-  incrDelayCost(): void
-  incrForceCost(): void
-  incrLambdaCost(): void
-  incrStartupCost(): void
-  incrVarCost(): void
-  incrArgSizesCost(name: string, argSizes: bigint[]): void
-}
-
-/**
- * Instantiate a `Machine` with {@link makeCekMachine}.
- */
-//export interface Machine extends Context {
-//  readonly builtins: Builtin[]
-//  readonly logger: Logger | undefined
-//  readonly state: State
-//  readonly trace: { message: string; site?: Site }[]
-//  eval(): Result
-//}
-
-/**
- * TODO: rename to CEKResult
- * @typedef {{
- *   result: Either<
- *     {
- *       error: string
- *       callSites: CallSiteInfo[]
- *     },
- *     string | UplcValue
- *   >
- *   cost: Cost
- *   logs: {message: string, site?: Site}[]
- *   breakdown: CostBreakdown
- * }} CekResult
- * Return value is optional and can be omitted if the UplcValue doesn't suffice to contain it (eg. lambda functions).
- */
-//export interface Result {
-//  result: Either.Either<
-//    string | Value,
-//    { error: string; callSites: CallSiteInfo[] }
-//  >
-//}
-
-export interface Site {
-  readonly file: string
-  readonly line: number
-  readonly column: number
-  readonly description: string | undefined
-}