Modulelifted-base-0.2.3.12Haskell98

Data.IORef.Lifted

This is a wrapped version of Data.IORef with types generalised from IO to all monads in MonadBase.

1 type
9 values

Packagelifted-base-0.2.3.12
Exports10
LanguageHaskell98
LicenceBSD-3-Clause
SourceLifted.hs

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

See also STRef and Control.Concurrent.MVar.MVar.

Instances1Eq

Eq (IORef a)Defined in ghc-internal-9.1003.0 · GHC.Internal.IORef
Pointer equality.

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

Generalized version of newIORef.

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

Generalized version of readIORef.

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

Generalized version of writeIORef.

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

Generalized version of modifyIORef.

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

Generalized version of modifyIORef'.

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

Generalized version of atomicModifyIORef.

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

Generalized version of atomicModifyIORef'.

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

Generalized version of atomicWriteIORef.

valuemkWeakIORef

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

Generalized version of mkWeakIORef.

Note any monadic side effects in m of the "finalizer" computation are discarded.