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 tag e m) => MonadExcept tag e (t m)

MonadExcept tag e m => MonadExcept tag e (WrappedEther tag' m)

Monad m => MonadExcept tag e (ExceptT tag e m)