Object

cats.laws.discipline

arbitrary

Related Doc: package discipline

Permalink

object arbitrary extends ArbitraryInstances0 with ArbitraryInstances

Arbitrary instances for cats.data

Annotations
@suppressUnusedImportWarningForScalaVersionSpecific()
Linear Supertypes
ArbitraryInstances, ArbitraryInstances0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. arbitrary
  2. ArbitraryInstances
  3. ArbitraryInstances0
  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 def arbNonEmptyMap[K, A](implicit arg0: Order[K], A: Arbitrary[A], K: Arbitrary[K]): Arbitrary[NonEmptyMap[K, A]]

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. implicit def catLawsCogenForTuple2K[F[_], G[_], A](implicit F: Cogen[F[A]], G: Cogen[G[A]]): Cogen[Tuple2K[F, G, A]]

    Permalink
  7. implicit def catsLawArbitraryForCokleisliId[A, B](implicit arg0: Arbitrary[A], arg1: Cogen[A], arg2: Arbitrary[B]): Arbitrary[Cokleisli[Id, A, B]]

    Permalink
  8. implicit def catsLawArbitraryForIndexedStateT[F[_], SA, SB, A](implicit F: Arbitrary[F[(SA) ⇒ F[(SB, A)]]]): Arbitrary[IndexedStateT[F, SA, SB, A]]

    Permalink
    Definition Classes
    ArbitraryInstances0
  9. implicit def catsLawArbitraryForReader[A, B](implicit arg0: Arbitrary[A], arg1: Cogen[A], arg2: Arbitrary[B]): Arbitrary[Reader[A, B]]

    Permalink
  10. implicit def catsLawArbitraryForState[S, A](implicit arg0: Arbitrary[S], arg1: Cogen[S], arg2: Arbitrary[A]): Arbitrary[State[S, A]]

    Permalink
  11. implicit def catsLawsArbitraryForAndThen[A, B](implicit F: Arbitrary[(A) ⇒ B]): Arbitrary[AndThen[A, B]]

    Permalink
  12. implicit def catsLawsArbitraryForAppFunc[F[_], A, B](implicit AA: Arbitrary[A], CA: Cogen[A], F: Arbitrary[F[B]], FF: Applicative[F]): Arbitrary[AppFunc[F, A, B]]

    Permalink
  13. implicit def catsLawsArbitraryForBinested[F[_, _], G[_], H[_], A, B](implicit F: Arbitrary[F[G[A], H[B]]]): Arbitrary[Binested[F, G, H, A, B]]

    Permalink
  14. implicit def catsLawsArbitraryForChain[A](implicit A: Arbitrary[A]): Arbitrary[Chain[A]]

    Permalink
  15. implicit def catsLawsArbitraryForCokleisli[F[_], A, B](implicit AFA: Arbitrary[F[A]], CFA: Cogen[F[A]], B: Arbitrary[B]): Arbitrary[Cokleisli[F, A, B]]

    Permalink
    Definition Classes
    ArbitraryInstances0
  16. implicit def catsLawsArbitraryForConst[A, B](implicit A: Arbitrary[A]): Arbitrary[Const[A, B]]

    Permalink
  17. implicit def catsLawsArbitraryForEitherK[F[_], G[_], A](implicit F: Arbitrary[F[A]], G: Arbitrary[G[A]]): Arbitrary[EitherK[F, G, A]]

    Permalink
  18. implicit def catsLawsArbitraryForEitherT[F[_], A, B](implicit F: Arbitrary[F[Either[A, B]]]): Arbitrary[EitherT[F, A, B]]

    Permalink
  19. implicit def catsLawsArbitraryForEq[A](implicit arg0: Arbitrary[A]): Arbitrary[Eq[A]]

    Permalink
  20. implicit def catsLawsArbitraryForEquiv[A](implicit arg0: Arbitrary[A]): Arbitrary[Equiv[A]]

    Permalink
  21. implicit def catsLawsArbitraryForEval[A](implicit arg0: Arbitrary[A]): Arbitrary[Eval[A]]

    Permalink
  22. implicit def catsLawsArbitraryForFn0[A](implicit arg0: Arbitrary[A]): Arbitrary[() ⇒ A]

    Permalink
  23. implicit def catsLawsArbitraryForFunc[F[_], A, B](implicit AA: Arbitrary[A], CA: Cogen[A], F: Arbitrary[F[B]]): Arbitrary[Func[F, A, B]]

    Permalink
  24. implicit def catsLawsArbitraryForHash[A](implicit arg0: Hash[A]): Arbitrary[Hash[A]]

    Permalink
  25. implicit def catsLawsArbitraryForIRWST[F[_], E, L, SA, SB, A](implicit arg0: Applicative[F], F: Arbitrary[(E, SA) ⇒ F[(L, SB, A)]]): Arbitrary[IndexedReaderWriterStateT[F, E, L, SA, SB, A]]

    Permalink
  26. implicit def catsLawsArbitraryForIdT[F[_], A](implicit F: Arbitrary[F[A]]): Arbitrary[IdT[F, A]]

    Permalink
  27. implicit def catsLawsArbitraryForIor[A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[Ior[A, B]]

    Permalink
  28. implicit def catsLawsArbitraryForIorT[F[_], A, B](implicit F: Arbitrary[F[Ior[A, B]]]): Arbitrary[IorT[F, A, B]]

    Permalink
  29. implicit def catsLawsArbitraryForKleisli[F[_], A, B](implicit AA: Arbitrary[A], CA: Cogen[A], F: Arbitrary[F[B]]): Arbitrary[Kleisli[F, A, B]]

    Permalink
    Definition Classes
    ArbitraryInstances0
  30. implicit val catsLawsArbitraryForMiniInt: Arbitrary[MiniInt]

    Permalink
  31. implicit def catsLawsArbitraryForNested[F[_], G[_], A](implicit FG: Arbitrary[F[G[A]]]): Arbitrary[Nested[F, G, A]]

    Permalink
  32. implicit def catsLawsArbitraryForNonEmptyChain[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptyChain[A]]

    Permalink
  33. implicit def catsLawsArbitraryForNonEmptyList[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptyList[A]]

    Permalink
  34. implicit def catsLawsArbitraryForNonEmptySet[A](implicit arg0: Order[A], A: Arbitrary[A]): Arbitrary[NonEmptySet[A]]

    Permalink
  35. implicit def catsLawsArbitraryForNonEmptyVector[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptyVector[A]]

    Permalink
  36. implicit def catsLawsArbitraryForOneAnd[F[_], A](implicit A: Arbitrary[A], F: Arbitrary[F[A]]): Arbitrary[OneAnd[F, A]]

    Permalink
  37. implicit def catsLawsArbitraryForOp[Arr[_, _], A, B](implicit Arr: Arbitrary[Arr[B, A]]): Arbitrary[Op[Arr, A, B]]

    Permalink
  38. implicit def catsLawsArbitraryForOptionT[F[_], A](implicit F: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]]

    Permalink
  39. implicit def catsLawsArbitraryForOrder[A](implicit arg0: Arbitrary[A]): Arbitrary[Order[A]]

    Permalink
  40. implicit def catsLawsArbitraryForOrdering[A](implicit arg0: Arbitrary[A]): Arbitrary[Ordering[A]]

    Permalink
  41. implicit def catsLawsArbitraryForPartialFunction[A, B](implicit F: Arbitrary[(A) ⇒ Option[B]]): Arbitrary[PartialFunction[A, B]]

    Permalink
  42. implicit def catsLawsArbitraryForPartialOrder[A](implicit arg0: Arbitrary[A]): Arbitrary[PartialOrder[A]]

    Permalink
  43. implicit def catsLawsArbitraryForPartialOrdering[A](implicit arg0: Arbitrary[A]): Arbitrary[PartialOrdering[A]]

    Permalink
  44. implicit def catsLawsArbitraryForRepresentableStore[F[_], S, A](implicit R: Aux[F, S], ArbS: Arbitrary[S], ArbFA: Arbitrary[F[A]]): Arbitrary[RepresentableStore[F, S, A]]

    Permalink
  45. implicit def catsLawsArbitraryForShow[A](implicit arg0: Arbitrary[A]): Arbitrary[Show[A]]

    Permalink
  46. implicit def catsLawsArbitraryForSortedMap[K, V](implicit arg0: Arbitrary[K], arg1: Order[K], arg2: Arbitrary[V]): Arbitrary[SortedMap[K, V]]

    Permalink
  47. implicit def catsLawsArbitraryForSortedSet[A](implicit arg0: Arbitrary[A], arg1: Order[A]): Arbitrary[SortedSet[A]]

    Permalink
  48. implicit def catsLawsArbitraryForTuple2K[F[_], G[_], A](implicit F: Arbitrary[F[A]], G: Arbitrary[G[A]]): Arbitrary[Tuple2K[F, G, A]]

    Permalink
  49. implicit def catsLawsArbitraryForValidated[A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[Validated[A, B]]

    Permalink
  50. implicit def catsLawsArbitraryForWriter[L, V](implicit arg0: Arbitrary[L], arg1: Arbitrary[V]): Arbitrary[Writer[L, V]]

    Permalink
  51. implicit def catsLawsArbitraryForWriterT[F[_], L, V](implicit F: Arbitrary[F[(L, V)]]): Arbitrary[WriterT[F, L, V]]

    Permalink
    Definition Classes
    ArbitraryInstances0
  52. implicit def catsLawsArbitraryForZipList[A](implicit A: Arbitrary[A]): Arbitrary[ZipList[A]]

    Permalink
  53. implicit def catsLawsArbitraryForZipNonEmptyList[A](implicit A: Arbitrary[A]): Arbitrary[ZipNonEmptyList[A]]

    Permalink
  54. implicit def catsLawsArbitraryForZipNonEmptyVector[A](implicit A: Arbitrary[A]): Arbitrary[ZipNonEmptyVector[A]]

    Permalink
  55. implicit def catsLawsArbitraryForZipStream[A](implicit A: Arbitrary[A]): Arbitrary[ZipStream[A]]

    Permalink
    Definition Classes
    ArbitraryInstances
  56. implicit def catsLawsArbitraryForZipVector[A](implicit A: Arbitrary[A]): Arbitrary[ZipVector[A]]

    Permalink
  57. implicit def catsLawsCogenForAndThen[A, B](implicit F: Cogen[(A) ⇒ B]): Cogen[AndThen[A, B]]

    Permalink
  58. implicit def catsLawsCogenForChain[A](implicit A: Cogen[A]): Cogen[Chain[A]]

    Permalink
  59. implicit def catsLawsCogenForConst[A, B](implicit A: Cogen[A]): Cogen[Const[A, B]]

    Permalink
  60. implicit def catsLawsCogenForEitherK[F[_], G[_], A](implicit F: Cogen[F[A]], G: Cogen[G[A]]): Cogen[EitherK[F, G, A]]

    Permalink
  61. implicit def catsLawsCogenForEitherT[F[_], A, B](implicit F: Cogen[F[Either[A, B]]]): Cogen[EitherT[F, A, B]]

    Permalink
  62. implicit def catsLawsCogenForEval[A](implicit arg0: Cogen[A]): Cogen[Eval[A]]

    Permalink
  63. implicit def catsLawsCogenForFunction0[A](implicit A: Cogen[A]): Cogen[() ⇒ A]

    Permalink
  64. implicit def catsLawsCogenForIdT[F[_], A](implicit F: Cogen[F[A]]): Cogen[IdT[F, A]]

    Permalink
  65. implicit def catsLawsCogenForIor[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[Ior[A, B]]

    Permalink
  66. implicit def catsLawsCogenForIorT[F[_], A, B](implicit F: Cogen[F[Ior[A, B]]]): Cogen[IorT[F, A, B]]

    Permalink
  67. implicit val catsLawsCogenForMiniInt: Cogen[MiniInt]

    Permalink
  68. implicit def catsLawsCogenForNonEmptyChain[A](implicit A: Cogen[A]): Cogen[NonEmptyChain[A]]

    Permalink
  69. implicit def catsLawsCogenForNonEmptyList[A](implicit A: Cogen[A]): Cogen[NonEmptyList[A]]

    Permalink
  70. implicit def catsLawsCogenForNonEmptySet[A](implicit arg0: Order[A], arg1: Cogen[A]): Cogen[NonEmptySet[A]]

    Permalink
  71. implicit def catsLawsCogenForNonEmptyVector[A](implicit A: Cogen[A]): Cogen[NonEmptyVector[A]]

    Permalink
  72. implicit def catsLawsCogenForOneAnd[F[_], A](implicit A: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]

    Permalink
  73. implicit def catsLawsCogenForOp[Arr[_, _], A, B](implicit Arr: Cogen[Arr[B, A]]): Cogen[Op[Arr, A, B]]

    Permalink
  74. implicit def catsLawsCogenForOptionT[F[_], A](implicit F: Cogen[F[Option[A]]]): Cogen[OptionT[F, A]]

    Permalink
  75. implicit def catsLawsCogenForRepresentableStore[F[_], S, A](implicit arg0: Representable[F], CA: Cogen[A]): Cogen[RepresentableStore[F, S, A]]

    Permalink
  76. implicit def catsLawsCogenForSortedMap[K, V](implicit arg0: Order[K], arg1: Cogen[K], arg2: Order[V], arg3: Cogen[V]): Cogen[SortedMap[K, V]]

    Permalink
  77. implicit def catsLawsCogenForSortedSet[A](implicit arg0: Order[A], arg1: Cogen[A]): Cogen[SortedSet[A]]

    Permalink
  78. implicit val catsLawsCogenForThrowable: Cogen[Throwable]

    Permalink
  79. implicit def catsLawsCogenForTry[A](implicit A: Cogen[A]): Cogen[Try[A]]

    Permalink
  80. implicit def catsLawsCogenForValidated[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[Validated[A, B]]

    Permalink
  81. implicit def catsLawsCogenForWriter[L, V](implicit arg0: Cogen[L], arg1: Cogen[V]): Cogen[Writer[L, V]]

    Permalink
  82. implicit def catsLawsCogenForWriterT[F[_], L, V](implicit F: Cogen[F[(L, V)]]): Cogen[WriterT[F, L, V]]

    Permalink
    Definition Classes
    ArbitraryInstances0
  83. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  84. implicit def cogenNonEmptyMap[K, A](implicit arg0: Order[K], arg1: Cogen[K], arg2: Order[A], arg3: Cogen[A]): Cogen[NonEmptyMap[K, A]]

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

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

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

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

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

    Permalink
    Definition Classes
    AnyRef → Any
  90. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  91. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  94. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  95. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  96. final def wait(): Unit

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

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

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

Inherited from ArbitraryInstances

Inherited from ArbitraryInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped