Packages

o

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
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. implicit val AlphaArbitrary: Arbitrary[Alpha]
  5. implicit def Arbitrary_==>>[A, B](implicit o: Order[A], A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[==>>[A, B]]

    Since

    7.1.0

  6. implicit def Arbitrary_ISet[A](implicit o: Order[A], A: Arbitrary[A]): Arbitrary[ISet[A]]
  7. implicit def Arbitrary_Maybe[A](implicit arg0: Arbitrary[A]): Arbitrary[Maybe[A]]
  8. implicit def ArraySeqArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[ArraySeq[A]]
  9. implicit val BigIntMultiplicationArbitrary: Arbitrary[@@[BigInt, Multiplication]]
  10. implicit val BigIntegerMultiplicationArbitrary: Arbitrary[@@[BigInteger, Multiplication]]
  11. implicit val BooleanConjunctionArbitrary: Arbitrary[@@[Boolean, Conjunction]]
  12. implicit val ByteMultiplicationArbitrary: Arbitrary[@@[Byte, Multiplication]]
  13. implicit def CallableArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Callable[A]]
  14. implicit def CaseInsensitiveArbitrary[A](implicit A0: Arbitrary[A], A1: FoldCase[A]): Arbitrary[CaseInsensitive[A]]
  15. implicit val CharMultiplicationArbitrary: Arbitrary[@@[Char, Multiplication]]
  16. implicit def CokleisliArbitrary[M[_], A, B](implicit a: Arbitrary[(M[A]) ⇒ B]): Arbitrary[Cokleisli[M, A, B]]
  17. implicit def CoproductArbitrary[F[_], G[_], A](implicit a: Arbitrary[\/[F[A], G[A]]]): Arbitrary[Coproduct[F, G, A]]
  18. implicit def CorecursiveListArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[CorecursiveList[A]]
  19. implicit val DigitArbitrary: Arbitrary[Digit]
  20. implicit def DisjunctionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[\/[A, B]]
  21. implicit val DoubleMultiplicationArbitrary: Arbitrary[@@[Double, Multiplication]]
  22. implicit def EphemeralStreamArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[EphemeralStream[A]]
  23. implicit def FingerArbitrary[V, A](implicit arg0: Monoid[V], a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[Finger[V, A]]
  24. implicit def FingerTreeArbitrary[V, A](implicit arg0: Monoid[V], a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[FingerTree[V, A]]
  25. implicit def FirstMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Maybe[A], First]]
  26. implicit def FirstOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Option[A], First]]
  27. implicit val FloatMultiplicationArbitrary: Arbitrary[@@[Float, Multiplication]]
  28. implicit def Function0Arbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[() ⇒ A]
  29. implicit def FutureArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Future[A]]
    Definition Classes
    ScalazArbitraryPlatform
  30. implicit def ImmutableArrayArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassTag[A]): Arbitrary[ImmutableArray[A]]
  31. implicit def IndSeqArbibrary[A](implicit arg0: Arbitrary[A]): Arbitrary[IndSeq[A]]
  32. implicit val IntMultiplicationArbitrary: Arbitrary[@@[Int, Multiplication]]
  33. implicit def IterableArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Iterable[A]]
  34. implicit def KleisliArbitrary[M[_], A, B](implicit a: Arbitrary[(A) ⇒ M[B]]): Arbitrary[Kleisli[M, A, B]]
  35. implicit def LastMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Maybe[A], Last]]
  36. implicit def LastOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[@@[Option[A], Last]]
  37. implicit val LongMultiplicationArbitrary: Arbitrary[@@[Long, Multiplication]]
  38. implicit def MaxMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MaxMaybe[A]]
  39. implicit def MaxOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MaxOption[A]]
  40. implicit def MinMaybeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MinMaybe[A]]
  41. implicit def MinOptionArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[MinOption[A]]
  42. implicit def NameArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Name[A]]
  43. implicit def NeedArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Need[A]]
  44. implicit def NodeArbitrary[V, A](implicit arg0: Monoid[V], a: Arbitrary[A], measure: Reducer[A, V]): Arbitrary[Node[V, A]]
  45. implicit def NonEmptyListArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[NonEmptyList[A]]
  46. implicit def OneAndArbitrary[F[_], A](implicit A: Arbitrary[A], FA: Arbitrary[F[A]]): Arbitrary[OneAnd[F, A]]

    Since

    7.0.3

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

    Since

    7.0.3

  48. implicit val OrderingArbitrary: Arbitrary[Ordering]
  49. implicit val ShortMultiplicationArbitrary: Arbitrary[@@[Short, Multiplication]]
  50. implicit def StrictTreeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[StrictTree[A]]
  51. implicit def TaskArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Task[A]]
    Definition Classes
    ScalazArbitraryPlatform
  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 def alterArbitrary[F[_], A](implicit F: Arbitrary[F[A]]): Arbitrary[Alter[F, A]]
  60. implicit def apArbitrary[F[_], A](implicit F: Arbitrary[F[A]]): Arbitrary[Ap[F, A]]
  61. implicit val arbBigInt: Arbitrary[BigInt]
  62. implicit val arbBigInteger: Arbitrary[BigInteger]
  63. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  64. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  65. implicit def cogenAlter[F[_], A](implicit F: Cogen[F[A]]): Cogen[Alter[F, A]]
  66. implicit def cogenAp[F[_], A](implicit F: Cogen[F[A]]): Cogen[Ap[F, A]]
  67. implicit def cogenCokleisli[F[_], A, B](implicit F: Cogen[(F[A]) ⇒ B]): Cogen[Cokleisli[F, A, B]]
  68. implicit def cogenConst[A, B](implicit A: Cogen[A]): Cogen[Const[A, B]]
  69. implicit def cogenContravariantCoyoneda[F[_], A](implicit arg0: Contravariant[F], F: Cogen[F[A]]): Cogen[ContravariantCoyoneda[F, A]]
  70. implicit def cogenCoproduct[F[_], G[_], A](implicit A: Cogen[\/[F[A], G[A]]]): Cogen[Coproduct[F, G, A]]
  71. implicit def cogenCoyoneda[F[_], A](implicit arg0: Functor[F], F: Cogen[F[A]]): Cogen[Coyoneda[F, A]]
  72. implicit def cogenDList[A](implicit arg0: Cogen[A]): Cogen[DList[A]]
  73. implicit def cogenDequeue[A](implicit arg0: Cogen[A]): Cogen[Dequeue[A]]
  74. implicit def cogenDiev[A](implicit arg0: Cogen[A]): Cogen[Diev[A]]
  75. implicit def cogenDisjunction[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[\/[A, B]]
  76. implicit def cogenEither3[A1, A2, A3](implicit arg0: Cogen[A1], arg1: Cogen[A2], arg2: Cogen[A3]): Cogen[Either3[A1, A2, A3]]
  77. implicit def cogenEitherT[F[_], A, B](implicit F: Cogen[F[\/[A, B]]]): Cogen[EitherT[F, A, B]]
  78. implicit def cogenEndo[A](implicit A: Cogen[(A) ⇒ A]): Cogen[Endo[A]]
  79. implicit def cogenEndomorphic[F[_, _], A](implicit F: Cogen[F[A, A]]): Cogen[Endomorphic[F, A]]
  80. implicit def cogenEphemeralStream[A](implicit arg0: Cogen[A]): Cogen[EphemeralStream[A]]
  81. implicit def cogenHeap[A](implicit arg0: Cogen[A]): Cogen[Heap[A]]
  82. implicit def cogenIList[A](implicit arg0: Cogen[A]): Cogen[IList[A]]
  83. implicit def cogenIMap[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[==>>[A, B]]
  84. implicit def cogenISet[A](implicit arg0: Cogen[A]): Cogen[ISet[A]]
  85. implicit def cogenIdT[F[_], A](implicit F: Cogen[F[A]]): Cogen[IdT[F, A]]
  86. implicit def cogenImmutableArray[A](implicit arg0: Cogen[A]): Cogen[ImmutableArray[A]]
  87. implicit def cogenIndSeq[A](implicit arg0: Cogen[A]): Cogen[IndSeq[A]]
  88. implicit def cogenIndexedContsT[W[_], M[_], R, O, A](implicit F: Cogen[(W[(A) ⇒ M[O]]) ⇒ M[R]]): Cogen[IndexedContsT[W, M, R, O, A]]
  89. 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]]
  90. implicit def cogenIndexedStateT[F[_], S1, S2, A](implicit arg0: Monad[F], F: Cogen[(S1) ⇒ F[(S2, A)]]): Cogen[IndexedStateT[F, S1, S2, A]]
  91. implicit def cogenIndexedStoreT[F[_], I, A, B](implicit arg0: Cogen[I], F: Cogen[F[(A) ⇒ B]]): Cogen[IndexedStoreT[F, I, A, B]]
  92. implicit def cogenKleisli[F[_], A, B](implicit F: Cogen[(A) ⇒ F[B]]): Cogen[Kleisli[F, A, B]]
  93. implicit def cogenLazyEither[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[LazyEither[A, B]]
  94. implicit def cogenLazyEitherT[F[_], A, B](implicit F: Cogen[F[LazyEither[A, B]]]): Cogen[LazyEitherT[F, A, B]]
  95. implicit def cogenLazyOption[A](implicit arg0: Cogen[A]): Cogen[LazyOption[A]]
  96. implicit def cogenLazyOptionT[F[_], A](implicit F: Cogen[F[LazyOption[A]]]): Cogen[LazyOptionT[F, A]]
  97. implicit def cogenLazyTuple2[A1, A2](implicit arg0: Cogen[A1], arg1: Cogen[A2]): Cogen[LazyTuple2[A1, A2]]
  98. implicit def cogenLazyTuple3[A1, A2, A3](implicit arg0: Cogen[A1], arg1: Cogen[A2], arg2: Cogen[A3]): Cogen[LazyTuple3[A1, A2, A3]]
  99. 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]]
  100. implicit def cogenMaybe[A](implicit arg0: Cogen[A]): Cogen[Maybe[A]]
  101. implicit def cogenMaybeT[F[_], A](implicit F: Cogen[F[Maybe[A]]]): Cogen[MaybeT[F, A]]
  102. implicit def cogenName[A](implicit A: Cogen[A]): Cogen[Name[A]]
  103. implicit def cogenNeed[A](implicit A: Cogen[A]): Cogen[Need[A]]
  104. implicit def cogenNonEmptyList[A](implicit arg0: Cogen[A]): Cogen[NonEmptyList[A]]
  105. implicit def cogenNullArgument[A, B](implicit F: Cogen[(Option[A]) ⇒ B]): Cogen[NullArgument[A, B]]
  106. implicit def cogenNullResult[A, B](implicit F: Cogen[(A) ⇒ Option[B]]): Cogen[NullResult[A, B]]
  107. implicit def cogenOneAnd[F[_], A](implicit arg0: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]
  108. implicit def cogenOneOr[F[_], A](implicit arg0: Cogen[A], F: Cogen[F[A]]): Cogen[OneOr[F, A]]
  109. implicit def cogenOptionT[F[_], A](implicit F: Cogen[F[Option[A]]]): Cogen[OptionT[F, A]]
  110. implicit val cogenOrdering: Cogen[Ordering]
  111. implicit def cogenStreamT[F[_], A](implicit arg0: Monad[F], F: Cogen[F[Stream[A]]]): Cogen[StreamT[F, A]]
  112. implicit def cogenStrictTree[A](implicit arg0: Cogen[A]): Cogen[StrictTree[A]]
  113. implicit def cogenTannen[F[_], G[_, _], A, B](implicit F: Cogen[F[G[A, B]]]): Cogen[Tannen[F, G, A, B]]
  114. implicit def cogenThese[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[\&/[A, B]]
  115. implicit def cogenTheseT[F[_], A, B](implicit F: Cogen[F[\&/[A, B]]]): Cogen[TheseT[F, A, B]]
  116. implicit def cogenTracedT[W[_], A, B](implicit W: Cogen[W[(A) ⇒ B]]): Cogen[TracedT[W, A, B]]
  117. implicit def cogenTree[A](implicit arg0: Cogen[A]): Cogen[Tree[A]]
  118. implicit def cogenTreeLoc[A](implicit arg0: Cogen[A]): Cogen[TreeLoc[A]]
  119. implicit def cogenUnwriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[UnwriterT[F, A, B]]
  120. implicit def cogenValidation[A, B](implicit arg0: Cogen[A], arg1: Cogen[B]): Cogen[Validation[A, B]]
  121. implicit def cogenValue[A](implicit A: Cogen[A]): Cogen[Value[A]]
  122. implicit def cogenWriterT[F[_], A, B](implicit F: Cogen[F[(A, B)]]): Cogen[WriterT[F, A, B]]
  123. implicit def cogenZipper[A](implicit A: Cogen[A]): Cogen[Zipper[A]]
  124. implicit def constArbitrary[A, B](implicit arg0: Arbitrary[A]): Arbitrary[Const[A, B]]
  125. implicit def dequeueArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[Dequeue[A]]
  126. implicit def dievArbitrary[A](implicit A: Arbitrary[List[A]], E: Enum[A]): Arbitrary[Diev[A]]
  127. implicit def dlistArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[DList[A]]
  128. implicit def eitherTArb[F[_], A, B](implicit A: Arbitrary[F[\/[A, B]]]): Arbitrary[EitherT[F, A, B]]
  129. implicit def endoArb[A](implicit A: Arbitrary[(A) ⇒ A]): Arbitrary[Endo[A]]
  130. implicit def endomorphicArbitrary[F[_, _], A](implicit F: Arbitrary[F[A, A]]): Arbitrary[Endomorphic[F, A]]
  131. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  132. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  133. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  134. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  135. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  136. implicit def heapArbitrary[A](implicit O: Order[A], A: Arbitrary[List[A]]): Arbitrary[Heap[A]]
  137. implicit def ilistArbitrary[A](implicit A: Arbitrary[List[A]]): Arbitrary[IList[A]]
  138. implicit def indexedContsTArb[W[_], M[_], R, O, A](implicit A: Arbitrary[(W[(A) ⇒ M[O]]) ⇒ M[R]]): Arbitrary[IndexedContsT[W, M, R, O, A]]
  139. 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]]
  140. implicit def indexedStateTArb[F[_], S1, S2, A](implicit A: Arbitrary[(S1) ⇒ F[(S2, A)]]): Arbitrary[IndexedStateT[F, S1, S2, A]]
  141. implicit def indexedStoreTArb[F[_], I, A, B](implicit A: Arbitrary[(F[(A) ⇒ B], I)]): Arbitrary[IndexedStoreT[F, I, A, B]]
  142. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  143. implicit def iterateeInputArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Input[A]]
  144. implicit def lazyEitherArb[F[_], A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[LazyEither[A, B]]
  145. implicit def lazyEitherTArb[F[_], A, B](implicit A: Arbitrary[F[LazyEither[A, B]]]): Arbitrary[LazyEitherT[F, A, B]]
  146. implicit def lazyOptionArb[F[_], A](implicit A: Arbitrary[Option[A]]): Arbitrary[LazyOption[A]]
  147. implicit def lazyOptionTArb[F[_], A](implicit A: Arbitrary[F[LazyOption[A]]]): Arbitrary[LazyOptionT[F, A]]
  148. implicit def lazyTuple2Arbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[LazyTuple2[A, B]]
  149. implicit def lazyTuple3Arbitrary[A, B, C](implicit arg0: Arbitrary[A], arg1: Arbitrary[B], arg2: Arbitrary[C]): Arbitrary[LazyTuple3[A, B, C]]
  150. 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]]
  151. implicit def listTArb[F[_], A](implicit arg0: Applicative[F], FA: Arbitrary[F[IList[A]]]): Arbitrary[ListT[F, A]]
  152. implicit def maybeTArb[F[_], A](implicit A: Arbitrary[F[Maybe[A]]]): Arbitrary[MaybeT[F, A]]
  153. implicit def monoidCoproductArbitrary[M, N](implicit arg0: Arbitrary[M], arg1: Arbitrary[N]): Arbitrary[:+:[M, N]]
  154. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  155. final def notify(): Unit
    Definition Classes
    AnyRef
  156. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  157. implicit def optionTArb[F[_], A](implicit A: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]]
  158. def stateTArb[F[+_], S, A](implicit A: Arbitrary[(S) ⇒ F[(S, A)]]): Arbitrary[StateT[F, S, A]]
  159. def storeTArb[F[+_], A, B](implicit A: Arbitrary[(F[(A) ⇒ B], A)]): Arbitrary[StoreT[F, A, B]]
  160. implicit def streamTArb[F[_], A](implicit FA: Arbitrary[F[Stream[A]]], F: Applicative[F]): Arbitrary[StreamT[F, A]]
  161. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  162. implicit def tannenArbitrary[F[_], G[_, _], A, B](implicit F: Arbitrary[F[G[A, B]]]): Arbitrary[Tannen[F, G, A, B]]
  163. implicit def theseArb[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[\&/[A, B]]

    Since

    7.0.3

  164. implicit def theseTArb[F[_], A, B](implicit A: Arbitrary[F[\&/[A, B]]]): Arbitrary[TheseT[F, A, B]]
  165. def toString(): String
    Definition Classes
    AnyRef → Any
  166. implicit def tracedTArb[W[_], A, B](implicit A: Arbitrary[W[(A) ⇒ B]]): Arbitrary[TracedT[W, A, B]]
  167. implicit def unwriterTArb[F[_], U, A](implicit A: Arbitrary[F[(U, A)]]): Arbitrary[UnwriterT[F, U, A]]
  168. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  169. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  170. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  171. 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