ExceptT package:transformers

A monad transformer that adds exceptions to other monads. ExceptT constructs a strict monad parameterized over two things:
  • e - An arbitrary exception type.
  • m - The inner monad.
The monadic computations are a plain values. They are unrelated to the Control.Exception mechanism, which is tied to the IO monad. The return function yields a computation that produces the given value, while >>= sequences two subcomputations, exiting on the first exception.
Convert a ExceptT computation to MaybeT, discarding the value of any exception.
Map the unwrapped computation using the given function.
Transform any exceptions thrown by the computation using the given function.
Convert a MaybeT computation to ExceptT, with a default exception value.