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.Util.STM

4 types
12 values

Packageouroboros-consensus-4.2.1.0
Exports16
LicenceApache-2.0

valueblockUntilAllJust :: MonadSTM m => [STM m (Maybe a)] -> STM m [a]

valueblockUntilChanged

:: (MonadSTM m, Eq b)
=> a -> b
-> b
-> STM m a
-> STM m (a, b)

valueblockUntilJust :: MonadSTM m => STM m (Maybe a) -> STM m a

valueforkLinkedWatcher

:: (IOLike m, Eq fp, HasCallStack)
=> ResourceRegistry m
-> String
-> Watcher m a fp
-> m (Thread m Void)

valueforkLinkedWatcherAllocate

:: (IOLike m, Eq fp, HasCallStack)
=> ResourceRegistry m
-> String
-> m r
-> r -> m ()
-> r -> Watcher m a fp
-> m (Thread m Void)

valueforkLinkedWatcherFinalize

:: (IOLike m, Eq fp, HasCallStack)
=> ResourceRegistry m
-> String
-> Watcher m a fp
-> m ()
-> m (Thread m Void)

valuerunWhenJust

:: IOLike m
=> ResourceRegistry m
-> String
-> STM m (Maybe a)
-> a -> m ()
-> m ()

valuesimId :: Sim (STM m) m

valuesimStateT :: IOLike m => StrictTVar m st -> Sim n m -> Sim (StateT st n) m

valuewithTMVar :: IOLike m => StrictTMVar m a -> (a -> m (c, a)) -> m c

valuewithTMVarAnd

:: IOLike m
=> StrictTMVar m a
-> a -> STM m b
-> a -> b -> m (c, a)
-> m c

valuewithWatcher

:: (IOLike m, Eq fp, HasCallStack)
=> String
-> Watcher m a fp
-> m r
-> m r

newtypenewtype Sim (n :: Type -> Type) (m :: Type -> Type)

Constructors

Sim
- runSim :: forall a. n a -> STM m a

datadata Watcher (m :: Type -> Type) a fp

Constructors

Watcher
- wFingerprint :: a -> fp
- wInitial :: Maybe fp
- wNotify :: a -> m ()
- wReader :: STM m a

newtypenewtype Fingerprint

Constructors

Fingerprint Word64

datadata WithFingerprint a

Constructors

WithFingerprint
- forgetFingerprint :: !a
- getFingerprint :: !Fingerprint