| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Ouroboros.Consensus.Mempool.Update
Description
Operations that update the mempool. They are internally divided in the pure and impure sides of the operation.
Synopsis
- implAddTx ∷ (MonadSTM m, MonadMVar m, LedgerSupportsMempool blk, HasTxId (GenTx blk)) ⇒ StrictTVar m (InternalState blk) → MVar m () → MVar m () → LedgerConfig blk → Tracer m (TraceEventMempool blk) → AddTxOnBehalfOf → GenTx blk → m (MempoolAddTxResult blk)
- implRemoveTxs ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → [GenTxId blk] → m ()
- implSyncWithLedger ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → m (MempoolSnapshot blk)
Documentation
Arguments
| ∷ (MonadSTM m, MonadMVar m, LedgerSupportsMempool blk, HasTxId (GenTx blk)) | |
| ⇒ StrictTVar m (InternalState blk) | The InternalState TVar. |
| → MVar m () | The FIFO for remote peers |
| → MVar m () | The FIFO for all remote peers and local clients |
| → LedgerConfig blk | The configuration of the ledger. |
| → Tracer m (TraceEventMempool blk) | |
| → AddTxOnBehalfOf | Whether we're acting on behalf of a remote peer or a local client. |
| → GenTx blk | The transaction to add to the mempool. |
| → m (MempoolAddTxResult blk) |
Add a single transaction to the mempool, blocking if there is no space.
implRemoveTxs ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → [GenTxId blk] → m () Source #
See removeTxs.
implSyncWithLedger ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → m (MempoolSnapshot blk) Source #
See syncWithLedger.