Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8174fa42026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8174fa4 · 2026-10-11

Moduleunliftio-0.2.25.1Haskell2010

UnliftIO.IORef

Unlifted Data.IORef.

1 type
9 values

Packageunliftio-0.2.25.1
Exports10
LanguageHaskell2010
LicenceMIT
SourceIORef.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 MVar.

Instances3NFData1, Eq, NFData

NFData1 IORefDefined in deepseq-1.5.2.0 · Control.DeepSeq
Eq (IORef a)Defined in ghc-internal-10.0.0 · GHC.Internal.IORef
Pointer equality.
NFData (IORef a)Defined in deepseq-1.5.2.0 · Control.DeepSeq
NOTE: Only strict in the reference and not the referenced value.

valuenewIORef :: MonadIO m => a -> m (IORef a)

Lifted newIORef.

valuereadIORef :: MonadIO m => IORef a -> m a

Lifted readIORef.

valuewriteIORef :: MonadIO m => IORef a -> a -> m ()

Lifted writeIORef.

valuemodifyIORef :: MonadIO m => IORef a -> (a -> a) -> m ()

Lifted modifyIORef.

valuemodifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m ()

Lifted modifyIORef'.

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

Lifted atomicModifyIORef.

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

Lifted atomicModifyIORef'.

valueatomicWriteIORef :: MonadIO m => IORef a -> a -> m ()

Lifted atomicWriteIORef.

valuemkWeakIORef :: MonadUnliftIO m => IORef a -> m () -> m (Weak (IORef a))

Unlifted mkWeakIORef.