scalaz.scalacheck

ScalazArbitrary

object ScalazArbitrary extends ScalazArbitraryPlatform

Instances of scalacheck.Arbitrary for many types in Scalaz.

Source
ScalazArbitrary.scala
Linear Supertypes
ScalazArbitraryPlatform, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalazArbitrary
  2. ScalazArbitraryPlatform
  3. AnyRef
  4. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Value Members

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

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

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

    Definition Classes
    Any

  6. implicit val AlphaArbitrary: Arbitrary[Alpha]

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

    Since

    7.1.0

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

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

  10. implicit def ArraySeqArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[ArraySeq[A]]

  11. implicit val BigIntMultiplicationArbitrary: Arbitrary[@@[BigInt, Multiplication]]

  12. implicit val BigIntegerMultiplicationArbitrary: Arbitrary[@@[BigInteger, Multiplication]]

  13. implicit val BooleanConjunctionArbitrary: Arbitrary[@@[Boolean, Conjunction]]

  14. implicit val ByteMultiplicationArbitrary: Arbitrary[@@[Byte, Multiplication]]

  15. implicit def CallableArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Callable[A]]

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

  17. implicit val CharMultiplicationArbitrary: Arbitrary[@@[Char, Multiplication]]

  18. implicit def CokleisliArbitrary[M[_], A, B](implicit a: Arbitrary[(M[A]) ⇒ B]): Arbitrary[Cokleisli[M, A, B]]

  19. implicit def CoproductArbitrary[F[_], G[_], A](implicit a: Arbitrary[\/[F[A], G[A]]]): Arbitrary[Coproduct[F, G, A]]

  20. implicit def CorecursiveListArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[CorecursiveList[A]]

  21. implicit val DigitArbitrary: Arbitrary[Digit]

  22. implicit def DisjunctionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[\/[A, B]]

  23. implicit val DoubleMultiplicationArbitrary: Arbitrary[@@[Double, Multiplication]]

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

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

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

  27. implicit def FirstMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Maybe[A], First]]

  28. implicit def FirstOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Option[A], First]]

  29. implicit val FloatMultiplicationArbitrary: Arbitrary[@@[Float, Multiplication]]

  30. implicit def Function0Arbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[() ⇒ A]

  31. implicit def ImmutableArrayArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassTag[A]): Arbitrary[ImmutableArray[A]]

  32. implicit def IndSeqArbibrary[A](implicit arg0: Arbitrary[A]): Arbitrary[IndSeq[A]]

  33. implicit val IntMultiplicationArbitrary: Arbitrary[@@[Int, Multiplication]]

  34. implicit def IterableArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Iterable[A]]

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

  36. implicit def LastMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Maybe[A], Last]]

  37. implicit def LastOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Option[A], Last]]

  38. implicit val LongMultiplicationArbitrary: Arbitrary[@@[Long, Multiplication]]

  39. implicit def MaxMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MaxMaybe[A]]

  40. implicit def MaxOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MaxOption[A]]

  41. implicit def MinMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MinMaybe[A]]

  42. implicit def MinOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MinOption[A]]

  43. implicit def NameArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Name[A]]

  44. implicit def NeedArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Need[A]]

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

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

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

    Since

    7.0.3

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

    Since

    7.0.3

  49. implicit val OrderingArbitrary: Arbitrary[Ordering]

  50. implicit val ShortMultiplicationArbitrary: Arbitrary[@@[Short, Multiplication]]

  51. implicit def StrictTreeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[StrictTree[A]]

  52. implicit def TreeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Tree[A]]

  53. implicit def TreeLocArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[TreeLoc[A]]

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

  55. implicit val UnitArbitrary: Arbitrary[Unit]

  56. implicit def ValidationArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[Validation[A, B]]

  57. implicit def ValueArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Value[A]]

  58. implicit def ZipperArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Zipper[A]]

  59. implicit val arbBigInt: Arbitrary[BigInt]

  60. implicit val arbBigInteger: Arbitrary[BigInteger]

  61. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  62. def clone(): AnyRef

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

  63. implicit def cogenCokleisli[F[_], A, B](implicit F: Cogen[(F[A]) ⇒ B]): Cogen[Cokleisli[F, A, B]]

  64. implicit def cogenConst[A, B](implicit A: Cogen[A]): Cogen[Const[A, B]]

  65. implicit def cogenContravariantCoyoneda[F[_], A](implicit arg0: Contravariant[F], F: Cogen[F[A]]): Cogen[ContravariantCoyoneda[F, A]]

  66. implicit def cogenCoproduct[F[_], G[_], A](implicit A: Cogen[\/[F[A], G[A]]]): Cogen[Coproduct[F, G, A]]

  67. implicit def cogenCoyoneda[F[_], A](implicit arg0: Functor[F], F: Cogen[F[A]]): Cogen[Coyoneda[F, A]]

  68. implicit def cogenDList[A](implicit arg0: Cogen[A]): Cogen[DList[A]]

  69. implicit def cogenDequeue[A](implicit arg0: Cogen[A]): Cogen[Dequeue[A]]

  70. implicit def cogenDiev[A](implicit arg0: Cogen[A]): Cogen[Diev[A]]

  71. implicit def cogenDisjunction[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[\/[A, B]]

  72. implicit def cogenEither3[A1, A2, A3](implicit arg0: Cogen[A1], arg1: Cogen[A2], arg2: Cogen[A3]): Cogen[Either3[A1, A2, A3]]

  73. implicit def cogenEitherT[F[_], A, B](implicit F: Cogen[F[\/[A, B]]]): Cogen[EitherT[F, A, B]]

  74. implicit def cogenEndo[A](implicit A: Cogen[(A) ⇒ A]): Cogen[Endo[A]]

  75. implicit def cogenEndomorphic[F[_, _], A](implicit F: Cogen[F[A, A]]): Cogen[Endomorphic[F, A]]

  76. implicit def cogenEphemeralStream[A](implicit arg0: Cogen[A]): Cogen[EphemeralStream[A]]

  77. implicit def cogenHeap[A](implicit arg0: Cogen[A]): Cogen[Heap[A]]

  78. implicit def cogenIList[A](implicit arg0: Cogen[A]): Cogen[IList[A]]

  79. implicit def cogenIMap[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[==>>[A, B]]

  80. implicit def cogenISet[A](implicit arg0: Cogen[A]): Cogen[ISet[A]]

  81. implicit def cogenIdT[F[_], A](implicit F: Cogen[F[A]]): Cogen[IdT[F, A]]

  82. implicit def cogenImmutableArray[A](implicit arg0: Cogen[A]): Cogen[ImmutableArray[A]]

  83. implicit def cogenIndSeq[A](implicit arg0: Cogen[A]): Cogen[IndSeq[A]]

  84. implicit def cogenIndexedContsT[W[_], M[_], R, O, A](implicit F: Cogen[(W[(A) ⇒ M[O]]) ⇒ M[R]]): Cogen[IndexedContsT[W, M, R, O, A]]

  85. implicit def cogenIndexedReaderWriterStateT[F[_], R, W, S1, S2, A](implicit arg0: Monad[F], F: Cogen[(R, S1) ⇒ F[(W, A, S2)]]): Cogen[IndexedReaderWriterStateT[F, R, W, S1, S2, A]]

  86. implicit def cogenIndexedStateT[F[_], S1, S2, A](implicit arg0: Monad[F], F: Cogen[(S1) ⇒ F[(S2, A)]]): Cogen[IndexedStateT[F, S1, S2, A]]

  87. implicit def cogenIndexedStoreT[F[_], I, A, B](implicit arg0: Cogen[I], F: Cogen[F[(A) ⇒ B]]): Cogen[IndexedStoreT[F, I, A, B]]

  88. implicit def cogenKleisli[F[_], A, B](implicit F: Cogen[(A) ⇒ F[B]]): Cogen[Kleisli[F, A, B]]

  89. implicit def cogenLazyEither[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[LazyEither[A, B]]

  90. implicit def cogenLazyEitherT[F[_], A, B](implicit F: Cogen[F[LazyEither[A, B]]]): Cogen[LazyEitherT[F, A, B]]

  91. implicit def cogenLazyOption[A](implicit arg0: Cogen[A]): Cogen[LazyOption[A]]

  92. implicit def cogenLazyOptionT[F[_], A](implicit F: Cogen[F[LazyOption[A]]]): Cogen[LazyOptionT[F, A]]

  93. implicit def cogenLazyTuple2[A1, A2](implicit arg0: Cogen[A1], arg1: Cogen[A2]): Cogen[LazyTuple2[A1, A2]]

  94. implicit def cogenLazyTuple3[A1, A2, A3](implicit arg0: Cogen[A1], arg1: Cogen[A2], arg2: Cogen[A3]): Cogen[LazyTuple3[A1, A2, A3]]

  95. implicit def cogenLazyTuple4[A1, A2, A3, A4](implicit arg0: Cogen[A1], arg1: Cogen[A2], arg2: Cogen[A3], arg3: Cogen[A4]): Cogen[LazyTuple4[A1, A2, A3, A4]]

  96. implicit def cogenMaybe[A](implicit arg0: Cogen[A]): Cogen[Maybe[A]]

  97. implicit def cogenMaybeT[F[_], A](implicit F: Cogen[F[Maybe[A]]]): Cogen[MaybeT[F, A]]

  98. implicit def cogenName[A](implicit A: Cogen[A]): Cogen[Name[A]]

  99. implicit def cogenNeed[A](implicit A: Cogen[A]): Cogen[Need[A]]

  100. implicit def cogenNonEmptyList[A](implicit arg0: Cogen[A]): Cogen[NonEmptyList[A]]

  101. implicit def cogenNullArgument[A, B](implicit F: Cogen[(Option[A]) ⇒ B]): Cogen[NullArgument[A, B]]

  102. implicit def cogenNullResult[A, B](implicit F: Cogen[(A) ⇒ Option[B]]): Cogen[NullResult[A, B]]

  103. implicit def cogenOneAnd[F[_], A](implicit arg0: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]

  104. implicit def cogenOneOr[F[_], A](implicit arg0: Cogen[A], F: Cogen[F[A]]): Cogen[OneOr[F, A]]

  105. implicit def cogenOptionT[F[_], A](implicit F: Cogen[F[Option[A]]]): Cogen[OptionT[F, A]]

  106. implicit val cogenOrdering: Cogen[Ordering]

  107. implicit def cogenStreamT[F[_], A](implicit arg0: Monad[F], F: Cogen[F[Stream[A]]]): Cogen[StreamT[F, A]]

  108. implicit def cogenStrictTree[A](implicit arg0: Cogen[A]): Cogen[StrictTree[A]]

  109. implicit def cogenThese[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[\&/[A, B]]

  110. implicit def cogenTheseT[F[_], A, B](implicit F: Cogen[F[\&/[A, B]]]): Cogen[TheseT[F, A, B]]

  111. implicit def cogenTracedT[W[_], A, B](implicit W: Cogen[W[(A) ⇒ B]]): Cogen[TracedT[W, A, B]]

  112. implicit def cogenTree[A](implicit arg0: Cogen[A]): Cogen[Tree[A]]

  113. implicit def cogenTreeLoc[A](implicit arg0: Cogen[A]): Cogen[TreeLoc[A]]

  114. implicit def cogenUnwriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[UnwriterT[F, A, B]]

  115. implicit def cogenValidation[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[Validation[A, B]]

  116. implicit def cogenValue[A](implicit A: Cogen[A]): Cogen[Value[A]]

  117. implicit def cogenWriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[WriterT[F, A, B]]

  118. implicit def cogenZipper[A](implicit A: Cogen[A]): Cogen[Zipper[A]]

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

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

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

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

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

  124. implicit def endoArb[A](implicit A: Arbitrary[(A) ⇒ A]): Arbitrary[Endo[A]]

  125. implicit def endomorphicArbitrary[F[_, _], A](implicit F: Arbitrary[F[A, A]]): Arbitrary[Endomorphic[F, A]]

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

    Definition Classes
    AnyRef

  127. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  128. def finalize(): Unit

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

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

    Definition Classes
    AnyRef → Any

  130. def hashCode(): Int

    Definition Classes
    AnyRef → Any

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

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

  133. implicit def indexedContsTArb[W[_], M[_], R, O, A](implicit A: Arbitrary[(W[(A) ⇒ M[O]]) ⇒ M[R]]): Arbitrary[IndexedContsT[W, M, R, O, A]]

  134. implicit def indexedReaderWriterStateTArb[F[_], R, W, S1, S2, A](implicit A: Arbitrary[(R, S1) ⇒ F[(W, A, S2)]]): Arbitrary[IndexedReaderWriterStateT[F, R, W, S1, S2, A]]

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

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

  137. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

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

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

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

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

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

  143. implicit def lazyTuple2Arbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[LazyTuple2[A, B]]

  144. implicit def lazyTuple3Arbitrary[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C]): Arbitrary[LazyTuple3[A, B, C]]

  145. implicit def lazyTuple4Arbitrary[A, B, C, D](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C], arg3: Arbitrary[D]): Arbitrary[LazyTuple4[A, B, C, D]]

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

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

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

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

    Definition Classes
    AnyRef

  150. final def notify(): Unit

    Definition Classes
    AnyRef

  151. final def notifyAll(): Unit

    Definition Classes
    AnyRef

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

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

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

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

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

    Definition Classes
    AnyRef

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

    Since

    7.0.3

  158. implicit def theseTArb[F[_], A, B](implicit A: Arbitrary[F[\&/[A, B]]]): Arbitrary[TheseT[F, A, B]]

  159. def toString(): String

    Definition Classes
    AnyRef → Any

  160. implicit def tracedTArb[W[_], A, B](implicit A: Arbitrary[W[(A) ⇒ B]]): Arbitrary[TracedT[W, A, B]]

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

  162. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

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

Inherited from ScalazArbitraryPlatform

Inherited from AnyRef

Inherited from Any

Ungrouped