| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Conformance.ExecSpecRule.MiniTrace
Synopsis
- 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 → Int → Gen (Either [String] [Signal (EraRule s e)])
- 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 → Int → Gen [Signal (EraRule s e)]
- 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 ConwayFn → Int → (Signal (EraRule s e) → String) → Gen Property
- classifyMany ∷ (x → String) → [x] → Property → Property
- classifyFirst ∷ (x → String) → [x] → Property → Property
- classifyFirst' ∷ (x → Maybe String) → [x] → Property → Property
- nameRatify ∷ RatifySignal era → String
- nameGovSignal ∷ GovSignal (ConwayEra StandardCrypto) → String
- nameAlonzoTx ∷ AlonzoTx era → String
- check ∷ IO ()
- spec ∷ Spec
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 → Int → Gen (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 → Int → Gen [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 ConwayFn → Int → (Signal (EraRule s e) → String) → Gen Property Source #
nameRatify ∷ RatifySignal era → String Source #
nameAlonzoTx ∷ AlonzoTx era → String Source #