org.scalacheck

Arbitrary

object Arbitrary extends AnyRef

Defines implicit Arbitrary instances for common types.

ScalaCheck uses implicit Arbitrary instances when creating properties out of functions with the Prop.property method, and when the Arbitrary.arbitrary method is used. For example, the following code requires that there exists an implicit Arbitrary[MyClass] instance:

val myProp = Prop.forAll { myClass: MyClass =>
...
}
val myGen = Arbitrary.arbitrary[MyClass]
The required implicit definition could look like this: implicit val arbMyClass: Arbitrary[MyClass] = Arbitrary(...) The factory method Arbitrary(...) takes a generator of type Gen[T] and returns an instance of Arbitrary[T]. The Arbitrary module defines implicit Arbitrary instances for common types, for convenient use in your properties and generators.

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. Arbitrary
  2. AnyRef
  3. Any
Visibility
  1. Public
  2. All

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any
  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any
  6. def apply [T] (g: ⇒ Gen[T]): Arbitrary[T]

    Creates an Arbitrary instance

  7. implicit lazy val arbAnyVal : Arbitrary[AnyVal]

    Arbitrary AnyVal

    Arbitrary AnyVal

    Attributes
    implicit
  8. implicit def arbArray [T] (implicit a: Arbitrary[T], c: ClassManifest[T]): Arbitrary[Array[T]]

    Arbitrary instance of any array.

    Arbitrary instance of any array.

    Attributes
    implicit
  9. implicit lazy val arbBigDecimal : Arbitrary[BigDecimal]

    Arbitrary BigDecimal

    Arbitrary BigDecimal

    Attributes
    implicit
  10. implicit lazy val arbBigInt : Arbitrary[BigInt]

    Arbitrary BigInt

    Arbitrary BigInt

    Attributes
    implicit
  11. implicit lazy val arbBool : Arbitrary[Boolean]

    Arbitrary instance of Boolean

    Arbitrary instance of Boolean

    Attributes
    implicit
  12. implicit lazy val arbByte : Arbitrary[Byte]

    Arbitrary instance of Byte

    Arbitrary instance of Byte

    Attributes
    implicit
  13. implicit lazy val arbChar : Arbitrary[Char]

    Arbitrary instance of Char

    Arbitrary instance of Char

    Attributes
    implicit
  14. implicit def arbContainer [C[_], T] (implicit a: Arbitrary[T], b: Buildable[T, C]): Arbitrary[C[T]]

    Arbitrary instance of any buildable container (such as lists, arrays, streams, etc).

    Arbitrary instance of any buildable container (such as lists, arrays, streams, etc). The maximum size of the container depends on the size generation parameter.

    Attributes
    implicit
  15. implicit lazy val arbDate : Arbitrary[Date]

    Arbitrary instance of Date

    Arbitrary instance of Date

    Attributes
    implicit
  16. implicit lazy val arbDouble : Arbitrary[Double]

    Arbitrary instance of Double

    Arbitrary instance of Double

    Attributes
    implicit
  17. implicit def arbEither [T, U] (implicit at: Arbitrary[T], au: Arbitrary[U]): Arbitrary[Either[T, U]]

    Attributes
    implicit
  18. implicit lazy val arbFloat : Arbitrary[Float]

    Arbitrary instance of Float

    Arbitrary instance of Float

    Attributes
    implicit
  19. implicit def arbFunction1 [T1, R] (implicit a: Arbitrary[R]): Arbitrary[(T1) ⇒ R]

    Arbitrary instance of Function1

    Arbitrary instance of Function1

    Attributes
    implicit
  20. implicit def arbFunction2 [T1, T2, R] (implicit a: Arbitrary[R]): Arbitrary[(T1, T2) ⇒ R]

    Arbitrary instance of Function2

    Arbitrary instance of Function2

    Attributes
    implicit
  21. implicit def arbFunction3 [T1, T2, T3, R] (implicit a: Arbitrary[R]): Arbitrary[(T1, T2, T3) ⇒ R]

    Arbitrary instance of Function3

    Arbitrary instance of Function3

    Attributes
    implicit
  22. implicit def arbFunction4 [T1, T2, T3, T4, R] (implicit a: Arbitrary[R]): Arbitrary[(T1, T2, T3, T4) ⇒ R]

    Arbitrary instance of Function4

    Arbitrary instance of Function4

    Attributes
    implicit
  23. implicit def arbFunction5 [T1, T2, T3, T4, T5, R] (implicit a: Arbitrary[R]): Arbitrary[(T1, T2, T3, T4, T5) ⇒ R]

    Arbitrary instance of Function5

    Arbitrary instance of Function5

    Attributes
    implicit
  24. implicit def arbGen [T] (implicit a: Arbitrary[T]): Arbitrary[Gen[T]]

    Arbitrary instance of Gen

    Arbitrary instance of Gen

    Attributes
    implicit
  25. implicit lazy val arbGenParams : Arbitrary[Params]

    Arbitrary instance of gen params

    Arbitrary instance of gen params

    Attributes
    implicit
  26. implicit def arbImmutableMap [T, U] (implicit at: Arbitrary[T], au: Arbitrary[U]): Arbitrary[Map[T, U]]

    Arbitrary instance of immutable map

    Arbitrary instance of immutable map

    Attributes
    implicit
  27. implicit lazy val arbInt : Arbitrary[Int]

    Arbitrary instance of Int

    Arbitrary instance of Int

    Attributes
    implicit
  28. implicit lazy val arbLong : Arbitrary[Long]

    Arbitrary instance of Long

    Arbitrary instance of Long

    Attributes
    implicit
  29. implicit def arbMutableMap [T, U] (implicit at: Arbitrary[T], au: Arbitrary[U]): Arbitrary[Map[T, U]]

    Arbitrary instance of mutable map

    Arbitrary instance of mutable map

    Attributes
    implicit
  30. implicit lazy val arbNumber : Arbitrary[Number]

    Arbitrary java.

    Arbitrary java.lang.Number

    Attributes
    implicit
  31. implicit def arbOption [T] (implicit a: Arbitrary[T]): Arbitrary[Option[T]]

    Arbitrary instance of option type

    Arbitrary instance of option type

    Attributes
    implicit
  32. implicit lazy val arbProp : Arbitrary[Prop]

    Generates an arbitrary property

    Generates an arbitrary property

    Attributes
    implicit
  33. implicit lazy val arbPropParams : Arbitrary[Params]

    Arbitrary instance of prop params

    Arbitrary instance of prop params

    Attributes
    implicit
  34. implicit lazy val arbShort : Arbitrary[Short]

    Arbitrary instance of Short

    Arbitrary instance of Short

    Attributes
    implicit
  35. implicit lazy val arbString : Arbitrary[String]

    Arbitrary instance of String

    Arbitrary instance of String

    Attributes
    implicit
  36. implicit lazy val arbTestParams : Arbitrary[Params]

    Arbitrary instance of test params

    Arbitrary instance of test params

    Attributes
    implicit
  37. implicit lazy val arbThrowable : Arbitrary[Throwable]

    Arbitrary instance of Throwable

    Arbitrary instance of Throwable

    Attributes
    implicit
  38. implicit def arbTuple2 [T1, T2] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2]): Arbitrary[(T1, T2)]

    Arbitrary instance of 2-tuple

    Arbitrary instance of 2-tuple

    Attributes
    implicit
  39. implicit def arbTuple3 [T1, T2, T3] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3]): Arbitrary[(T1, T2, T3)]

    Arbitrary instance of 3-tuple

    Arbitrary instance of 3-tuple

    Attributes
    implicit
  40. implicit def arbTuple4 [T1, T2, T3, T4] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]): Arbitrary[(T1, T2, T3, T4)]

    Arbitrary instance of 4-tuple

    Arbitrary instance of 4-tuple

    Attributes
    implicit
  41. implicit def arbTuple5 [T1, T2, T3, T4, T5] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5]): Arbitrary[(T1, T2, T3, T4, T5)]

    Arbitrary instance of 5-tuple

    Arbitrary instance of 5-tuple

    Attributes
    implicit
  42. implicit def arbTuple6 [T1, T2, T3, T4, T5, T6] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6]): Arbitrary[(T1, T2, T3, T4, T5, T6)]

    Arbitrary instance of 6-tuple

    Arbitrary instance of 6-tuple

    Attributes
    implicit
  43. implicit def arbTuple7 [T1, T2, T3, T4, T5, T6, T7] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]): Arbitrary[(T1, T2, T3, T4, T5, T6, T7)]

    Arbitrary instance of 7-tuple

    Arbitrary instance of 7-tuple

    Attributes
    implicit
  44. implicit def arbTuple8 [T1, T2, T3, T4, T5, T6, T7, T8] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8]): Arbitrary[(T1, T2, T3, T4, T5, T6, T7, T8)]

    Arbitrary instance of 8-tuple

    Arbitrary instance of 8-tuple

    Attributes
    implicit
  45. implicit def arbTuple9 [T1, T2, T3, T4, T5, T6, T7, T8, T9] (implicit a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7], a8: Arbitrary[T8], a9: Arbitrary[T9]): Arbitrary[(T1, T2, T3, T4, T5, T6, T7, T8, T9)]

    Arbitrary instance of 9-tuple

    Arbitrary instance of 9-tuple

    Attributes
    implicit
  46. implicit lazy val arbUnit : Arbitrary[Unit]

    Absolutely, totally, 100% arbitrarily chosen Unit.

    Absolutely, totally, 100% arbitrarily chosen Unit.

    Attributes
    implicit
  47. def arbitrary [T] (implicit a: Arbitrary[T]): Gen[T]

    Returns an arbitrary generator for the type T.

  48. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  49. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  50. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  51. def equals (arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  52. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  53. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef
  54. def hashCode (): Int

    Definition Classes
    AnyRef → Any
  55. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  56. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  57. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  58. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  59. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef
  60. def toString (): String

    Definition Classes
    AnyRef → Any
  61. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  62. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()
  63. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from AnyRef

Inherited from Any