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
CheckerAsserting
that 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
.