Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Test.Cardano.Ledger.Generic.MockChain
Documentation
Instances
data MockChainFailure era Source #
Constructors
MockChainFromTickFailure !(ShelleyTickPredFailure era) | |
MockChainFromLedgersFailure !(ShelleyLedgersPredFailure era) | |
BlocksOutOfOrder !SlotNo !SlotNo |
Instances
data MockChainEvent era Source #
Constructors
MockChainFromTickEvent !(ShelleyTickEvent era) | |
MockChainFromLedgersEvent !(ShelleyLedgersEvent era) |
Instances
(Show (ShelleyTickEvent era), Show (ShelleyLedgersEvent era)) ⇒ Show (MockChainEvent era) Source # | |
Defined in Test.Cardano.Ledger.Generic.MockChain Methods showsPrec ∷ Int → MockChainEvent era → ShowS # show ∷ MockChainEvent era → String # showList ∷ [MockChainEvent era] → ShowS # | |
(Eq (ShelleyTickEvent era), Eq (ShelleyLedgersEvent era)) ⇒ Eq (MockChainEvent era) Source # | |
Defined in Test.Cardano.Ledger.Generic.MockChain Methods (==) ∷ MockChainEvent era → MockChainEvent era → Bool # (/=) ∷ MockChainEvent era → MockChainEvent era → Bool # |
Constructors
MockBlock | |
Instances
Generic (MockBlock era) Source # | |
Show (MockBlock era) Source # | |
ToExpr (StrictSeq (Tx era)) ⇒ ToExpr (MockBlock era) Source # | |
type Rep (MockBlock era) Source # | |
Defined in Test.Cardano.Ledger.Generic.MockChain type Rep (MockBlock era) = D1 ('MetaData "MockBlock" "Test.Cardano.Ledger.Generic.MockChain" "cardano-ledger-test-9.9.9.9-inplace" 'False) (C1 ('MetaCons "MockBlock" 'PrefixI 'True) (S1 ('MetaSel ('Just "mbIssuer") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (KeyHash 'StakePool)) :*: (S1 ('MetaSel ('Just "mbSlot") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo) :*: S1 ('MetaSel ('Just "mbTrans") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (StrictSeq (Tx era)))))) |
data MockChainState era Source #
Constructors
MockChainState | |
Fields
|
Instances
ppMockChainState ∷ (Reflect era, ShelleyEraTest era) ⇒ MockChainState era → Expr Source #
ppMockChainFailure ∷ ToExpr (MockChainFailure era) ⇒ MockChainFailure era → Expr Source #
noThunksGen ∷ Proof era → MockChainState era → IO (Maybe ThunkInfo) Source #