Control.Monad.Trans.MSF.Maybe

Documentation

runMaybeS'' :: Monad m => MSF (MaybeT m) a b -> MSF m a (Maybe b)

Throwing Nothing as an exception ("exiting")

exit :: Monad m => MSF (MaybeT m) a b

exitWhen :: Monad m => (a -> Bool) -> MSF (MaybeT m) a a

exitIf :: Monad m => MSF (MaybeT m) Bool ()

maybeExit :: Monad m => MSF (MaybeT m) (Maybe a) a

inMaybeT :: Monad m => MSF (MaybeT m) (Maybe a) a

Catching Maybe exceptions

untilMaybe :: Monad m => MSF m a b -> MSF m b Bool -> MSF (MaybeT m) a b

catchMaybe :: Monad m => MSF (MaybeT m) a b -> MSF m a b -> MSF m a b

Running MaybeT

runMaybeS :: Monad m => MSF (MaybeT m) a b -> MSF m a (Maybe b)

module Control.Monad.Trans.Maybe