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.MiniProtocol.ObjectDiffusion.ObjectPool.API

2 types
2 values

Packageouroboros-consensus-4.2.1.0
Exports4
LicenceApache-2.0

valueprop_objectsAfterAreGreaterThanTicket

:: (Ord ticketNo, MonadSTM m)
=> ObjectPoolReader objectId object ticketNo m
-> ticketNo
-> Word64
-> m Bool

valueprop_objectsAfterArePresentOnWriter

:: MonadSTM m
=> ObjectPoolReader objectId object ticketNo m
-> ObjectPoolWriter objectId object m
-> ticketNo
-> Word64
-> m Bool

datadata ObjectPoolReader objectId object ticketNo (m :: Type -> Type)

Constructors

ObjectPoolReader
- oprObjectId :: object -> objectId
- oprZeroTicketNo :: ticketNo
- oprObjectsAfter :: ticketNo -> Word64 -> STM m (Maybe (m (Map ticketNo object)))

datadata ObjectPoolWriter objectId object (m :: Type -> Type)

Constructors

ObjectPoolWriter
- opwObjectId :: object -> objectId
- opwAddObjects :: [object] -> m ()
- opwHasObject :: STM m (objectId -> Bool)