IdrisDoc: Data.IORef

# Data.IORef

writeIORef : IORef a -> a -> IO ()

  write the value of an IORef

readIORef : IORef a -> IO a

  read the value of an IORef

newIORef : a -> IO (IORef a)

  Build a new IORef

modifyIORef' : HasReference ffi => IORef a -> (a -> a) -> IO' ffi ()
modifyIORef : IORef a -> (a -> a) -> IO ()

  mutate the contents of an IORef

data IORef : Type -> Type

  A mutable variable in the IO monad.

  MkIORef : a -> IORef a
interface HasReference
  newIORef' : HasReference ffi => a -> IO' ffi (IORef a)
  readIORef' : HasReference ffi => IORef a -> IO' ffi a
  writeIORef' : HasReference ffi => IORef a -> a -> IO' ffi ()