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

Documentation

goRepl ∷ Proof era → Env era → String → IO () Source #

repl ∷ Proof era → Env era → IO () Source #

data ReplMode Source #

Constructors

Interactive 
CI 

Instances

Instances details
Eq ReplMode Source # 
Instance details

Defined in Test.Cardano.Ledger.Constrained.Preds.Repl

Methods

(==) ∷ ReplMode → ReplMode → Bool Source #

(/=) ∷ ReplMode → ReplMode → Bool Source #

modeRepl ∷ ReplMode → Proof era → Env era → String → IO () Source #