| Safe Haskell | None |
|---|---|
| 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 ∷ (IOLike m, LedgerSupportsMempool blk, ValidateEnvelope blk, HasTxId (GenTx blk)) ⇒ MempoolEnv m blk → AddTxOnBehalfOf → GenTx blk → m (MempoolAddTxResult blk)
- implRemoveTxsEvenIfValid ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → NonEmpty (GenTxId blk) → m ()
- implSyncWithLedger ∷ (IOLike m, LedgerSupportsMempool blk, ValidateEnvelope blk, HasTxId (GenTx blk)) ⇒ MempoolEnv m blk → m (MempoolSnapshot blk)
Documentation
Arguments
| ∷ (IOLike m, LedgerSupportsMempool blk, ValidateEnvelope blk, HasTxId (GenTx blk)) | |
| ⇒ MempoolEnv m 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.
implRemoveTxsEvenIfValid ∷ (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk), ValidateEnvelope blk) ⇒ MempoolEnv m blk → NonEmpty (GenTxId blk) → m () Source #
See removeTxsEvenIfValid.
implSyncWithLedger ∷ (IOLike m, LedgerSupportsMempool blk, ValidateEnvelope blk, HasTxId (GenTx blk)) ⇒ MempoolEnv m blk → m (MempoolSnapshot blk) Source #
See syncWithLedger.