Control.Monad.Ether.Except.Class

See Control.Monad.Except.

Documentation

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

See MonadError.

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)

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