Object

scalaz.scalacheck

ScalazArbitrary

Related Doc: package scalacheck

Permalink

object ScalazArbitrary

Instances of scalacheck.Arbitrary for many types in Scalaz.

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

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. implicit def AlphaArbitrary: Arbitrary[Alpha]

    Permalink

  5. implicit def Arbitrary_==>>[A, B](implicit o: Order[A], A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[==>>[A, B]]

    Permalink

    Since

    7.1.0

  6. implicit def Arbitrary_ISet[A](implicit o: Order[A], A: Arbitrary[A]): Arbitrary[ISet[A]]

    Permalink

  7. implicit def Arbitrary_Maybe[A](implicit A: Arbitrary[A]): Arbitrary[Maybe[A]]

    Permalink

  8. implicit def ArraySeqArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[ArraySeq[A]]

    Permalink

  9. implicit def BigIntMultiplicationArbitrary: Arbitrary[@@[BigInt, Multiplication]]

    Permalink

  10. implicit def BigIntegerMultiplicationArbitrary: Arbitrary[@@[BigInteger, Multiplication]]

    Permalink

  11. implicit def BooleanConjunctionArbitrary: Arbitrary[@@[Boolean, Conjunction]]

    Permalink

  12. implicit def ByteMultiplicationArbitrary: Arbitrary[@@[Byte, Multiplication]]

    Permalink

  13. implicit def CallableArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[Callable[A]]

    Permalink

  14. implicit def CaseInsensitiveArbitrary[A](implicit A0: Arbitrary[A], A1: FoldCase[A]): Arbitrary[CaseInsensitive[A]]

    Permalink

  15. implicit def CharMultiplicationArbitrary: Arbitrary[@@[Char, Multiplication]]

    Permalink

  16. implicit def DigitArbitrary: Arbitrary[Digit]

    Permalink

  17. implicit def DisjunctionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[\/[A, B]]

    Permalink

  18. implicit def DoubleMultiplicationArbitrary: Arbitrary[@@[Double, Multiplication]]

    Permalink

  19. implicit def EitherFirstLeftProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[@@[LeftProjection[A, B], First]]

    Permalink

  20. implicit def EitherFirstRightProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[@@[RightProjection[A, B], First]]

    Permalink

  21. implicit def EitherLastLeftProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[@@[LeftProjection[A, B], Last]]

    Permalink

  22. implicit def EitherLastRightProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[@@[RightProjection[A, B], Last]]

    Permalink

  23. implicit def EitherLeftProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[LeftProjection[A, B]]

    Permalink

  24. implicit def EitherRightProjectionArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[RightProjection[A, B]]

    Permalink

  25. implicit def EphemeralStreamArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[EphemeralStream[A]]

    Permalink

  26. implicit def FingerArbitrary[V, A](implicit a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[Finger[V, A]]

    Permalink

  27. implicit def FingerTreeArbitrary[V, A](implicit a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[FingerTree[V, A]]

    Permalink

  28. implicit def FirstMaybeArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[@@[Maybe[A], First]]

    Permalink

  29. implicit def FirstOptionArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[@@[Option[A], First]]

    Permalink

  30. implicit def FloatMultiplicationArbitrary: Arbitrary[@@[Float, Multiplication]]

    Permalink

  31. implicit def Function0Arbitrary[A](implicit a: Arbitrary[A]): Arbitrary[() ⇒ A]

    Permalink

  32. implicit def FutureArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[Future[A]]

    Permalink

  33. implicit def ImmutableArrayArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassManifest[A]): Arbitrary[ImmutableArray[A]]

    Permalink

  34. implicit def IntMultiplicationArbitrary: Arbitrary[@@[Int, Multiplication]]

    Permalink

  35. implicit def IterableArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[Iterable[A]]

    Permalink

  36. implicit def KleisliArbitrary[M[+_], A, B](implicit a: Arbitrary[(A) ⇒ M[B]]): Arbitrary[Kleisli[M, A, B]]

    Permalink

  37. implicit def LastMaybeArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[@@[Maybe[A], Last]]

    Permalink

  38. implicit def LastOptionArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[@@[Option[A], Last]]

    Permalink

  39. implicit def LongMultiplicationArbitrary: Arbitrary[@@[Long, Multiplication]]

    Permalink

  40. implicit def MaxMaybeArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[MaxMaybe[A]]

    Permalink

  41. implicit def MaxOptionArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[MaxOption[A]]

    Permalink

  42. implicit def MinMaybeArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[MinMaybe[A]]

    Permalink

  43. implicit def MinOptionArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[MinOption[A]]

    Permalink

  44. implicit def NameArbitrary[A](implicit fa: Arbitrary[A]): Arbitrary[Name[A]]

    Permalink

  45. implicit def NeedArbitrary[A](implicit fa: Arbitrary[A]): Arbitrary[Need[A]]

    Permalink

  46. implicit def NodeArbitrary[V, A](implicit a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[Node[V, A]]

    Permalink

  47. implicit def NonEmptyListArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[NonEmptyList[A]]

    Permalink

  48. implicit def OneAndArbitrary[F[_], A](implicit A: Arbitrary[A], FA: Arbitrary[F[A]]): Arbitrary[OneAnd[F, A]]

    Permalink

    Since

    7.0.3

  49. implicit def OneOrArbitrary[F[_], A](implicit A: Arbitrary[A], FA: Arbitrary[F[A]]): Arbitrary[OneOr[F, A]]

    Permalink

    Since

    7.0.3

  50. implicit def OrderingArbitrary: Arbitrary[Ordering]

    Permalink

  51. implicit def PromiseArbitrary[A](implicit a: Arbitrary[A], s: Strategy): Arbitrary[Promise[A]]

    Permalink

  52. implicit def RopeArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassManifest[A]): Arbitrary[Rope[A]]

    Permalink

  53. implicit def ShortMultiplicationArbitrary: Arbitrary[@@[Short, Multiplication]]

    Permalink

  54. implicit def TaskArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Task[A]]

    Permalink

  55. implicit def TreeArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[Tree[A]]

    Permalink

  56. implicit def TreeLocArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[TreeLoc[A]]

    Permalink

  57. implicit def Tuple1Arbitrary[A](implicit a: Arbitrary[A]): Arbitrary[(A)]

    Permalink

  58. implicit def UnitArbitrary: Arbitrary[Unit]

    Permalink

  59. implicit def ValidationArbitrary[A, B](implicit a: Arbitrary[A], b: Arbitrary[B]): Arbitrary[Validation[A, B]]

    Permalink

  60. implicit def ValueArbitrary[A](implicit fa: Arbitrary[A]): Arbitrary[Value[A]]

    Permalink

  61. implicit def ZipperArbitrary[A](implicit a: Arbitrary[A]): Arbitrary[Zipper[A]]

    Permalink

  62. implicit def arbBigInt: Arbitrary[BigInt]

    Permalink

  63. implicit def arbBigInteger: Arbitrary[BigInteger]

    Permalink

  64. implicit def arbList[T](implicit a: Arbitrary[T]): Arbitrary[List[T]]

    Permalink

  65. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  66. implicit val attrArbitrary: Arbitrary[Attr]

    Permalink

  67. implicit val cdataArbitrary: Arbitrary[CData]

    Permalink

  68. implicit val cdataKindArbitrary: Arbitrary[CDataKind]

    Permalink

  69. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  70. implicit def constArbitrary[A, B](implicit A: Arbitrary[A]): Arbitrary[Const[A, B]]

    Permalink

  71. implicit val contentArbitrary: Arbitrary[Content]

    Permalink

  72. implicit val cursorArbitrary: Arbitrary[Cursor]

    Permalink

  73. implicit def dequeueArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[Dequeue[A]]

    Permalink

  74. implicit def dievArbitrary[A](implicit A: Arbitrary[List[A]], E: Enum[A]): Arbitrary[Diev[A]]

    Permalink

  75. implicit def dlistArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[DList[A]]

    Permalink

  76. implicit def eitherTArb[F[+_], A, B](implicit A: Arbitrary[F[\/[A, B]]]): Arbitrary[EitherT[F, A, B]]

    Permalink

  77. implicit val elementArbitrary: Arbitrary[Element]

    Permalink

  78. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  79. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  80. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  81. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any

  82. implicit val hCursorArbitrary: Arbitrary[HCursor]

    Permalink

  83. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  84. implicit def heapArbitrary[A](implicit O: Order[A], A: Arbitrary[List[A]]): Arbitrary[Heap[A]]

    Permalink

  85. implicit val historyArbitrary: Arbitrary[History]

    Permalink

  86. implicit def ilistArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[IList[A]]

    Permalink

  87. implicit def indexedStateTArb[F[+_], S1, S2, A](implicit A: Arbitrary[(S1) ⇒ F[(S2, A)]]): Arbitrary[IndexedStateT[F, S1, S2, A]]

    Permalink

  88. implicit def indexedStoreTArb[F[+_], I, A, B](implicit A: Arbitrary[(F[(A) ⇒ B], I)]): Arbitrary[IndexedStoreT[F, I, A, B]]

    Permalink

  89. implicit def insertionMapArbitrary[A, B](implicit A: Arbitrary[List[(A, B)]]): Arbitrary[InsertionMap[A, B]]

    Permalink

  90. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  91. implicit def iterateeInputArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Input[A]]

    Permalink

  92. implicit def lazyEitherArb[F[_], A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[LazyEither[A, B]]

    Permalink

  93. implicit def lazyEitherTArb[F[+_], A, B](implicit A: Arbitrary[F[LazyEither[A, B]]]): Arbitrary[LazyEitherT[F, A, B]]

    Permalink

  94. implicit def lazyOptionArb[F[_], A](implicit A: Arbitrary[Option[A]]): Arbitrary[LazyOption[A]]

    Permalink

  95. implicit def lazyOptionTArb[F[+_], A](implicit A: Arbitrary[F[LazyOption[A]]]): Arbitrary[LazyOptionT[F, A]]

    Permalink

  96. implicit def lazyTuple2Arbitrary[A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[LazyTuple2[A, B]]

    Permalink

  97. implicit def lazyTuple3Arbitrary[A, B, C](implicit A: Arbitrary[A], B: Arbitrary[B], C: Arbitrary[C]): Arbitrary[LazyTuple3[A, B, C]]

    Permalink

  98. implicit def lazyTuple4Arbitrary[A, B, C, D](implicit A: Arbitrary[A], B: Arbitrary[B], C: Arbitrary[C], D: Arbitrary[D]): Arbitrary[LazyTuple4[A, B, C, D]]

    Permalink

  99. implicit def listTArb[F[+_], A](implicit FA: Arbitrary[F[List[A]]], F: Applicative[F]): Arbitrary[ListT[F, A]]

    Permalink

  100. implicit def maybeTArb[F[+_], A](implicit A: Arbitrary[F[Maybe[A]]]): Arbitrary[MaybeT[F, A]]

    Permalink

  101. implicit def monoidCoproductArbitrary[M, N](implicit arg0: Arbitrary[M], arg1: Arbitrary[N]): Arbitrary[:+:[M, N]]

    Permalink

  102. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  103. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  104. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  105. implicit val nsInfoArbitrary: Arbitrary[NSInfo]

    Permalink

  106. implicit val opArbitrary: Arbitrary[Op]

    Permalink

  107. implicit def optionTArb[F[+_], A](implicit A: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]]

    Permalink

  108. implicit def predicateArbitrary[A](implicit P: Arbitrary[(A) ⇒ Boolean]): Arbitrary[Predicate[A]]

    Permalink

  109. implicit val qnameArbitrary: Arbitrary[QName]

    Permalink

  110. def smallListArb[A](implicit A: Arbitrary[A]): Arbitrary[List[A]]

    Permalink

    See also

    https://groups.google.com/d/topic/scalacheck/O7e7k5JZKKI

  111. def stateTArb[F[+_], S, A](implicit A: Arbitrary[(S) ⇒ F[(S, A)]]): Arbitrary[StateT[F, S, A]]

    Permalink

  112. def storeTArb[F[+_], A, B](implicit A: Arbitrary[(F[(A) ⇒ B], A)]): Arbitrary[StoreT[F, A, B]]

    Permalink

  113. implicit def streamTArb[F[+_], A](implicit FA: Arbitrary[F[Stream[A]]], F: Applicative[F]): Arbitrary[StreamT[F, A]]

    Permalink

  114. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  115. implicit val tagArbitrary: Arbitrary[xml.cursor.Tag]

    Permalink

  116. implicit def theseArb[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[\&/[A, B]]

    Permalink

    Since

    7.0.3

  117. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any

  118. implicit val tokenArbitrary: Arbitrary[Token]

    Permalink

  119. implicit def unwriterTArb[F[+_], U, A](implicit A: Arbitrary[F[(U, A)]]): Arbitrary[UnwriterT[F, U, A]]

    Permalink

  120. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  121. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  122. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  123. implicit def writerTArb[F[+_], W, A](implicit A: Arbitrary[F[(W, A)]]): Arbitrary[WriterT[F, W, A]]

    Permalink

Deprecated Value Members

  1. implicit def bkTreeArbitrary[A](implicit A: MetricSpace[A], arb: Arbitrary[List[A]]): Arbitrary[BKTree[A]]

    Permalink
    Annotations
    @deprecated
    Deprecated

    (Since version 7.0.1) BKTree is deprecated

Inherited from AnyRef

Inherited from Any

Ungrouped