final
class
PropExt[A] extends AnyVal
Instance Constructors
-
new
PropExt(_p: Prop[A])
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
val
_p: Prop[A]
-
final
def
asInstanceOf[T0]: T0
-
def
getClass(): Class[_ <: AnyVal]
-
final
def
isInstanceOf[T0]: Boolean
-
def
mustBeProvedBy(d: Domain[A])(implicit S: Settings): Unit
-
def
mustBeProvedBy_[B <: A](d: Domain[B])(implicit S: Settings): Unit
-
def
mustBeSatisfiedBy(g: Gen[A])(implicit S: Settings): Unit
-
def
mustBeSatisfiedBy_[B <: A](g: Gen[B])(implicit S: Settings): Unit
-
def
toString(): String
Inherited from AnyVal
Inherited from NotNull
Inherited from Any