ScalaCheck 1.0
|
|
scalacheck/Arbitrary.scala
]
object
Arbitrary
extends
AnyRefMethod 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 |
implicit
def
arbitraryGen[T](x : Arb[Gen[T]])(implicit
a : (Arb[T]) => Arbitrary[T]) : Arbitrary[Gen[T]]
implicit
def
arbitraryList[T](x : Arb[scala.List[T]])(implicit
a : (Arb[T]) => Arbitrary[T]) : Arbitrary[scala.List[T]]
implicit
def
arbitraryTuple2[T1, T2](x : Arb[(T1, T2)])(implicit
a1 : (Arb[T1]) => Arbitrary[T1], implicit
a2 : (Arb[T2]) => Arbitrary[T2]) : Arbitrary[(T1, T2)]
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)]
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)]
ScalaCheck 1.0
|
|