scalaz.scalacheck

ScalazArbitrary

object ScalazArbitrary extends ScalazArbitraryPlatform

Instances of scalacheck.Arbitrary for many types in Scalaz.

Source
ScalazArbitrary.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalazArbitrary
  2. ScalazArbitraryPlatform
  3. ScalazArbitrary1
  4. AnyRef
  5. 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 EitherFirstLeftProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[@@[LeftProjection[A, B], First]]

  25. implicit def EitherFirstRightProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[@@[RightProjection[A, B], First]]

  26. implicit def EitherLastLeftProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[@@[LeftProjection[A, B], Last]]

  27. implicit def EitherLastRightProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[@@[RightProjection[A, B], Last]]

  28. implicit def EitherLeftProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[LeftProjection[A, B]]

  29. implicit def EitherRightProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[RightProjection[A, B]]

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

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

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

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

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

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

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

  37. implicit def FutureArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Future[A]]

    Definition Classes
    ScalazArbitraryPlatform
  38. implicit def ImmutableArrayArbitrary[A](implicit arg0: Arbitrary[A], arg1: ClassTag[A]): Arbitrary[ImmutableArray[A]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Since

    7.0.3

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

    Since

    7.0.3

  56. implicit val OrderingArbitrary: Arbitrary[Ordering]

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

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

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

    Definition Classes
    ScalazArbitraryPlatform
  60. implicit def TreeArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Tree[A]]

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

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

  63. implicit val UnitArbitrary: Arbitrary[Unit]

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

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

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

  67. implicit val arbBigInt: Arbitrary[BigInt]

  68. implicit val arbBigInteger: Arbitrary[BigInteger]

  69. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  70. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  71. implicit def constArbitrary[A, B](implicit arg0: Arbitrary[A]): Arbitrary[Const[A, B]]

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  79. def equals(arg0: Any): Boolean

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

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

    Definition Classes
    AnyRef → Any
  82. def hashCode(): Int

    Definition Classes
    AnyRef → Any
  83. implicit def heapArbitrary[A](implicit O: Order[A], A: Arbitrary[List[A]]): Arbitrary[Heap[A]]

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

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

  86. 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]]

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

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

  89. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  90. implicit def iterateeInputArbitrary[A](implicit arg0: Arbitrary[A]): Arbitrary[Input[A]]

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

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

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

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

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

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

  97. 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]]

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

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

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

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

    Definition Classes
    AnyRef
  102. final def notify(): Unit

    Definition Classes
    AnyRef
  103. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  104. implicit def optionTArb[F[_], A](implicit A: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]]

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

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

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

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

    Definition Classes
    AnyRef
  109. implicit def theseArb[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[\&/[A, B]]

    Since

    7.0.3

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

  111. def toString(): String

    Definition Classes
    AnyRef → Any
  112. implicit def tracedTArb[W[_], A, B](implicit A: Arbitrary[W[(A) ⇒ B]]): Arbitrary[TracedT[W, A, B]]

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

  114. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  117. implicit def writerTArb[F[_], W, A](implicit A: Arbitrary[F[(W, A)]]): Arbitrary[WriterT[F, W, A]]

Inherited from ScalazArbitraryPlatform

Inherited from ScalazArbitrary1

Inherited from AnyRef

Inherited from Any

Ungrouped