| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples
Synopsis
- data CHAINExample h era = CHAINExample {
- startState ∷ ChainState era
- newBlock ∷ Block h era
- intendedResult ∷ Either (NonEmpty (PredicateFailure (CHAIN era))) (ChainState era)
- testCHAINExample ∷ HasCallStack ⇒ CHAINExample (BHeader C_Crypto) C → Assertion
Documentation
data CHAINExample h era Source #
Constructors
| CHAINExample | |
Fields
| |
testCHAINExample ∷ HasCallStack ⇒ CHAINExample (BHeader C_Crypto) C → Assertion Source #
Runs example, applies chain state transition system rule (STS), and checks that trace ends with expected state or expected error.