strict-mutable-base-1.1.0.0: Strict variants of mutable data types from base.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Data.IORef.Strict

Contents

Operations

Description

For full documentation please refer to Data.IORef.

Synopsis

data IORef' a
newIORef' :: a -> IO (IORef' a)
readIORef' :: IORef' a -> IO a
writeIORef' :: IORef' a -> a -> IO ()
modifyIORef' :: IORef' a -> (a -> a) -> IO ()
atomicModifyIORef' :: IORef' a -> (a -> (a, b)) -> IO b
atomicWriteIORef' :: IORef' a -> a -> IO ()
mkWeakIORef' :: IORef' a -> IO () -> IO (Weak (IORef' a))

Documentation

data IORef' a Source #

A strict (WHNF) variant of IORef.

Instances

Instances details

NFData1 IORef' Source #
Instance details Defined in Data.IORef.Strict Methods liftRnf :: (a -> ()) -> IORef' a -> () #
NFData (IORef' a) Source #
Instance details Defined in Data.IORef.Strict Methods rnf :: IORef' a -> () #
Eq (IORef' a) Source #
Instance details Defined in Data.IORef.Strict Methods (==) :: IORef' a -> IORef' a -> Bool # (/=) :: IORef' a -> IORef' a -> Bool #

Operations

newIORef' :: a -> IO (IORef' a) Source #

newIORef for IORef'.

Evaluates the initial value to WHNF.

readIORef' :: IORef' a -> IO a Source #

readIORef for IORef'.

writeIORef' :: IORef' a -> a -> IO () Source #

writeIORef for IORef'.

Evaluates the new value to WHNF.

modifyIORef' :: IORef' a -> (a -> a) -> IO () Source #

modifyIORef for IORef'.

atomicModifyIORef' :: IORef' a -> (a -> (a, b)) -> IO b Source #

atomicModifyIORef for IORef'.

Evaluates the new value to WHNF.

atomicWriteIORef' :: IORef' a -> a -> IO () Source #

atomicWriteIORef for IORef'.

Evaluates the new value to WHNF.

mkWeakIORef' :: IORef' a -> IO () -> IO (Weak (IORef' a)) Source #

mkWeakIORef for IORef'.