trait Discipline extends Checkers
- Self Type
- Discipline with FunSuiteLike
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- Discipline
- Checkers
- Configuration
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
-
case class
MaxDiscardedFactor extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
-
case class
MinSize extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
-
case class
MinSuccessful extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
-
sealed abstract
class
PropertyCheckConfigParam extends Product with Serializable
- Definition Classes
- Configuration
-
case class
PropertyCheckConfiguration extends PropertyCheckConfigurable with Product with Serializable
- Definition Classes
- Configuration
-
case class
SizeRange extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
-
case class
Workers extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
-
case class
MaxDiscarded extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
-
case class
MaxSize extends PropertyCheckConfigParam with Product with Serializable
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
use SizeRange instead
-
case class
PropertyCheckConfig extends PropertyCheckConfigurable with Product with Serializable
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
Use PropertyCheckConfiguration instead
-
trait
PropertyCheckConfigurable extends AnyRef
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
Use PropertyCheckConfiguration directly instead.
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
-
implicit
def
PropertyCheckConfig2PropertyCheckConfiguration(p: (Discipline.this)#PropertyCheckConfig): (Discipline.this)#PropertyCheckConfiguration
- Definition Classes
- Configuration
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
check[ASSERTION](p: Prop, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[ASSERTION](p: Prop, prms: Parameters)(implicit asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, A2, A3, A4, A5, A6, P, ASSERTION](f: (A1, A2, A3, A4, A5, A6) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, a6: Arbitrary[A6], s6: Shrink[A6], pp6: (A6) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, A2, A3, A4, A5, P, ASSERTION](f: (A1, A2, A3, A4, A5) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, a5: Arbitrary[A5], s5: Shrink[A5], pp5: (A5) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, A2, A3, A4, P, ASSERTION](f: (A1, A2, A3, A4) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, a4: Arbitrary[A4], s4: Shrink[A4], pp4: (A4) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, A2, A3, P, ASSERTION](f: (A1, A2, A3) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, a3: Arbitrary[A3], s3: Shrink[A3], pp3: (A3) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, A2, P, ASSERTION](f: (A1, A2) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, a2: Arbitrary[A2], s2: Shrink[A2], pp2: (A2) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
-
def
check[A1, P, ASSERTION](f: (A1) ⇒ P, configParams: (Discipline.this)#PropertyCheckConfigParam*)(implicit config: (Discipline.this)#PropertyCheckConfigurable, p: (P) ⇒ Prop, a1: Arbitrary[A1], s1: Shrink[A1], pp1: (A1) ⇒ Pretty, asserting: CheckerAsserting[ASSERTION], prettifier: Prettifier, pos: Position): Result
- Definition Classes
- Checkers
- def checkAll(name: String, ruleSet: RuleSet): Unit
-
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] )
-
implicit
val
generatorDrivenConfig: (Discipline.this)#PropertyCheckConfiguration
- Definition Classes
- Configuration
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
def
maxDiscardedFactor(value: PosZDouble): (Discipline.this)#MaxDiscardedFactor
- Definition Classes
- Configuration
-
def
minSize(value: PosZInt): (Discipline.this)#MinSize
- Definition Classes
- Configuration
-
def
minSuccessful(value: PosInt): (Discipline.this)#MinSuccessful
- Definition Classes
- Configuration
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
-
def
sizeRange(value: PosZInt): (Discipline.this)#SizeRange
- Definition Classes
- Configuration
-
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( ... )
-
def
workers(value: PosInt): (Discipline.this)#Workers
- Definition Classes
- Configuration
Deprecated Value Members
-
def
maxDiscarded(value: Int): (Discipline.this)#MaxDiscarded
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
use maxDiscardedFactor instead
-
def
maxSize(value: Int): (Discipline.this)#MaxSize
- Definition Classes
- Configuration
- Annotations
- @deprecated
- Deprecated
use SizeRange instead