Safe Haskell | None |
---|---|
Language | Haskell2010 |
Test.Consensus.Mempool.Mocked
Description
Mempool with a mocked ledger interface
Synopsis
- data InitialMempoolAndModelParams blk = MempoolAndModelParams {
- immpInitialState ∷ !(LedgerState blk ValuesMK)
- immpLedgerConfig ∷ !(LedgerConfig blk)
- data MockedMempool (m ∷ Type → Type) blk
- openMockedMempool ∷ (LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolCapacityBytesOverride → Tracer IO (TraceEventMempool blk) → InitialMempoolAndModelParams blk → IO (MockedMempool IO blk)
- setLedgerState ∷ MockedMempool IO blk → LedgerState blk ValuesMK → IO ()
- addTx ∷ MockedMempool m blk → AddTxOnBehalfOf → GenTx blk → m (MempoolAddTxResult blk)
- getTxs ∷ LedgerSupportsMempool blk ⇒ MockedMempool IO blk → IO [GenTx blk]
- removeTxsEvenIfValid ∷ MockedMempool m blk → NonEmpty (GenTxId blk) → m ()
Documentation
data InitialMempoolAndModelParams blk Source #
Constructors
MempoolAndModelParams | |
Fields
|
Mempool with a mocked LedgerDB interface
data MockedMempool (m ∷ Type → Type) blk Source #
Instances
NFData (MockedMempool m blk) Source # | |
Defined in Test.Consensus.Mempool.Mocked Methods rnf ∷ MockedMempool m blk → () # |
openMockedMempool ∷ (LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolCapacityBytesOverride → Tracer IO (TraceEventMempool blk) → InitialMempoolAndModelParams blk → IO (MockedMempool IO blk) Source #
setLedgerState ∷ MockedMempool IO blk → LedgerState blk ValuesMK → IO () Source #
Mempool API functions
addTx ∷ MockedMempool m blk → AddTxOnBehalfOf → GenTx blk → m (MempoolAddTxResult blk) Source #
getTxs ∷ LedgerSupportsMempool blk ⇒ MockedMempool IO blk → IO [GenTx blk] Source #
removeTxsEvenIfValid ∷ MockedMempool m blk → NonEmpty (GenTxId blk) → m () Source #