trait
CheckerAsserting[T] extends AnyRef
Type Members
-
abstract
type
Result
Abstract Value Members
-
abstract
def
check(p: Prop, prms: Parameters, prettifier: Prettifier, pos: Position, argNames: Option[List[String]] = None): Result
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
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
.