Idris2Doc : Data.Ref
- 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
- readRef : Ref m r => r a -> m a
- Totality: total
- writeRef : Ref m r => r a -> a -> m ()
- Totality: total