Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.Util.MonadSTM.StrictSVar

valuecastStrictSVar

valueisEmptySVar :: MonadSTM m => StrictSVar m a -> m Bool

valuemodifySVar

valuemodifySVar_

valuenewEmptySVar :: MonadSTM m => a -> m (StrictSVar m a)

valuenewEmptySVarWithInvariant

valuenewSVar :: MonadSTM m => a -> m (StrictSVar m a)

valuenewSVarWithInvariant

valueputSVar :: (MonadSTM m, HasCallStack) => StrictSVar m a -> a -> m ()

valuereadSVar :: MonadSTM m => StrictSVar m a -> m a

valuereadSVarSTM :: MonadSTM m => StrictSVar m a -> STM m a

valueswapSVar :: (MonadSTM m, HasCallStack) => StrictSVar m a -> a -> m a

valuetakeSVar :: MonadSTM m => StrictSVar m a -> m a

valuetryPutSVar :: (MonadSTM m, HasCallStack) => StrictSVar m a -> a -> m Bool

valuetryReadSVar :: MonadSTM m => StrictSVar m a -> m (Maybe a)

valuetryTakeSVar :: MonadSTM m => StrictSVar m a -> m (Maybe a)

valueupdateSVar

valueupdateSVar_

datadata StrictSVar (m :: Type -> Type) a

Instances2NoThunks

NoThunks (StrictSVar m a) => NoThunks (StrictSVar (WithEarlyExit m) a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.EarlyExit
NoThunks a => NoThunks (StrictSVar IO a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Util.MonadSTM.StrictSVar