Supertrait for CheckerAsserting
typeclasses, which are used to implement and determine the result
type of GeneratorDrivenPropertyChecks's apply
and forAll
method.
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.
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.
Class holding lowest priority CheckerAsserting
implicit, which enables GeneratorDrivenPropertyChecks expressions that have result type Unit
.
Class holding lowest priority CheckerAsserting
implicit, which enables GeneratorDrivenPropertyChecks expressions that have result type Unit
.
Companion object to CheckerAsserting
that provides two implicit providers, a higher priority one for passed functions that have result
type Assertion
, which also yields result type Assertion
, and one for any other type, which yields result type Unit
.
Companion object to CheckerAsserting
that provides two implicit providers, a higher priority one for passed functions that have result
type Assertion
, which also yields result type Assertion
, and one for any other type, which yields result type Unit
.
Supertrait for
CheckerAsserting
typeclasses, which are used to implement and determine the result type of GeneratorDrivenPropertyChecks'sapply
andforAll
method.Currently, an GeneratorDrivenPropertyChecks expression will have result type
Assertion
, if the function passed has result typeAssertion
, else it will have result typeUnit
.