Universum.Lifted.IORef

Lifted reexports from IORef module.

Documentation

data IORef a :: * -> *

A mutable variable in the IO monad

Instances

NFData1 IORef

Since: 1.4.3.0

Methods

liftRnf :: (a -> ()) -> IORef a -> ()

Eq (IORef a)

Since: 4.1.0.0

Methods

(==) :: IORef a -> IORef a -> Bool

(/=) :: IORef a -> IORef a -> Bool

NFData (IORef a)

NOTE: Only strict in the reference and not the referenced value.

Since: 1.4.2.0

Methods

rnf :: IORef a -> ()

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

Lifted version of atomicModifyIORef.

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

Lifted version of atomicModifyIORef'.

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

Lifted version of atomicWriteIORef.

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

Lifted version of modifyIORef.

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

Lifted version of modifyIORef'.

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

Lifted version of newIORef.

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

Lifted version of readIORef.

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

Lifted version of writeIORef.