cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.NewEpoch

Description

Specs necessary to generate state for the NEWEPOCH rule

Documentation

newEpochStateSpec ∷ Specification fn (NewEpochState ConwayEra) Source #