Test.Consensus.Mempool.StateMachine
Contents
Description
See MakeAtomic.
MakeAtomic
tests ∷ TestTree Source #
See MakeAtomic on the reasoning behind having these tests.
Methods
toExpr ∷ Addr → Expr Source #
listToExpr ∷ [Addr] → Expr Source #
toExpr ∷ Expiry → Expr Source #
listToExpr ∷ [Expiry] → Expr Source #
toExpr ∷ Tx → Expr Source #
listToExpr ∷ [Tx] → Expr Source #
toExpr ∷ GenTx TestBlock → Expr Source #
listToExpr ∷ [GenTx TestBlock] → Expr Source #
arbitrary ∷ Gen (LedgerState TestBlock ValuesMK) Source #
shrink ∷ LedgerState TestBlock ValuesMK → [LedgerState TestBlock ValuesMK] Source #
(==) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool #
(/=) ∷ LedgerState blk ValuesMK → LedgerState blk ValuesMK → Bool #
(==) ∷ TickedLedgerState blk ValuesMK → TickedLedgerState blk ValuesMK → Bool #
(/=) ∷ TickedLedgerState blk ValuesMK → TickedLedgerState blk ValuesMK → Bool #
(==) ∷ TxSeq m (Validated (GenTx blk)) → TxSeq m (Validated (GenTx blk)) → Bool #
(/=) ∷ TxSeq m (Validated (GenTx blk)) → TxSeq m (Validated (GenTx blk)) → Bool #
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 ∷ 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 → Expr Source #
listToExpr ∷ [LedgerState TestBlock ValuesMK] → Expr Source #
toExpr ∷ TickedLedgerState TestBlock ValuesMK → Expr Source #
listToExpr ∷ [TickedLedgerState TestBlock ValuesMK] → Expr Source #
toExpr ∷ LedgerTables (LedgerState TestBlock) ValuesMK → Expr Source #
listToExpr ∷ [LedgerTables (LedgerState TestBlock) ValuesMK] → Expr Source #
toExpr ∷ ValuesMK TxIn TxOut → Expr Source #
listToExpr ∷ [ValuesMK TxIn TxOut] → Expr Source #