UnliftIO.IORef

Unlifted Data.IORef

Since: 0.1.0.0

Documentation

data IORef a :: * -> *

A mutable variable in the IO monad

Instances

Eq (IORef a)

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 -> ()

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

Lifted newIORef

Since: 0.1.0.0

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

Lifted readIORef

Since: 0.1.0.0

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

Lifted writeIORef

Since: 0.1.0.0

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

Lifted modifyIORef

Since: 0.1.0.0

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

Lifted modifyIORef'

Since: 0.1.0.0

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

Lifted atomicModifyIORef

Since: 0.1.0.0

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

Lifted atomicModifyIORef'

Since: 0.1.0.0

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

Lifted atomicWriteIORef

Since: 0.1.0.0

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

Unlifted mkWeakIORef

Since: 0.1.0.0