Control.Monad.Trans.MSF.Maybe

Contents

• Throwing Nothing as an exception ("exiting")
• Catching Maybe exceptions
• Converting to and from MaybeT
• Running MaybeT

Synopsis

• runMaybeS'' :: Monad m => MSF (MaybeT m) a b -> MSF m a (Maybe b)
• 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
• 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
• listToMaybeS :: Monad m => [b] -> MSF (MaybeT m) a b
• runMaybeS :: Monad m => MSF (MaybeT m) a b -> MSF m a (Maybe b)
• module Control.Monad.Trans.Maybe

Documentation

Throwing Nothing as an exception ("exiting")

Catching Maybe exceptions

Converting to and from MaybeT

Running MaybeT