cardano-wallet-read-1.0.0.0

Synopsis

Read Cardano block data, parametrized by era

Description

Data types and functions for blockchain data, such as blocks, transactions, certificates, …. These types are * self-contained, * compatible with types from the [cardano-ledger](https://github.com/IntersectMBO/cardano-ledger) packages, * parameterized uniformly over the Cardano era (Byron, Shelley, …), * but: focus on reading from the blockchain, self-contained construction of transactions is not a design goal, * but: not complete, tailored to wallet needs This package is useful when reading data from the blockchain, when you have handle data from historic eras in a structured manner. When writing data to the blockchain, i.e. when creating new transactions, we instead recommend that you use types that are specific to the current (and the upcoming) era. The source code for this package also contains a partial, preliminary axiomatization of these types using [agda2hs](https://github.com/agda/agda2hs).

Author

Cardano Foundation (High Assurance Lab)

Maintainer

hal@cardanofoundation.org

License

Apache-2.0

Source

https://github.com/cardano-foundation/cardano-wallet-agda
Commit hash: 099b4fb3c672d94c31979fe8d436eadc6fd7ed15
Subdir: lib/cardano-wallet-read

Timestamp

2025-02-11T16:02:25Z

Revisions

None

Dependencies

library cardano-wallet-read:

["base >=4.14 && <5","bytestring >=0.10.6 && <0.13","cardano-crypto >=1.1.2 && <1.2","cardano-crypto-class >=2.1.5.0 && <2.2","cardano-crypto-praos","cardano-crypto-wrapper","cardano-data >=1.2.3.0 && <1.3","cardano-ledger-allegra","cardano-ledger-alonzo","cardano-ledger-api >=1.9.2.0 && <1.10","cardano-ledger-babbage","cardano-ledger-binary","cardano-ledger-byron","cardano-ledger-conway","cardano-ledger-core","cardano-ledger-mary","cardano-ledger-shelley","cardano-protocol-tpraos","cardano-strict-containers >=0.1.3.0 && <0.2","containers >=0.5 && <0.8","deepseq >=1.4.4 && <1.6","fmt >=0.6.3.0 && <0.7","generics-sop >=0.5.1.4 && <0.6","lens >=5.2.3 && <5.4","memory >=0.18.0 && <0.19","nothunks >=0.1.5 && <0.4","operational >=0.2.4.2 && <0.3","ouroboros-consensus >=0.20.0.0 && <0.22.0.0","ouroboros-consensus-cardano","ouroboros-consensus-protocol","ouroboros-network-api","QuickCheck >=2.14 && <=2.16","text >=1.2 && <2.2","time >=1.12.2 && <1.15","transformers >=0.6.1.0 && <0.7"]

test-suite test:

["base","bytestring","cardano-ledger-api","cardano-ledger-core","cardano-ledger-mary","cardano-wallet-read","hspec >=2.11.0 && <2.12","lens","memory","QuickCheck >=2.14 && <=2.16","with-utf8 >=1.1.0.0 && <1.2"]