Perform the property check using the given Prop
and Test.Parameters
.
Perform the property check using the given Prop
and Test.Parameters
.
the Prop
to be used to check
the Test.Parameters
to be used to check
the Prettifier
to be used to prettify error message
the Position
of the caller site
the list of argument names
the Result
of the property check.
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
.