object
Rules
Value Members
-
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
associativity[A](f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
clone(): AnyRef
-
def
collect0[A](name: String, sym: String, id: A)(c: (Seq[A]) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
commutative[A](f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
consistentInverse[A](name: String)(m: (A, A) ⇒ A)(f: (A, A) ⇒ A)(inv: (A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
distributive[A](a: (A, A) ⇒ A)(m: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
-
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
idempotence[A](f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
isId[A](name: String, id: A)(p: (A) ⇒ Boolean)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
final
def
isInstanceOf[T0]: Boolean
-
def
leftIdentity[A](id: A)(f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
leftInverse[A](id: A)(f: (A, A) ⇒ A)(inv: (A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
repeat0[A](name: String, sym: String, id: A)(r: (A, Int) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
repeat1[A](name: String)(r: (A, Int) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
repeat2[A](name: String, sym: String)(r: (A, Int) ⇒ A)(f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
rightIdentity[A](id: A)(f: (A, A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
rightInverse[A](id: A)(f: (A, A) ⇒ A)(inv: (A) ⇒ A)(implicit arg0: Arbitrary[A], arg1: Eq[A]): (String, Prop)
-
def
serializable[M](m: M): (String, Prop)
-
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