checked-io-0.1.0.0: Checked IO exceptions

Safe Haskell	Safe-Inferred
Language	Haskell2010

CheckedIO.IORef

Synopsis

data IORef a
newIORef :: MonadRunIOE e m => a -> m (IORef a)
readIORef :: MonadRunIOE e m => IORef a -> m a
writeIORef :: MonadRunIOE e m => IORef a -> a -> m ()
modifyIORef :: MonadRunIOE e m => IORef a -> (a -> a) -> m ()
modifyIORef' :: MonadRunIOE e m => IORef a -> (a -> a) -> m ()
atomicModifyIORef :: MonadRunIOE e m => IORef a -> (a -> (a, b)) -> m b
atomicModifyIORef' :: MonadRunIOE e m => IORef a -> (a -> (a, b)) -> m b
atomicWriteIORef :: MonadRunIOE e m => IORef a -> a -> m ()

Documentation

data IORef a #

A mutable variable in the IO monad

Instances

Instances details

Pointer equality.

Since: base-4.0.0.0

Instance details

Defined in GHC.IORef

Methods

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

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

newIORef :: MonadRunIOE e m => a -> m (IORef a) Source #

readIORef :: MonadRunIOE e m => IORef a -> m a Source #

writeIORef :: MonadRunIOE e m => IORef a -> a -> m () Source #

modifyIORef :: MonadRunIOE e m => IORef a -> (a -> a) -> m () Source #

modifyIORef' :: MonadRunIOE e m => IORef a -> (a -> a) -> m () Source #

atomicModifyIORef :: MonadRunIOE e m => IORef a -> (a -> (a, b)) -> m b Source #

atomicModifyIORef' :: MonadRunIOE e m => IORef a -> (a -> (a, b)) -> m b Source #

atomicWriteIORef :: MonadRunIOE e m => IORef a -> a -> m () Source #