consensus-test
Safe HaskellNone
LanguageHaskell2010

Test.Consensus.Mempool.StateMachine

Description

See MakeAtomic.

Synopsis

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 #