Package1.1.0.1Testing
byron-spec-ledger
Executable specification of Cardano ledger
- Version1.1.0.1
- CategoryTesting
- LicenceApache-2.0
- AuthorIOHK
- Maintaineroperations@
iohk. io - Homepagegithub.
com/ input-output-hk/ cardano-legder - Pinned byhackage byron-spec-ledger 1.
1. 0. 1 - Sourcebyron-spec-ledger-1.
1. 0. 1 on Hackage
Modules
- Byron.Spec.Ledger.Core
- Byron.Spec.Ledger.Core.GeneratorsGenerators for the Ledger.Core values.
- Byron.Spec.Ledger.Core.OmniscientFunctions that are intended to be used in tests, but not in the executable
- Byron.Spec.Ledger.Delegation
- Byron.Spec.Ledger.Delegation.Test
- Byron.Spec.Ledger.GlobalParamsLedger global parameters.
- Byron.Spec.Ledger.STS.UTXOUTXO transition system
- Byron.Spec.Ledger.STS.UTXOWUTXO transition system with witnessing
- Byron.Spec.Ledger.STS.UTXOWSTransition system that models the application of multiple transactions to
- Byron.Spec.Ledger.UTxO
- Byron.Spec.Ledger.UTxO.Generators
- Byron.Spec.Ledger.Update
- Byron.Spec.Ledger.Update.GeneratorsGenerators for the Ledger.Update values.
- Byron.Spec.Ledger.Update.Test
- Data.AbstractSizeAn approach to computing the abstract size of data using TypeRep.
- Hedgehog.Gen.DoubleGenerally useful generators not present in the upstream release
Depends on
14 packages- Unique-0.4.8.0in this set
- base-4.22.0.0with GHC
- bimap-0.5.0in this set
- bytestring-0.12.2.0with GHC
- cardano-crypto-class-2.5.1.0in this set
- cardano-ledger-binary-1.9.1.0in this set
- containers-0.8with GHC
- crypton-1.0.6in this set
- hashable-1.5.1.0in this set
- hedgehog-1.7in this set
- microlens-0.4.14.0in this set
- microlens-th-0.4.3.17in this set
- nothunks-0.3.1in this set
- small-steps-1.1.4.0in this set