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.
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )