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
- Sourcehackage.haskell.org/package/byron-spec-ledger-1.1.0.1
Modules
16 modules- Byron.Spec.Ledger.Core36
- Byron.Spec.Ledger.Core.Generators8Generators for the Ledger.Core values.
- Byron.Spec.Ledger.Core.Omniscient4Functions that are intended to be used in tests, but not in the executable
- Byron.Spec.Ledger.Delegation55
- Byron.Spec.Ledger.Delegation.Test1
- Byron.Spec.Ledger.GlobalParams5Ledger global parameters.
- Byron.Spec.Ledger.STS.UTXO9UTXO transition system
- Byron.Spec.Ledger.STS.UTXOW6UTXO transition system with witnessing
- Byron.Spec.Ledger.STS.UTXOWS2Transition system that models the application of multiple transactions to
- Byron.Spec.Ledger.UTxO19
- Byron.Spec.Ledger.UTxO.Generators20
- Byron.Spec.Ledger.Update113
- Byron.Spec.Ledger.Update.Generators1Generators for the Ledger.Update values.
- Byron.Spec.Ledger.Update.Test2
- Data.AbstractSize5An approach to computing the abstract size of data using TypeRep.
- Hedgehog.Gen.Double1Generally 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