LIO.LIORef.Trans

MonadLIO generalizations for LIO.LIORef.

Documentation

newLIORef

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)

See newLIORefP.

readLIORef :: (MonadLIO l m, Label l) => LIORef l a -> m a

See readLIORef.

readLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> m a

See readLIORefP.

writeLIORef :: (MonadLIO l m, Label l) => LIORef l a -> a -> m ()

See writeLIORef.

writeLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> a -> m ()

See writeLIORefP.

modifyLIORef

Arguments

:: (MonadLIO l m, Label l)

=> LIORef l a

Labeled reference

-> (a -> a)

Modifier

-> m ()

See modifyLIORef.

modifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> a) -> m ()

See modifyLIORefP.

atomicModifyLIORef :: (MonadLIO l m, Label l) => LIORef l a -> (a -> (a, b)) -> m b

See atomicModifyLIORef.

atomicModifyLIORefP :: (MonadLIO l m, PrivDesc l p) => Priv p -> LIORef l a -> (a -> (a, b)) -> m b

See atomicModifyLIORefP.