Throwing and catching exceptions. Internal QuickCheck module.
Test if an exception was a
QuickCheck won't try to shrink an interrupted test case.
A special exception that makes QuickCheck discard the test case.
Normally you should use
==>, but if for some reason this isn't
possible (e.g. you are deep inside a generator), use