| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
LIO.LIORef.Trans
Description
MonadLIO generalizations for LIO.LIORef.
- newLIORef :: (MonadLIO l m, Label l) => l -> a -> m (LIORef l a)
- newLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (LIORef l a)
- readLIORef :: (MonadLIO l m, Label l) => LIORef l a -> m a
- readLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> m a
- writeLIORef :: (MonadLIO l m, Label l) => LIORef l a -> a -> m ()
- writeLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> a -> m ()
- modifyLIORef :: (MonadLIO l m, Label l) => LIORef l a -> (a -> a) -> m ()
- modifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> a) -> m ()
- atomicModifyLIORef :: (MonadLIO l m, Label l) => LIORef l a -> (a -> (a, b)) -> m b
- atomicModifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> (a, b)) -> m b
Documentation
Arguments
| :: (MonadLIO l m, Label l) | |
| => l | Label of reference |
| -> a | Initial value |
| -> m (LIORef l a) | Mutable reference |
See newLIORef.
newLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> l -> a -> m (LIORef l a) Source #
See newLIORefP.
readLIORef :: (MonadLIO l m, Label l) => LIORef l a -> m a Source #
See readLIORef.
readLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> m a Source #
See readLIORefP.
writeLIORef :: (MonadLIO l m, Label l) => LIORef l a -> a -> m () Source #
See writeLIORef.
writeLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> a -> m () Source #
See writeLIORefP.
See modifyLIORef.
modifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> a) -> m () Source #
See modifyLIORefP.
atomicModifyLIORef :: (MonadLIO l m, Label l) => LIORef l a -> (a -> (a, b)) -> m b Source #
See atomicModifyLIORef.
atomicModifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> (a, b)) -> m b Source #
See atomicModifyLIORefP.