Abstract subclass of CheckerAsserting that provides the bulk of the implementations of CheckerAsserting
check method.
Abstract subclass of CheckerAsserting that provides the bulk of the implementations of CheckerAsserting
check method.
Provides support of CheckerAsserting for Assertion.
Provides support of CheckerAsserting for Assertion. Returns Succeeded when the check succeeds, but throw GeneratorDrivenPropertyCheckFailedException when check fails.
Provides support of CheckerAsserting for Unit.
Provides support of CheckerAsserting for Unit. Do nothing when the check succeeds, but throw GeneratorDrivenPropertyCheckFailedException when check fails.
Companion object to
CheckerAssertingthat provides two implicit providers, a higher priority one for passed functions that have result typeAssertion, which also yields result typeAssertion, and one for any other type, which yields result typeUnit.