Control.Monad.Class.MonadMVar

Documentation

class Monad m => MonadMVar m where

Minimal complete definition

newEmptyMVar, takeMVar, tryTakeMVar, putMVar, tryPutMVar, readMVar, tryReadMVar, isEmptyMVar

Associated Types

type MVar m :: Type -> Type

Methods

newEmptyMVar :: m (MVar m a)

See newEmptyMVar.

takeMVar :: MVar m a -> m a

See takeMVar.

putMVar :: MVar m a -> a -> m ()

See putMVar.

tryTakeMVar :: MVar m a -> m (Maybe a)

See tryTakeMVar.

tryPutMVar :: MVar m a -> a -> m Bool

See tryPutMVar.

isEmptyMVar :: MVar m a -> m Bool

See isEmptyMVar.

newMVar :: a -> m (MVar m a)

See newMVar.

default newMVar :: a -> m (MVar m a)

readMVar :: MVar m a -> m a

See readMVar.

tryReadMVar :: MVar m a -> m (Maybe a)

See tryReadMVar.

swapMVar :: MVar m a -> a -> m a

See swapMVar.

default swapMVar :: MonadMask m => MVar m a -> a -> m a

withMVar :: MVar m a -> (a -> m b) -> m b

See withMVar.

default withMVar :: MonadMask m => MVar m a -> (a -> m b) -> m b

withMVarMasked :: MVar m a -> (a -> m b) -> m b

See withMVarMasked.

default withMVarMasked :: MonadMask m => MVar m a -> (a -> m b) -> m b

modifyMVar_ :: MVar m a -> (a -> m a) -> m ()

See modifyMVar_.

default modifyMVar_ :: MonadMask m => MVar m a -> (a -> m a) -> m ()

modifyMVar :: MVar m a -> (a -> m (a, b)) -> m b

See modifyMVar.

default modifyMVar :: (MonadMask m, MonadEvaluate m) => MVar m a -> (a -> m (a, b)) -> m b

modifyMVarMasked_ :: MVar m a -> (a -> m a) -> m ()

See modifyMVarMasked_.

default modifyMVarMasked_ :: MonadMask m => MVar m a -> (a -> m a) -> m ()

modifyMVarMasked :: MVar m a -> (a -> m (a, b)) -> m b

See modifyMVarMasked.

default modifyMVarMasked :: (MonadMask m, MonadEvaluate m) => MVar m a -> (a -> m (a, b)) -> m b

Instances

MonadMVar IO

Defined in Control.Monad.Class.MonadMVar

Associated Types

type MVar IO :: Type -> Type

Methods

newEmptyMVar :: IO (MVar IO a)

takeMVar :: MVar IO a -> IO a

putMVar :: MVar IO a -> a -> IO ()

tryTakeMVar :: MVar IO a -> IO (Maybe a)

tryPutMVar :: MVar IO a -> a -> IO Bool

isEmptyMVar :: MVar IO a -> IO Bool

newMVar :: a -> IO (MVar IO a)

readMVar :: MVar IO a -> IO a

tryReadMVar :: MVar IO a -> IO (Maybe a)

swapMVar :: MVar IO a -> a -> IO a

withMVar :: MVar IO a -> (a -> IO b) -> IO b

withMVarMasked :: MVar IO a -> (a -> IO b) -> IO b

modifyMVar_ :: MVar IO a -> (a -> IO a) -> IO ()

modifyMVar :: MVar IO a -> (a -> IO (a, b)) -> IO b

modifyMVarMasked_ :: MVar IO a -> (a -> IO a) -> IO ()

modifyMVarMasked :: MVar IO a -> (a -> IO (a, b)) -> IO b

(MonadMask m, MonadMVar m) => MonadMVar (ReaderT r m)

Defined in Control.Monad.Class.MonadMVar

Associated Types

type MVar (ReaderT r m) :: Type -> Type

Methods

newEmptyMVar :: ReaderT r m (MVar (ReaderT r m) a)

takeMVar :: MVar (ReaderT r m) a -> ReaderT r m a

putMVar :: MVar (ReaderT r m) a -> a -> ReaderT r m ()

tryTakeMVar :: MVar (ReaderT r m) a -> ReaderT r m (Maybe a)

tryPutMVar :: MVar (ReaderT r m) a -> a -> ReaderT r m Bool

isEmptyMVar :: MVar (ReaderT r m) a -> ReaderT r m Bool

newMVar :: a -> ReaderT r m (MVar (ReaderT r m) a)

readMVar :: MVar (ReaderT r m) a -> ReaderT r m a

tryReadMVar :: MVar (ReaderT r m) a -> ReaderT r m (Maybe a)

swapMVar :: MVar (ReaderT r m) a -> a -> ReaderT r m a

withMVar :: MVar (ReaderT r m) a -> (a -> ReaderT r m b) -> ReaderT r m b

withMVarMasked :: MVar (ReaderT r m) a -> (a -> ReaderT r m b) -> ReaderT r m b

modifyMVar_ :: MVar (ReaderT r m) a -> (a -> ReaderT r m a) -> ReaderT r m ()

modifyMVar :: MVar (ReaderT r m) a -> (a -> ReaderT r m (a, b)) -> ReaderT r m b

modifyMVarMasked_ :: MVar (ReaderT r m) a -> (a -> ReaderT r m a) -> ReaderT r m ()

modifyMVarMasked :: MVar (ReaderT r m) a -> (a -> ReaderT r m (a, b)) -> ReaderT r m b