Idris2Doc : Data.Ref

Data.Ref

Reexports

importpublic Data.IORef
importpublic Control.Monad.ST

Definitions

interfaceRef : (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)
Totality: total
Visibility: public export
readRef : Refmr=>ra->ma
Totality: total
Visibility: public export
writeRef : Refmr=>ra->a->m ()
Totality: total
Visibility: public export