Module

Control.Monad.ST.Class

class MonadST :: Region -> (Type -> Type) -> Constraintclass (Monad m) <= MonadST s m | m -> s where

Modules: Control.Monad.ST; Control.Monad.ST.Class; Control.Monad.ST.Global; Control.Monad.ST.Internal; Control.Monad.ST.Ref; Control.Monad.ST.Uncurried