tests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace

Synopsis

Documentation

minitraceEither ∷ ∀ fn s e. (ExecSpecRule fn s e, ExecState fn s e ~ State (EraRule s e), PrettyA (Signal (EraRule s e)), PrettyA (State (EraRule s e))) ⇒ WitRule s e → Proxy fn → IntGen (Either [String] [Signal (EraRule s e)]) Source #

Generate either a list of signals, or a list of error messages

minitrace ∷ ∀ fn s e. (ExecSpecRule fn s e, ExecState fn s e ~ State (EraRule s e), PrettyA (Signal (EraRule s e)), PrettyA (State (EraRule s e))) ⇒ WitRule s e → Proxy fn → IntGen [Signal (EraRule s e)] Source #

minitraceProp ∷ ∀ s e. (ExecSpecRule ConwayFn s e, ExecState ConwayFn s e ~ State (EraRule s e), PrettyA (Signal (EraRule s e)), PrettyA (State (EraRule s e))) ⇒ WitRule s e → Proxy ConwayFnInt → (Signal (EraRule s e) → String) → Gen Property Source #

classifyMany ∷ (x → String) → [x] → PropertyProperty Source #

classifyFirst ∷ (x → String) → [x] → PropertyProperty Source #

classifyFirst' ∷ (x → Maybe String) → [x] → PropertyProperty Source #

checkIO () Source #

Run one check

specSpec Source #

Run a minitrace for every instance of ExecRuleSpec