Control.Concurrent.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.Concurrent.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.Concurrent.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

class (MonadMVar m, Monad (InspectMVarMonad m)) => MonadInspectMVar m where

This type class is intended for 'io-sim', where one might want to access an MVar in the underlying ST monad.

Associated Types

type InspectMVarMonad m :: Type -> Type

Methods

inspectMVar :: proxy m -> MVar m a -> InspectMVarMonad m (Maybe a)

Return the value of an MVar as an InspectMVarMonad computation. Can be Nothing if the MVar is empty.

Instances

MonadInspectMVar IO

Defined in Control.Concurrent.Class.MonadMVar

Associated Types

type InspectMVarMonad IO :: Type -> Type

Methods

inspectMVar :: proxy IO -> MVar IO a -> InspectMVarMonad IO (Maybe a)