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.PParams

Documentation

pParamsPreds ∷ Reflect era ⇒ Proof era → [Pred era] Source #

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

extract ∷ Era era ⇒ Term era t → Term era s → Pred era Source #

mainPParams ∷ IO () Source #

demoTest ∷ TestTree Source #