Control.Error.Util

Documentation

(<?>) :: Maybe b -> a -> Either a b infixl 4

(<?&>) :: Either a (Maybe b) -> a -> Either a b infixl 4

(<??>) :: Monad m => Maybe b -> a -> ExceptT a m b infixl 4

(<??&>) :: Monad m => ExceptT a m (Maybe b) -> a -> ExceptT a m b infixl 4

(<?.>) :: Monad m => Maybe b -> String -> m b infixl 4

(<?&.>) :: Monad m => m (Maybe b) -> String -> m b infixl 4

assert :: Bool -> a -> Either a ()

assert in Either monad, using Left to raise error

assertE :: Monad m => Bool -> a -> ExceptT a m ()

assert in ExceptT monad, using throwE to raise error

assertM :: Monad m => Bool -> String -> m ()

assert in any monad, using fail to raise error