Control.Monad.Ether.Except

See Control.Monad.Except.

MonadExcept class

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

The Except monad

type Except tag e = ExceptT tag e Identity

The parameterizable exception monad.

Computations are either exceptions or normal values.

The return function returns a normal value, while >>= exits on the first exception.

runExcept :: proxy tag -> Except tag e a -> Either e a

Runs an Except and returns either an exception or a normal value.

The ExceptT monad transformer

type ExceptT tag e = TaggedTrans tag (ExceptT e)

The exception monad transformer.

The return function returns a normal value, while >>= exits on the first exception.

exceptT :: proxy tag -> m (Either e a) -> ExceptT tag e m a

Constructor for computations in the exception monad transformer.

runExceptT :: proxy tag -> ExceptT tag e m a -> m (Either e a)

Runs an ExceptT and returns either an exception or a normal value.

Handle functions

handleT :: Functor m => proxy tag -> (e -> a) -> ExceptT tag e m a -> m a

Runs an ExceptT and handles the exception with the given function.

handle :: proxy tag -> (e -> a) -> Except tag e a -> a

Runs an Except and handles the exception with the given function.