package enablers
- Alphabetic
- Public
- All
Type Members
- trait CheckerAsserting[T] extends AnyRef
Supertrait for
CheckerAsserting
typeclasses, which are used to implement and determine the result type of GeneratorDrivenPropertyChecks'sapply
andforAll
method.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
. - abstract class ExpectationCheckerAsserting extends UnitCheckerAsserting
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. - abstract class UnitCheckerAsserting extends AnyRef
Class holding lowest priority
CheckerAsserting
implicit, which enables GeneratorDrivenPropertyChecks expressions that have result typeUnit
.
Value Members
- object CheckerAsserting extends ExpectationCheckerAsserting
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
.