Control.Effect.Exception

Documentation

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

Minimal complete definition

liftEither

Methods

liftEither :: Either e a -> m a

Instances

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

Methods

liftEither :: Either e a -> Eff f m a

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

Methods

liftEither :: Either e a -> Eff (Either e) m a

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

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

liftEither :: EffException e m => Either e a -> 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