Safe Haskell	None
Language	Haskell2010

Control.Concurrent.Class.MonadMVar.Strict

Contents

StrictMVar
Re-exports

Description

This module corresponds to Control.Concurrent.MVar in the base package.

Synopsis

data StrictMVar (m :: Type -> Type) a
type LazyMVar (m :: Type -> Type) = MVar m
castStrictMVar :: forall (m :: Type -> Type) (n :: Type -> Type) a. LazyMVar m ~ LazyMVar n => StrictMVar m a -> StrictMVar n a
toLazyMVar :: forall (m :: Type -> Type) a. StrictMVar m a -> LazyMVar m a
fromLazyMVar :: forall (m :: Type -> Type) a. MVar m a -> StrictMVar m a
newEmptyMVar :: MonadMVar m => m (StrictMVar m a)
newMVar :: MonadMVar m => a -> m (StrictMVar m a)
takeMVar :: MonadMVar m => StrictMVar m a -> m a
putMVar :: MonadMVar m => StrictMVar m a -> a -> m ()
readMVar :: MonadMVar m => StrictMVar m a -> m a
swapMVar :: MonadMVar m => StrictMVar m a -> a -> m a
tryTakeMVar :: MonadMVar m => StrictMVar m a -> m (Maybe a)
tryPutMVar :: MonadMVar m => StrictMVar m a -> a -> m Bool
isEmptyMVar :: MonadMVar m => StrictMVar m a -> m Bool
withMVar :: MonadMVar m => StrictMVar m a -> (a -> m b) -> m b
withMVarMasked :: MonadMVar m => StrictMVar m a -> (a -> m b) -> m b
modifyMVar_ :: MonadMVar m => StrictMVar m a -> (a -> m a) -> m ()
modifyMVar :: MonadMVar m => StrictMVar m a -> (a -> m (a, b)) -> m b
modifyMVarMasked_ :: MonadMVar m => StrictMVar m a -> (a -> m a) -> m ()
modifyMVarMasked :: MonadMVar m => StrictMVar m a -> (a -> m (a, b)) -> m b
tryReadMVar :: MonadMVar m => StrictMVar m a -> m (Maybe a)
labelMVar :: MonadLabelledMVar m => StrictMVar m a -> String -> m ()
class Monad m => MonadMVar (m :: Type -> Type)

StrictMVar

data StrictMVar (m :: Type -> Type) a Source #

type LazyMVar (m :: Type -> Type) = MVar m Source #

castStrictMVar :: forall (m :: Type -> Type) (n :: Type -> Type) a. LazyMVar m ~ LazyMVar n => StrictMVar m a -> StrictMVar n a Source #

toLazyMVar :: forall (m :: Type -> Type) a. StrictMVar m a -> LazyMVar m a Source #

Get the underlying MVar

Since we obviously cannot guarantee that updates to this LazyMVar will be strict, this should be used with caution.

fromLazyMVar :: forall (m :: Type -> Type) a. MVar m a -> StrictMVar m a Source #

Create a StrictMVar from a LazyMVar

It is not guaranteed that the LazyMVar contains a value that is in WHNF, so there is no guarantee that the resulting StrictMVar contains a value that is in WHNF. This should be used with caution.

newEmptyMVar :: MonadMVar m => m (StrictMVar m a) Source #

newMVar :: MonadMVar m => a -> m (StrictMVar m a) Source #

takeMVar :: MonadMVar m => StrictMVar m a -> m a Source #

putMVar :: MonadMVar m => StrictMVar m a -> a -> m () Source #

readMVar :: MonadMVar m => StrictMVar m a -> m a Source #

swapMVar :: MonadMVar m => StrictMVar m a -> a -> m a Source #

tryTakeMVar :: MonadMVar m => StrictMVar m a -> m (Maybe a) Source #

tryPutMVar :: MonadMVar m => StrictMVar m a -> a -> m Bool Source #

isEmptyMVar :: MonadMVar m => StrictMVar m a -> m Bool Source #

withMVar :: MonadMVar m => StrictMVar m a -> (a -> m b) -> m b Source #

withMVarMasked :: MonadMVar m => StrictMVar m a -> (a -> m b) -> m b Source #

modifyMVar_ :: MonadMVar m => StrictMVar m a -> (a -> m a) -> m () Source #

modifyMVar :: MonadMVar m => StrictMVar m a -> (a -> m (a, b)) -> m b Source #

modifyMVarMasked_ :: MonadMVar m => StrictMVar m a -> (a -> m a) -> m () Source #

modifyMVarMasked :: MonadMVar m => StrictMVar m a -> (a -> m (a, b)) -> m b Source #

tryReadMVar :: MonadMVar m => StrictMVar m a -> m (Maybe a) Source #

labelMVar :: MonadLabelledMVar m => StrictMVar m a -> String -> m () Source #

Re-exports

class Monad m => MonadMVar (m :: Type -> Type) #

Minimal complete definition

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

Instances

Instances details

MonadMVar IO

Instance details

Defined in Control.Concurrent.Class.MonadMVar

Associated Types

type MVar IO
Instance details Defined in Control.Concurrent.Class.MonadMVar type MVar IO = MVar

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)

Instance details

Defined in Control.Concurrent.Class.MonadMVar

Associated Types

type MVar (ReaderT r m)
Instance details Defined in Control.Concurrent.Class.MonadMVar type MVar (ReaderT r m) = WrappedMVar r m

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 #