Modulelifted-base-0.2.3.12

Data.IORef.Lifted

1 type
9 values

Packagelifted-base-0.2.3.12
Exports10
LicenceBSD-3-Clause
SourceIORef.hs

valueatomicModifyIORef :: MonadBase IO m => IORef a -> (a -> (a, b)) -> m b

valueatomicModifyIORef' :: MonadBase IO m => IORef a -> (a -> (a, b)) -> m b

valueatomicWriteIORef :: MonadBase IO m => IORef a -> a -> m ()

valuemkWeakIORef

:: MonadBaseControl IO m
=> IORef a
-> m ()
-> m (Weak (IORef a))

valuemodifyIORef :: MonadBase IO m => IORef a -> (a -> a) -> m ()

valuemodifyIORef' :: MonadBase IO m => IORef a -> (a -> a) -> m ()

valuenewIORef :: MonadBase IO m => a -> m (IORef a)

valuereadIORef :: MonadBase IO m => IORef a -> m a

valuewriteIORef :: MonadBase IO m => IORef a -> a -> m ()

newtypenewtype IORef a

A mutable variable in the IO monad.

Example11 expressions

>>> import GHC.Internal.Data.IORef>>> r <- newIORef 0>>> readIORef r0>>> writeIORef r 1>>> readIORef r1>>> atomicWriteIORef r 2>>> readIORef r2>>> modifyIORef' r (+ 1)>>> readIORef r3>>> atomicModifyIORef' r (\a -> (a + 1, ()))>>> readIORef r4