MaybeT package:dunai

The parameterizable maybe monad, obtained by composing an arbitrary monad with the Maybe monad. Computations are actions that may produce a value or exit. The return function yields a computation that produces that value, while >>= sequences two subcomputations, exiting if either computation does.

Converts an MSF in MaybeT to an MSF in ExceptT. Whenever Nothing is thrown, throw () instead.

Convert a MaybeT computation to ExceptT, with a default exception value.

Convert a ExceptT computation to MaybeT, discarding the value of any exception.

Embed a Maybe value in the MaybeT layer. Identical to maybeExit.

Transform the computation inside a MaybeT.

• runMaybeT (mapMaybeT f m) = f (runMaybeT
  m)