Idris2Doc : Data.IORef

Data.IORef

IORef : Type -> Type
Totality: total
Constructor: 
MkRef : Muta -> IORefa
modifyIORef : HasIOio => IORefa -> (a -> a) -> ioUnit
newIORef : HasIOio => a -> io (IORefa)
readIORef : HasIOio => IORefa -> ioa
writeIORef : HasIOio => IORefa -> a -> ioUnit
writeIORef1 : HasLinearIOio => IORefa -> (1 _ : a) -> ioUnit