Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x99ffbb82026-10-19Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19

Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util.STM

Synopsis

value blockUntilAllJust
value blockUntilChanged
value blockUntilJust
value forkLinkedWatcher
value forkLinkedWatcherAllocate
value forkLinkedWatcherFinalize
value runWhenJust
value simId
value simStateT
value withTMVar
value withTMVarAnd
value withWatcher
newtype Sim
data Watcher
newtype Fingerprint
data WithFingerprint

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