Idris2Doc : Data.IORef

Data.IORef

data IORef : Type -> Type
  Totality: total
  Constructor: 
MkRef : Mut a -> IORef a
modifyIORef : HasIO io => IORef a -> (a -> a) -> io ()
  Totality: total
newIORef : HasIO io => a -> io (IORef a)
  Totality: total
readIORef : HasIO io => IORef a -> io a
  Totality: total
writeIORef : HasIO io => IORef a -> a -> io ()
  Totality: total
writeIORef1 : HasLinearIO io => IORef a -> (1 _ : a) -> io ()
  Totality: total