| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Shelley.Examples.Chain
Synopsis
- data CHAINExample era = CHAINExample {
- startState ∷ ChainState era
- newBlock ∷ Block (BHeader MockCrypto) era
- intendedResult ∷ Either (NonEmpty (PredicateFailure (CHAIN era))) (ChainState era)
- testCHAINExample ∷ HasCallStack ⇒ CHAINExample ShelleyEra → Assertion
Documentation
data CHAINExample era Source #
Constructors
| CHAINExample | |
Fields
| |
Instances
| (EraGov era, EraTxOut era, Show (BlockBody era), Show (CertState era), Show (InstantStake era), Show (StashedAVVMAddresses era), Show (PredicateFailure (EraRule "BBODY" era)), Show (PredicateFailure (EraRule "TICK" era)), Show (PredicateFailure (EraRule "TICKN" era))) ⇒ Show (CHAINExample era) Source # | |
Defined in Test.Cardano.Ledger.Shelley.Examples.Chain Methods showsPrec ∷ Int → CHAINExample era → ShowS # show ∷ CHAINExample era → String # showList ∷ [CHAINExample era] → ShowS # | |
testCHAINExample ∷ HasCallStack ⇒ CHAINExample ShelleyEra → Assertion Source #
Runs example, applies chain state transition system rule (STS), and checks that trace ends with expected state or expected error.