Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Unlifted Data.IORef.
Since: 0.1.0.0
- data IORef a :: * -> *
- newIORef :: MonadIO m => a -> m (IORef a)
- readIORef :: MonadIO m => IORef a -> m a
- writeIORef :: MonadIO m => IORef a -> a -> m ()
- modifyIORef :: MonadIO m => IORef a -> (a -> a) -> m ()
- modifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m ()
- 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 ()
- mkWeakIORef :: MonadUnliftIO m => IORef a -> m () -> m (Weak (IORef a))
Documentation
A mutable variable in the IO
monad
writeIORef :: MonadIO m => IORef a -> a -> m () Source #
Lifted writeIORef
.
Since: 0.1.0.0
modifyIORef :: MonadIO m => IORef a -> (a -> a) -> m () Source #
Lifted modifyIORef
.
Since: 0.1.0.0
modifyIORef' :: MonadIO m => IORef a -> (a -> a) -> m () Source #
Lifted modifyIORef'
.
Since: 0.1.0.0
atomicModifyIORef :: MonadIO m => IORef a -> (a -> (a, b)) -> m b Source #
Lifted atomicModifyIORef
.
Since: 0.1.0.0
atomicModifyIORef' :: MonadIO m => IORef a -> (a -> (a, b)) -> m b Source #
Lifted atomicModifyIORef'
.
Since: 0.1.0.0
atomicWriteIORef :: MonadIO m => IORef a -> a -> m () Source #
Lifted atomicWriteIORef
.
Since: 0.1.0.0
mkWeakIORef :: MonadUnliftIO m => IORef a -> m () -> m (Weak (IORef a)) Source #
Unlifted mkWeakIORef
.
Since: 0.1.0.0