Object

cats.laws.discipline

arbitrary

Related Doc: package discipline

Permalink

object arbitrary extends ArbitraryInstances0

Arbitrary instances for cats.data

Linear Supertypes
ArbitraryInstances0, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. arbitrary
  2. ArbitraryInstances0
  3. AnyRef
  4. 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 def catsLawsArbitraryForNested[F[_], G[_], A](implicit FG: Arbitrary[F[G[A]]]): Arbitrary[Nested[F, G, A]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  55. implicit def catsLawsArbitraryForZipVector[A](implicit A: Arbitrary[A]): Arbitrary[ZipVector[A]]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Permalink
  76. implicit val catsLawsCogenForThrowable: Cogen[Throwable]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Inherited from ArbitraryInstances0

Inherited from AnyRef

Inherited from Any

Ungrouped