Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
eraRoundTripProps ∷ ∀ e. (ApplyTx e, Arbitrary (ApplyTxError e), EncCBOR (PredicateFailure (EraRule "LEDGER" e)), DecCBOR (PredicateFailure (EraRule "LEDGER" e))) ⇒ TestTree Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
eraRoundTripProps ∷ ∀ e. (ApplyTx e, Arbitrary (ApplyTxError e), EncCBOR (PredicateFailure (EraRule "LEDGER" e)), DecCBOR (PredicateFailure (EraRule "LEDGER" e))) ⇒ TestTree Source #