Abstract class that in the future will hold an intermediate priority CheckerAsserting implicit, which will enable inspector expressions
that have result type Expectation, a more composable form of assertion that returns a result instead of throwing an exception when it fails.
implicit defassertingNatureOfT[T]: CheckerAsserting[T] { type Result = Unit }
Provides support of CheckerAsserting for Unit.
Provides support of CheckerAsserting for Unit. Do nothing when the check succeeds,
but throw GeneratorDrivenPropertyCheckFailedException
when check fails.
Abstract class that in the future will hold an intermediate priority
CheckerAsserting
implicit, which will enable inspector expressions that have result typeExpectation
, a more composable form of assertion that returns a result instead of throwing an exception when it fails.