Object

scalaz.scalacheck

ScalazArbitrary

Related Doc: package scalacheck

Permalink

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
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 val 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 arg0: Arbitrary[A]): Arbitrary[Maybe[A]]

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

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

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

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

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

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

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

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

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

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

    Permalink
  18. implicit val DigitArbitrary: Arbitrary[Digit]

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

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

    Permalink
  21. implicit def EitherFirstLeftProjectionArbitrary[A, B](implicit arg0: Arbitrary[A], arg1: Arbitrary[B]): Arbitrary[@@[LeftProjection[A, B], First]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink

    Since

    7.0.3

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

    Permalink

    Since

    7.0.3

  52. implicit val OrderingArbitrary: Arbitrary[Ordering]

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

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

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

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

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

    Permalink
  58. implicit val UnitArbitrary: Arbitrary[Unit]

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

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

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

    Permalink
  62. implicit val arbBigInt: Arbitrary[BigInt]

    Permalink
  63. implicit val arbBigInteger: Arbitrary[BigInteger]

    Permalink
  64. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  65. def clone(): AnyRef

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

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

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

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

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

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

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

    Permalink
  73. final def eq(arg0: AnyRef): Boolean

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

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

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

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

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

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

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

    Permalink
  81. 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]]

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

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

    Permalink
  84. final def isInstanceOf[T0]: Boolean

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

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

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

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

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

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

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

    Permalink
  92. 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]]

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

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

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

    Permalink
  96. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  97. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  98. final def notifyAll(): Unit

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

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

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

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

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

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

    Permalink

    Since

    7.0.3

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

    Permalink
  106. def toString(): String

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

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

    Permalink
  109. final def wait(): Unit

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

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

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

    Permalink

Inherited from ScalazArbitraryPlatform

Inherited from ScalazArbitrary1

Inherited from AnyRef

Inherited from Any

Ungrouped