trait
LawSpec extends AnyRef
Abstract Value Members
-
abstract
def
forAllImpl1[T1, R](fun: (T1) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty): (LawSpec.this)#ForAllResult
-
abstract
def
forAllImpl2[T1, T2, R](fun: (T1, T2) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbB: Arbitrary[T2], shrB: Shrink[T2], pretty2: (T2) ⇒ Pretty): (LawSpec.this)#ForAllResult
-
abstract
def
forAllImpl3[T1, T2, T3, R](fun: (T1, T2, T3) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbB: Arbitrary[T2], shrB: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbC: Arbitrary[T3], shrC: Shrink[T3], pretty3: (T3) ⇒ Pretty): (LawSpec.this)#ForAllResult
-
abstract
def
forAllImpl4[T1, T2, T3, T4, R](fun: (T1, T2, T3, T4) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbB: Arbitrary[T2], shrB: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbC: Arbitrary[T3], shrC: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbD: Arbitrary[T4], shrD: Shrink[T4], pretty4: (T4) ⇒ Pretty): (LawSpec.this)#ForAllResult
-
abstract
def
forAllImpl5[T1, T2, T3, T4, T5, R](fun: (T1, T2, T3, T4, T5) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbB: Arbitrary[T2], shrB: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbC: Arbitrary[T3], shrC: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbD: Arbitrary[T4], shrD: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbE: Arbitrary[T5], shrE: Shrink[T5], pretty5: (T5) ⇒ Pretty): (LawSpec.this)#ForAllResult
-
abstract
def
forAllImpl6[T1, T2, T3, T4, T5, T6, R](fun: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit arbA: Arbitrary[T1], shrA: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbB: Arbitrary[T2], shrB: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbC: Arbitrary[T3], shrC: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbD: Arbitrary[T4], shrD: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbE: Arbitrary[T5], shrE: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbF: Arbitrary[T6], shrF: Shrink[T6], pretty6: (T6) ⇒ Pretty): (LawSpec.this)#ForAllResult
Concrete Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
def
all[T1, T2, T3, T4, T5, T6, R](fun: (T1, T2, T3, T4, T5, T6) ⇒ R): (LawSpec.this)#ForAllResult
-
def
all[T1, T2, T3, T4, T5, R](fun: (T1, T2, T3, T4, T5) ⇒ R): (LawSpec.this)#ForAllResult
-
def
all[T1, T2, T3, T4, R](fun: (T1, T2, T3, T4) ⇒ R): (LawSpec.this)#ForAllResult
-
def
all[T1, T2, T3, R](fun: (T1, T2, T3) ⇒ R): (LawSpec.this)#ForAllResult
-
def
all[T1, T2, R](fun: (T1, T2) ⇒ R): (LawSpec.this)#ForAllResult
-
def
all[T1, R](fun: (T1) ⇒ R): (LawSpec.this)#ForAllResult
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: 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