Idris2Doc : Data.Ref

Data.Ref

Reexports
import public Data.IORef
import public Control.Monad.ST
Definitions
interface Ref : (Type -> Type) -> (Type -> Type) -> Type
  Parameters: m, r
Methods:
  
newRef : a -> m (r a)
  
readRef : r a -> m a
  
writeRef : r a -> a -> m ()

Implementations:
  
HasIO io => Ref io IORef
  
Ref (ST s) (STRef s)
newRef : Ref m r => a -> m (r a)
  Totality: total
  Visibility: public export
readRef : Ref m r => r a -> m a
  Totality: total
  Visibility: public export
writeRef : Ref m r => r a -> a -> m ()
  Totality: total
  Visibility: public export