Control.Monad.Trans.MSF.Except

Contents

• Throwing exceptions
• Catching exceptions
• Monad interface for Exception MSFs

Synopsis

• throwOnCond :: Monad m => (a -> Bool) -> e -> MSF (ExceptT e m) a a
• throwOnCondM :: Monad m => (a -> m Bool) -> e -> MSF (ExceptT e m) a a
• throwOn :: Monad m => e -> MSF (ExceptT e m) Bool ()
• throwOn' :: Monad m => MSF (ExceptT e m) (Bool, e) ()
• throwMaybe :: Monad m => MSF (ExceptT e m) (Maybe e) (Maybe a)
• throwS :: Monad m => MSF (ExceptT e m) e a
• throw :: Monad m => e -> MSF (ExceptT e m) a b
• pass :: Monad m => MSF (ExceptT e m) a a
• maybeToExceptS :: Monad m => MSF (MaybeT m) a b -> MSF (ExceptT () m) a b
• catchS :: Monad m => MSF (ExceptT e m) a b -> (e -> MSF m a b) -> MSF m a b
• untilE :: Monad m => MSF m a b -> MSF m b (Maybe e) -> MSF (ExceptT e m) a b
• exceptS :: Monad m => MSF (ExceptT e m) a b -> MSF m a (Either e b)
• inExceptT :: Monad m => MSF (ExceptT e m) (ExceptT e m a) a
• newtype MSFExcept m a b e = MSFExcept {
  • runMSFExcept :: MSF (ExceptT e m) a b
  }
• try :: MSF (ExceptT e m) a b -> MSFExcept m a b e
• currentInput :: Monad m => MSFExcept m e b e
• data Empty
• safely :: Monad m => MSFExcept m a b Empty -> MSF m a b
• safe :: Monad m => MSF m a b -> MSFExcept m a b e
• once :: Monad m => (a -> m e) -> MSFExcept m a b e
• once_ :: Monad m => m e -> MSFExcept m a b e
• step :: Monad m => (a -> m (b, e)) -> MSFExcept m a b e
• tagged :: Monad m => MSF (ExceptT e1 m) a b -> MSF (ExceptT e2 m) (a, e2) b
• module Control.Monad.Trans.Except

Throwing exceptions

Catching exceptions

Monad interface for Exception MSFs