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

Documentation

utxoPreds ∷ ∀ era. Reflect era ⇒ UnivSize → Proof era → [Pred era] Source #

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

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