IdrisDoc: Data.IORef

# Data.IORef

writeIORef : IORef a -> a -> IO ()
readIORef : IORef a -> IO a
newIORef : a -> IO (IORef a)
modifyIORef' : HasReference ffi => IORef a -> (a -> a) -> IO' ffi ()
modifyIORef : IORef a -> (a -> a) -> IO ()
data IORef : Type -> Type
  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 ()