Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (MonadBaseControl b m, forall a. StatelessProof m a) => MonadStateless b m | m -> b where Source #
liftWithStateless :: ((forall a. m a -> b a) -> b c) -> m c Source #
Instances
(MonadBaseControl b m, forall a. StatelessProof m a) => MonadStateless b m Source # | |
Defined in Control.Monad.Stateless liftWithStateless :: ((forall a. m a -> b a) -> b c) -> m c Source # |