This pull request adds a type TxId to the Read hierarchy, and also starts to split the hierarchy into two parts:
Cardano.Read.Ledger — presents an era-indexed interface to the ledger types
Cardano.Wallet.Read — uses the above types to present a self-contained, era-indexed and hopefully simple view of the ledger concepts.
Comments
On Cardano.Read.Ledger:
I have refrained from renaming the existing modules in Cardano.Wallet.Read — I intend to move them later.
On Cardano.Wallet.Read:
The TxId type is era-independent: A TxId that was parsed in one era may refer to a transaction which is from an entirely different era, and we can't even statically tell from which one. Hence, the type has no era-parameter.
For the internal representation of TxId, I have chosen to be compatible with the type TxId from the shelley-style ledgers with zero-cost conversion. For Byron-transactions we do need to convert, though.
This pull request prepares the addition of a TxIn type.
This pull request adds a type
TxId
to theRead
hierarchy, and also starts to split the hierarchy into two parts:Cardano.Read.Ledger
— presents an era-indexed interface to the ledger typesCardano.Wallet.Read
— uses the above types to present a self-contained, era-indexed and hopefully simple view of the ledger concepts.Comments
On
Cardano.Read.Ledger
:Cardano.Wallet.Read
— I intend to move them later.On
Cardano.Wallet.Read
:TxId
type is era-independent: ATxId
that was parsed in oneera
may refer to a transaction which is from an entirely different era, and we can't even statically tell from which one. Hence, the type has noera
-parameter.TxId
, I have chosen to be compatible with the typeTxId
from the shelley-style ledgers with zero-cost conversion. For Byron-transactions we do need to convert, though.TxIn
type.Issue Number
ADP-3215