# Documentation

Mathlib.Lean.Exception

def successIfFail {M : } {α : Type} [inst : ] [inst : ] (m : M α) :

A generalisation of fail_if_success to an arbitrary MonadError.

Equations
• One or more equations did not get rendered due to their size.