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.Preds.NewEpochState

Documentation

epochstatePreds ∷ EraCertState era ⇒ Proof era → [Pred era] Source #

newEpochStatePreds ∷ Era era ⇒ Proof era → [Pred era] Source #

epochStateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era) Source #

demoES ∷ Reflect era ⇒ Proof era → ReplMode → IO () Source #

demoESTest ∷ TestTree Source #

mainES ∷ IO () Source #

newEpochStateStage ∷ Reflect era ⇒ Proof era → Subst era → Gen (Subst era) Source #

demoNES ∷ Reflect era ⇒ Proof era → ReplMode → IO () Source #

demoNESTest ∷ TestTree Source #

mainNES ∷ IO () Source #