A generalisation of fail_if_success
to an arbitrary MonadError
.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Check if an exception is a "failed to synthesize" exception.
These exceptions are raised in several different places, and the only commonality is the prefix of the string, so that's what we look for.