Moduleio-classes-1.8.0.1

Control.Concurrent.Class.MonadSTM.TVar

Synopsis

valuedebugTraceTVar

valuedebugTraceTVarIO :: (MonadTraceSTM m, Show a) => TVar m a -> m ()

methodlabelTVar :: TVar m a -> String -> STM m ()

methodlabelTVarIO :: TVar m a -> String -> m ()

familytype family TVar (m :: Type -> Type) :: Type -> Type

Instances2TVar

type TVar IO = TVarDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal
type TVar (ReaderT r m) = TVar mDefined in io-classes-1.8.0.1 · Control.Monad.Class.MonadSTM.Internal

methodcheck :: Bool -> STM m ()

methodmodifyTVar :: TVar m a -> (a -> a) -> STM m ()

methodmodifyTVar' :: TVar m a -> (a -> a) -> STM m ()

methodnewTVar :: a -> STM m (TVar m a)

methodnewTVarIO :: a -> m (TVar m a)

methodreadTVar :: TVar m a -> STM m a

methodreadTVarIO :: TVar m a -> m a

methodstateTVar :: TVar m s -> (s -> (a, s)) -> STM m a

methodswapTVar :: TVar m a -> a -> STM m a

methodwriteTVar :: TVar m a -> a -> STM m ()

methodtraceTVar

methodtraceTVarIO