LIO.Concurrent.LMVar.Trans

MonadLIO generalizations for LIO.Concurrent.LMVar.

Documentation

newEmptyLMVar :: (MonadLIO l m, Label l) => l -> m (LMVar l a)

See newEmptyLMVar.

newEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m (LMVar l a)

See newEmptyLMVarP.

newLMVar :: (MonadLIO l m, Label l) => l -> a -> m (LMVar l a)

See newLMVar.

newLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (LMVar l a)

See newLMVarP.

takeLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m a

See takeLMVar.

takeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a

See takeLMVarP.

tryTakeLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m (Maybe a)

See tryTakeLMVar.

tryTakeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m (Maybe a)

See tryTakeLMVarP.

putLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m ()

See putLMVar.

putLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m ()

See putLMVarP.

tryPutLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m Bool

See tryPutLMVar.

tryPutLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m Bool

See tryPutLMVarP.

readLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m a

See readLMVar.

readLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a

See readLMVarP.

swapLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m a

See swapLMVar.

swapLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m a

See swapLMVarP.

isEmptyLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m Bool

See isEmptyLMVar.

isEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m Bool

See isEmptyLMVarP.