Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => EffException e m | m -> e where Source #
liftEither :: Either e a -> m a Source #
EffException e m => EffException e (Eff f m) Source # | |
Monad m => EffException e (Eff (Either e) m) Source # | |
throw :: EffException e m => e -> m a Source #
liftEither :: EffException e m => Either e a -> m a Source #
exceptTToEff :: (Monad m, EffException e m) => ExceptT e m a -> m a Source #