trait CheckerAsserting[T] extends AnyRef
Supertrait for CheckerAsserting
typeclasses, which are used to implement and determine the result
type of GeneratorDrivenPropertyChecks's apply
and forAll
method.
Currently, an GeneratorDrivenPropertyChecks expression will have result type Assertion
, if the function passed has result type Assertion
,
else it will have result type Unit
.
- Source
- CheckerAsserting.scala
- Alphabetic
- By Inheritance
- CheckerAsserting
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
abstract
type
Result
The result type of the
check
method.The result type of the
check
method.
Abstract Value Members
-
abstract
def
check(p: Prop, prms: Parameters, prettifier: Prettifier, pos: Position, argNames: Option[List[String]] = None): Result
Perform the property check using the given
Prop
andTest.Parameters
.Perform the property check using the given
Prop
andTest.Parameters
.- p
the
Prop
to be used to check- prms
the
Test.Parameters
to be used to check- prettifier
the
Prettifier
to be used to prettify error message- pos
the
Position
of the caller site- argNames
the list of argument names
- returns
the
Result
of the property check.