Control.Effect.Exception

Documentation

class Monad m => EffException e m | m -> e where

Methods

liftEither :: Either e a -> m a

Instances

EffException e m => EffException e (Eff f m)

Monad m => EffException e (Eff (Either e) m)

try :: Monad m => Eff (Either e) m a -> m (Either e a)

throw :: EffException e m => e -> m a

effToExceptT :: Monad m => Eff (Either e) m a -> ExceptT e m a

exceptTToEff :: (Monad m, EffException e m) => ExceptT e m a -> m a