Documentation

asExceptT :: Monad m => (e -> e') -> m (Either e a) -> ExceptT e' m a Source #

asExceptTPure :: Monad m => (e -> e') -> Either e a -> ExceptT e' m a Source #

maybeToEither :: e -> Maybe a -> Either e a Source #

failBadly :: Show e => Either e a -> a Source #