Idris2Doc : Control.Monad.ST

Control.Monad.ST

data ST : Type -> Type -> Type
  Totality: total
  Constructor: 
MkST : IO a -> ST s a
data STRef : Type -> Type -> Type
  Totality: total
  Constructor: 
MkSTRef : IORef a -> STRef s a
modifySTRef : STRef s a -> (a -> a) -> ST s ()
  Totality: total
newSTRef : a -> ST s (STRef s a)
  Totality: total
readSTRef : STRef s a -> ST s a
  Totality: total
runST : ST s a -> a
  Totality: total
writeSTRef : STRef s a -> a -> ST s ()
  Totality: total