final class PropExt[A] extends AnyVal
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- PropExt
- AnyVal
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new PropExt(p: Prop[A])
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
##(): Int
- Definition Classes
- Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
getClass(): Class[_ <: AnyVal]
- Definition Classes
- AnyVal → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- 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
- Definition Classes
- Any