Control.Monad.ST.Class

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

Members

• liftST :: (ST s) ~> m

Instances

• MonadST Global Effect
• MonadST s (ST s)