scalacheck

object Arbitrary

[source: scalacheck/Arbitrary.scala]

object Arbitrary
extends AnyRef
Contains Arbitrary instances for common types.
Method Summary
def arbitrary [T](implicit a : (Arb[T]) => Arbitrary[T]) : Gen[T]
Arbitrary instance of value of type T.
implicit def arbitraryBool (x : Arb[Boolean]) : Arbitrary[Boolean]
Arbitrary instance of bool
implicit def arbitraryChar (x : Arb[Char]) : Arbitrary[Char]
Arbitrary instance of char
implicit def arbitraryDouble (x : Arb[Double]) : Arbitrary[Double]
Arbitrary instance of Double
implicit def arbitraryGen [T](x : Arb[Gen[T]])(implicit a : (Arb[T]) => Arbitrary[T]) : Arbitrary[Gen[T]]
Arbitrary instance of Gen
implicit def arbitraryGenParams (x : Arb[Params]) : Arbitrary[Params]
Arbitrary instance of gen params
implicit def arbitraryInt (x : Arb[Int]) : Arbitrary[Int]
Arbitrary instance of integer
implicit def arbitraryList [T](x : Arb[scala.List[T]])(implicit a : (Arb[T]) => Arbitrary[T]) : Arbitrary[scala.List[T]]
Arbitrary instance of List. The maximum length of the list depends on the size parameter.
implicit def arbitraryProp (x : Arb[Prop]) : Arbitrary[Prop]
Generates an arbitrary property
implicit def arbitraryString (x : Arb[String]) : Arbitrary[String]
Arbitrary instance of string
implicit def arbitraryTestParams (x : Arb[Params]) : Arbitrary[Params]
Arbitrary instance of test params
implicit def arbitraryTuple2 [T1, T2](x : Arb[(T1, T2)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2]) : Arbitrary[(T1, T2)]
Arbitrary instance of 2-tuple
implicit def arbitraryTuple3 [T1, T2, T3](x : Arb[(T1, T2, T3)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2], implicit a3 : (Arb[T3]) => Arbitrary[T3]) : Arbitrary[(T1, T2, T3)]
Arbitrary instance of 3-tuple
implicit def arbitraryTuple4 [T1, T2, T3, T4](x : Arb[(T1, T2, T3, T4)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2], implicit a3 : (Arb[T3]) => Arbitrary[T3], implicit a4 : (Arb[T4]) => Arbitrary[T4]) : Arbitrary[(T1, T2, T3, T4)]
Arbitrary instance of 4-tuple
def shrink [T](x : T)(implicit a : (Arb[T]) => Arbitrary[T]) : Stream[T]
Shrinks a generated value
Methods inherited from AnyRef
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized
Methods inherited from Any
==, !=, isInstanceOf, asInstanceOf
Method Details
def arbitrary[T](implicit a : (Arb[T]) => Arbitrary[T]) : Gen[T]
Arbitrary instance of value of type T.

def shrink[T](x : T)(implicit a : (Arb[T]) => Arbitrary[T]) : Stream[T]
Shrinks a generated value

implicit def arbitraryBool(x : Arb[Boolean]) : Arbitrary[Boolean]
Arbitrary instance of bool

implicit def arbitraryInt(x : Arb[Int]) : Arbitrary[Int]
Arbitrary instance of integer

implicit def arbitraryDouble(x : Arb[Double]) : Arbitrary[Double]
Arbitrary instance of Double

implicit def arbitraryChar(x : Arb[Char]) : Arbitrary[Char]
Arbitrary instance of char

implicit def arbitraryString(x : Arb[String]) : Arbitrary[String]
Arbitrary instance of string

implicit def arbitraryGen[T](x : Arb[Gen[T]])(implicit a : (Arb[T]) => Arbitrary[T]) : Arbitrary[Gen[T]]
Arbitrary instance of Gen

implicit def arbitraryProp(x : Arb[Prop]) : Arbitrary[Prop]
Generates an arbitrary property

implicit def arbitraryTestParams(x : Arb[Params]) : Arbitrary[Params]
Arbitrary instance of test params

implicit def arbitraryGenParams(x : Arb[Params]) : Arbitrary[Params]
Arbitrary instance of gen params

implicit def arbitraryList[T](x : Arb[scala.List[T]])(implicit a : (Arb[T]) => Arbitrary[T]) : Arbitrary[scala.List[T]]
Arbitrary instance of List. The maximum length of the list depends on the size parameter.

implicit def arbitraryTuple2[T1, T2](x : Arb[(T1, T2)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2]) : Arbitrary[(T1, T2)]
Arbitrary instance of 2-tuple

implicit def arbitraryTuple3[T1, T2, T3](x : Arb[(T1, T2, T3)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2], implicit a3 : (Arb[T3]) => Arbitrary[T3]) : Arbitrary[(T1, T2, T3)]
Arbitrary instance of 3-tuple

implicit def arbitraryTuple4[T1, T2, T3, T4](x : Arb[(T1, T2, T3, T4)])(implicit a1 : (Arb[T1]) => Arbitrary[T1], implicit a2 : (Arb[T2]) => Arbitrary[T2], implicit a3 : (Arb[T3]) => Arbitrary[T3], implicit a4 : (Arb[T4]) => Arbitrary[T4]) : Arbitrary[(T1, T2, T3, T4)]
Arbitrary instance of 4-tuple