Control.Monad.Ether.Except.Class

See Control.Monad.Except.

Documentation

class Monad m => MonadExcept tag e m | m tag -> e where

See MonadError.

Minimal complete definition

throw, catch

Methods

throw :: proxy tag -> e -> m a

Is used within a monadic computation to begin exception processing.

catch :: proxy tag -> m a -> (e -> m a) -> m a

A handler function to handle previous exceptions and return to normal execution.

Instances

(LiftCatch t, Monad (t m), MonadExcept k tag e m) => MonadExcept k tag e (t m)

Methods

throw :: proxy e -> t m -> m a

catch :: proxy e -> m a -> (t m -> m a) -> m a

(Monad m, (~) * e e') => MonadExcept k tag e (ExceptT k tag e' m)

Methods

throw :: proxy e -> ExceptT k tag e' m -> m a

catch :: proxy e -> m a -> (ExceptT k tag e' m -> m a) -> m a