Idris2Doc : Control.Monad.ST

Control.Monad.ST

dataST : Type -> Type -> Type
Totality: total
Constructor: 
MkST : IOa -> STsa
dataSTRef : Type -> Type -> Type
Totality: total
Constructor: 
MkSTRef : IORefa -> STRefsa
modifySTRef : STRefsa -> (a -> a) -> STs ()
Totality: total
newSTRef : a -> STs (STRefsa)
Totality: total
readSTRef : STRefsa -> STsa
Totality: total
runST : STsa -> a
Totality: total
writeSTRef : STRefsa -> a -> STs ()
Totality: total