Idris2Doc : Data.Ref

Data.Ref

Ref : (Type -> Type) -> (Type -> Type) -> Type
Parameters: m, r
Methods:
newRef : a -> m (ra)
readRef : ra -> ma
writeRef : ra -> a -> m _

Implementations:
HasIOio => RefioIORef
Ref (STs) (STRefs)
newRef : Refmr => a -> m (ra)
readRef : Refmr => ra -> ma
writeRef : Refmr => ra -> a -> mUnit