Safe Haskell	None
Language	Haskell2010

Test.Consensus.Mempool.StateMachine

Contents

Orphan instances

Description

See MakeAtomic.

Synopsis

tests ∷ TestTree

Documentation

tests ∷ TestTree Source #

See MakeAtomic on the reasoning behind having these tests.

Orphan instances

ToExpr Addr Source #
Instance details Methods toExpr ∷ Addr → Expr Source # listToExpr ∷ [Addr] → Expr Source #
ToExpr Expiry Source #
Instance details Methods toExpr ∷ Expiry → Expr Source # listToExpr ∷ [Expiry] → Expr Source #
ToExpr Tx Source #
Instance details Methods toExpr ∷ Tx → Expr Source # listToExpr ∷ [Tx] → Expr Source #
ToExpr (GenTx TestBlock) Source #
Instance details Methods toExpr ∷ GenTx TestBlock → Expr Source # listToExpr ∷ [GenTx TestBlock] → Expr Source #
Arbitrary (LedgerState TestBlock ValuesMK) Source #
Instance details Methods arbitrary ∷ Gen (LedgerState TestBlock ValuesMK) Source # shrink ∷ LedgerState TestBlock ValuesMK → [LedgerState TestBlock ValuesMK] Source #
(StandardHash blk, GetTip (LedgerState blk)) ⇒ Eq (LedgerState blk ValuesMK) Source #
Instance details Methods (==) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool # (/=) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool #
(UnTick blk, StandardHash blk, GetTip (LedgerState blk)) ⇒ Eq (TickedLedgerState blk ValuesMK) Source #
Instance details Methods (==) ∷ TickedLedgerState blk ValuesMK → TickedLedgerState blk ValuesMK → Bool # (/=) ∷ TickedLedgerState blk ValuesMK → TickedLedgerState blk ValuesMK → Bool #
(Eq (Validated (GenTx blk)), m ~ TxMeasure blk, Eq m) ⇒ Eq (TxSeq m (Validated (GenTx blk))) Source #
Instance details Methods (==) ∷ TxSeq m (Validated (GenTx blk)) → TxSeq m (Validated (GenTx blk)) → Bool # (/=) ∷ TxSeq m (Validated (GenTx blk)) → TxSeq m (Validated (GenTx blk)) → Bool #
(StandardHash blk, GetTip (LedgerState blk)) ⇒ Ord (LedgerState blk ValuesMK) Source #
Instance details Methods compare ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Ordering # (<) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool # (<=) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool # (>) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool # (>=) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool # max ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → LedgerState blk ValuesMK # min ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → LedgerState blk ValuesMK #
NoThunks (Mempool IO TestBlock) Source #
Instance details Methods noThunks ∷ Context → Mempool IO TestBlock → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Mempool IO TestBlock → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Mempool IO TestBlock) → String Source #
ToExpr (LedgerState TestBlock ValuesMK) Source #
Instance details Methods toExpr ∷ LedgerState TestBlock ValuesMK → Expr Source # listToExpr ∷ [LedgerState TestBlock ValuesMK] → Expr Source #
ToExpr (TickedLedgerState TestBlock ValuesMK) Source #
Instance details Methods toExpr ∷ TickedLedgerState TestBlock ValuesMK → Expr Source # listToExpr ∷ [TickedLedgerState TestBlock ValuesMK] → Expr Source #
ToExpr (LedgerTables (LedgerState TestBlock) ValuesMK) Source #
Instance details Methods toExpr ∷ LedgerTables (LedgerState TestBlock) ValuesMK → Expr Source # listToExpr ∷ [LedgerTables (LedgerState TestBlock) ValuesMK] → Expr Source #
ToExpr (ValuesMK TxIn TxOut) Source #
Instance details Methods toExpr ∷ ValuesMK TxIn TxOut → Expr Source # listToExpr ∷ [ValuesMK TxIn TxOut] → Expr Source #