Idris2Doc : Control.Monad.ST

Control.Monad.ST

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