Fallback.Fallback

withFallback :: forall output m. Applicative m => ContT output m output -> m output

Enable fallbacks for a do-comprehension

Usage:

withFallback do
  result <- someM |> someErrorHandler 

fallback :: forall m e input output. MonadError e m => Traversable m => m input -> (e -> m output) -> ContT output m input

Create a fallback for an m a using the given error handler.

Usage:

withFallback do
  result <- someM `fallback` someErrorHandler

Operator alias for Fallback.Fallback.fallback (left-associative / precedence 1)