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-network-1.2.0.0

Ouroboros.Network.TxSubmission.Mempool.Simple

5 types
6 values

Packageouroboros-network-1.2.0.0
Exports11
LicenceApache-2.0

valueempty :: MonadSTM m => m (Mempool m txid tx)

valuegetReader

:: (MonadSTM m, Ord txid)
=> tx -> txid
-> tx -> SizeInBytes
-> Mempool m txid tx
-> TxSubmissionMempoolReader txid tx Integer m

valuegetWriter

:: (MonadSTM m, MonadTime m, Ord txid)
=> failure
-> tx -> txid
-> UTCTime -> [tx] -> STM m [Either (txid, failure) tx]
-> [(txid, failure)] -> m ()
-> Mempool m txid tx
-> TxSubmissionMempoolWriter txid tx Integer m failure

valuegetWriterWithCtx

:: (MonadSTM m, Ord txid)
=> [tx] -> m ctx
-> failure
-> tx -> txid
-> ctx -> [tx] -> STM m [Either (txid, failure) tx]
-> [(txid, failure)] -> m ()
-> Mempool m txid tx
-> TxSubmissionMempoolWriter txid tx Integer m failure

valuenew

:: (MonadSTM m, Ord txid)
=> tx -> txid
-> [tx]
-> m (Mempool m txid tx)

valueread :: MonadSTM m => Mempool m txid tx -> m [tx]

datadata TxSubmissionMempoolWriter txid tx idx (m :: Type -> Type) err

Constructors

TxSubmissionMempoolWriter
- txId :: tx -> txid
- mempoolAddTxs :: [tx] -> m ([txid], [(txid, err)])

datadata TxSubmissionMempoolReader txid tx idx (m :: Type -> Type)

Constructors

TxSubmissionMempoolReader
- mempoolGetSnapshot :: STM m (MempoolSnapshot txid tx idx)
- mempoolZeroIdx :: idx

newtypenewtype Mempool (m :: Type -> Type) txid tx

Constructors

Mempool (StrictTVar m (MempoolSeq txid tx))

datadata MempoolSeq txid tx

Constructors

MempoolSeq
- mempoolSet :: !Set txid
- mempoolSeq :: !Seq (WithIndex tx)
- nextIdx :: !Integer

datadata WithIndex tx

Constructors

WithIndex
- getIdx :: !Integer
- getTx :: !tx