Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.xd82dee82026-10-12Search names, modules, packages, or :: a typeCtrl K

GHC 9.14.1 · lts/ghc-9.14.x · d82dee8 · 2026-10-12

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Mempool.Update

1 type
3 values

Packageouroboros-consensus-4.2.1.0
Exports4
LicenceApache-2.0

valueimplAddTx

:: (IOLike m, MonadTimer m, LedgerSupportsMempool blk, HasTxId (GenTx blk))
=> MempoolEnv m blk
-> WhichAddTx f
-> AddTxOnBehalfOf
-> GenTx blk
-> m (f (MempoolAddTxResult blk))

valueimplRemoveTxsEvenIfValid

:: (IOLike m, LedgerSupportsMempool blk, HasTxId (GenTx blk))
=> MempoolEnv m blk
-> NonEmpty (GenTxId blk)
-> m ()

valueimplSyncWithLedger

:: (IOLike m, LedgerSupportsMempool blk, ValidateEnvelope blk, HasTxId (GenTx blk))
=> InternalState blk -> r
-> MempoolEnv m blk
-> m r

datadata WhichAddTx (f :: Type -> Type) where

Constructors

ProductionAddTx :: WhichAddTx Identity
TestingAddTx :: !DiffTime -> WhichAddTx Maybe