Safe Haskell	None
Language	Haskell2010

Control.Monad.Stateless

Documentation

class (MonadBaseControl b m, forall a. StatelessProof m a) => MonadStateless b m | m -> b where Source #

Methods

liftWithStateless :: ((forall a. m a -> b a) -> b c) -> m c Source #

Instances details

(MonadBaseControl b m, forall a. StatelessProof m a) => MonadStateless b m Source #
Instance details Defined in Control.Monad.Stateless Methods liftWithStateless :: ((forall a. m a -> b a) -> b c) -> m c Source #

class StM m a ~ a => StatelessProof m a where Source #

Methods