| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Universum.Lifted.IORef
Description
Lifted reexports from IORef module.
Synopsis
- data IORef a
- atomicModifyIORef :: MonadIO m => IORef a -> (a -> (a, b)) -> m b
- atomicModifyIORef' :: MonadIO m => IORef a -> (a -> (a, b)) -> m b
- atomicWriteIORef :: MonadIO m => IORef a -> a -> m ()
- modifyIORef :: MonadIO m => IORef a -> (a -> a) -> m ()
- modifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m ()
- newIORef :: MonadIO m => a -> m (IORef a)
- readIORef :: MonadIO m => IORef a -> m a
- writeIORef :: MonadIO m => IORef a -> a -> m ()
Documentation
A mutable variable in the IO monad
Instances
| NFData1 IORef | Since: deepseq-1.4.3.0 |
Defined in Control.DeepSeq | |
| Eq (IORef a) | Pointer equality. Since: base-4.0.0.0 |
| NFData (IORef a) | NOTE: Only strict in the reference and not the referenced value. Since: deepseq-1.4.2.0 |
Defined in Control.DeepSeq | |
atomicModifyIORef :: MonadIO m => IORef a -> (a -> (a, b)) -> m b Source #
Lifted version of atomicModifyIORef.
atomicModifyIORef' :: MonadIO m => IORef a -> (a -> (a, b)) -> m b Source #
Lifted version of atomicModifyIORef'.
atomicWriteIORef :: MonadIO m => IORef a -> a -> m () Source #
Lifted version of atomicWriteIORef.
modifyIORef :: MonadIO m => IORef a -> (a -> a) -> m () Source #
Lifted version of modifyIORef.
modifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m () Source #
Lifted version of modifyIORef'.
writeIORef :: MonadIO m => IORef a -> a -> m () Source #
Lifted version of writeIORef.