| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
LIO.Concurrent.LMVar.Trans
Description
MonadLIO generalizations for LIO.Concurrent.LMVar.
- newEmptyLMVar :: (MonadLIO l m, Label l) => l -> m (LMVar l a)
- newEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m (LMVar l a)
- newLMVar :: (MonadLIO l m, Label l) => l -> a -> m (LMVar l a)
- newLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (LMVar l a)
- takeLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m a
- takeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a
- tryTakeLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m (Maybe a)
- tryTakeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m (Maybe a)
- putLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m ()
- putLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m ()
- tryPutLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m Bool
- tryPutLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m Bool
- readLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m a
- readLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a
- swapLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m a
- swapLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m a
- isEmptyLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m Bool
- isEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m Bool
Documentation
newEmptyLMVar :: (MonadLIO l m, Label l) => l -> m (LMVar l a) Source #
See newEmptyLMVar.
newEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> m (LMVar l a) Source #
See newEmptyLMVarP.
newLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (LMVar l a) Source #
See newLMVarP.
takeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a Source #
See takeLMVarP.
tryTakeLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m (Maybe a) Source #
See tryTakeLMVar.
tryTakeLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m (Maybe a) Source #
See tryTakeLMVarP.
putLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m () Source #
See putLMVarP.
tryPutLMVar :: (MonadLIO l m, Label l) => LMVar l a -> a -> m Bool Source #
See tryPutLMVar.
tryPutLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m Bool Source #
See tryPutLMVarP.
readLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m a Source #
See readLMVarP.
swapLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> a -> m a Source #
See swapLMVarP.
isEmptyLMVar :: (MonadLIO l m, Label l) => LMVar l a -> m Bool Source #
See isEmptyLMVar.
isEmptyLMVarP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LMVar l a -> m Bool Source #
See isEmptyLMVarP.