cats-docs
2.11.0
API
Generated with
cats-docs/cats/cats.laws/cats.laws.discipline/arbitrary

arbitrary

cats.laws.discipline.arbitrary
object arbitrary extends ArbitraryInstances

Arbitrary instances for cats.data

Attributes

Source
arbitrary.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
arbitrary.type

Members list

Value members

Deprecated methods

def catsLawsCogenForSortedMap[K, V](kOrder: Order[K], kCogen: Cogen[K], vOrder: Order[V], vCogen: Cogen[V]): Cogen[SortedMap[K, V]]

Attributes

Deprecated
true
Source
arbitrary.scala
def cogenNonEmptyMap[K, A](kOrder: Order[K], kCogen: Cogen[K], aOrder: Order[A], aCogen: Cogen[A]): Cogen[Type[K, A]]

Attributes

Deprecated
true
Source
arbitrary.scala

Implicits

Implicits

implicit def arbNonEmptyMap[K : Order, A](implicit evidence$1: Order[K], A: Arbitrary[A], K: Arbitrary[K]): Arbitrary[Type[K, A]]

Attributes

Source
arbitrary.scala
implicit def catLawsCogenForTuple2K[F[_], G[_], A](implicit F: Cogen[F[A]], G: Cogen[G[A]]): Cogen[Tuple2K[F, G, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawArbitraryForReader[A : Cogen, B : Arbitrary]: Arbitrary[Reader[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawArbitraryForState[S : Cogen, A : Arbitrary]: Arbitrary[State[S, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForAndThen[A, B](implicit F: Arbitrary[A => B]): Arbitrary[AndThen[A, B]]

Attributes

Source
arbitrary.scala
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]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForBinested[F[_, _], G[_], H[_], A, B](implicit F: Arbitrary[F[G[A], H[B]]]): Arbitrary[Binested[F, G, H, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForChain[A](implicit A: Arbitrary[A]): Arbitrary[Chain[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForConst[A, B](implicit A: Arbitrary[A]): Arbitrary[Const[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForEitherK[F[_], G[_], A](implicit F: Arbitrary[F[A]], G: Arbitrary[G[A]]): Arbitrary[EitherK[F, G, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForEitherT[F[_], A, B](implicit F: Arbitrary[F[Either[A, B]]]): Arbitrary[EitherT[F, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForEq[A : Arbitrary]: Arbitrary[Eq[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForEquiv[A : Arbitrary]: Arbitrary[Equiv[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForEval[A : Arbitrary]: Arbitrary[Eval[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForFn0[A : Arbitrary]: Arbitrary[() => A]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForFunc[F[_], A, B](implicit AA: Arbitrary[A], CA: Cogen[A], F: Arbitrary[F[B]]): Arbitrary[Func[F, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForHash[A : Hash]: Arbitrary[Hash[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForIRWST[F[_] : Applicative, E, L, SA, SB, A](implicit evidence$1: Applicative[F], F: Arbitrary[(E, SA) => F[(L, SB, A)]]): Arbitrary[IndexedReaderWriterStateT[F, E, L, SA, SB, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForIdT[F[_], A](implicit F: Arbitrary[F[A]]): Arbitrary[IdT[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForIor[A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[Ior[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForIorT[F[_], A, B](implicit F: Arbitrary[F[Ior[A, B]]]): Arbitrary[IorT[F, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNested[F[_], G[_], A](implicit FG: Arbitrary[F[G[A]]]): Arbitrary[Nested[F, G, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptyChain[A](implicit A: Arbitrary[A]): Arbitrary[Type[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptyList[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptyList[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptySeq[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptySeq[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptySet[A : Order](implicit evidence$1: Order[A], A: Arbitrary[A]): Arbitrary[Type[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptyVector[A](implicit A: Arbitrary[A]): Arbitrary[NonEmptyVector[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForOneAnd[F[_], A](implicit A: Arbitrary[A], F: Arbitrary[F[A]]): Arbitrary[OneAnd[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForOp[Arr[_, _], A, B](implicit Arr: Arbitrary[Arr[B, A]]): Arbitrary[Op[Arr, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForOptionT[F[_], A](implicit F: Arbitrary[F[Option[A]]]): Arbitrary[OptionT[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForOrder[A : Arbitrary]: Arbitrary[Order[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForPartialFunction[A, B](implicit F: Arbitrary[A => Option[B]]): Arbitrary[PartialFunction[A, B]]

Attributes

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

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForRepresentableStoreT[W[_], F[_], S, A](implicit W: Arbitrary[W[F[A]]], S: Arbitrary[S], F: Aux[F, S]): Arbitrary[RepresentableStoreT[W, F, S, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForShow[A : Arbitrary]: Arbitrary[Show[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForTuple2K[F[_], G[_], A](implicit F: Arbitrary[F[A]], G: Arbitrary[G[A]]): Arbitrary[Tuple2K[F, G, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForValidated[A, B](implicit A: Arbitrary[A], B: Arbitrary[B]): Arbitrary[Validated[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForWriter[L : Arbitrary, V : Arbitrary]: Arbitrary[Writer[L, V]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForZipList[A](implicit A: Arbitrary[A]): Arbitrary[ZipList[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForZipNonEmptyList[A](implicit A: Arbitrary[A]): Arbitrary[ZipNonEmptyList[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForZipSeq[A](implicit A: Arbitrary[A]): Arbitrary[ZipSeq[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsArbitraryForZipVector[A](implicit A: Arbitrary[A]): Arbitrary[ZipVector[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForAndThen[A, B](implicit F: Cogen[A => B]): Cogen[AndThen[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForChain[A](implicit A: Cogen[A]): Cogen[Chain[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForConst[A, B](implicit A: Cogen[A]): Cogen[Const[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForEitherK[F[_], G[_], A](implicit F: Cogen[F[A]], G: Cogen[G[A]]): Cogen[EitherK[F, G, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForEitherT[F[_], A, B](implicit F: Cogen[F[Either[A, B]]]): Cogen[EitherT[F, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForEval[A : Cogen]: Cogen[Eval[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForFunction0[A](implicit A: Cogen[A]): Cogen[() => A]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForIdT[F[_], A](implicit F: Cogen[F[A]]): Cogen[IdT[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForIor[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[Ior[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForIorT[F[_], A, B](implicit F: Cogen[F[Ior[A, B]]]): Cogen[IorT[F, A, B]]

Attributes

Source
arbitrary.scala
implicit val catsLawsCogenForMiniInt: Cogen[MiniInt]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForNonEmptyChain[A](implicit A: Cogen[A]): Cogen[Type[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForNonEmptyList[A](implicit A: Cogen[A]): Cogen[NonEmptyList[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForNonEmptySeq[A](implicit A: Cogen[A]): Cogen[NonEmptySeq[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForNonEmptySet[A : Cogen]: Cogen[Type[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForNonEmptyVector[A](implicit A: Cogen[A]): Cogen[NonEmptyVector[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForOneAnd[F[_], A](implicit A: Cogen[A], F: Cogen[F[A]]): Cogen[OneAnd[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForOp[Arr[_, _], A, B](implicit Arr: Cogen[Arr[B, A]]): Cogen[Op[Arr, A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForOptionT[F[_], A](implicit F: Cogen[F[Option[A]]]): Cogen[OptionT[F, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForRepresentableStoreT[W[_], F[_], S, A](implicit W: Cogen[W[F[A]]], S: Cogen[S]): Cogen[RepresentableStoreT[W, F, S, A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForSortedMap[K : Cogen, V : Cogen]: Cogen[SortedMap[K, V]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForSortedSet[A : Cogen]: Cogen[SortedSet[A]]

Attributes

Source
arbitrary.scala
implicit val catsLawsCogenForThrowable: Cogen[Throwable]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForTry[A](implicit A: Cogen[A]): Cogen[Try[A]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForValidated[A, B](implicit A: Cogen[A], B: Cogen[B]): Cogen[Validated[A, B]]

Attributes

Source
arbitrary.scala
implicit def catsLawsCogenForWriter[L : Cogen, V : Cogen]: Cogen[Writer[L, V]]

Attributes

Source
arbitrary.scala
implicit def cogenNonEmptyMap[K : Cogen, A : Cogen]: Cogen[Type[K, A]]

Attributes

Source
arbitrary.scala

Inherited implicits

implicit def catsLawArbitraryForIndexedStateT[F[_], SA, SB, A](implicit F: Arbitrary[F[SA => F[(SB, A)]]]): Arbitrary[IndexedStateT[F, SA, SB, A]]

Attributes

Inherited from:
ArbitraryInstances0 (hidden)
Source
arbitrary.scala
implicit def catsLawsArbitraryForCokleisli[F[_], A, B](implicit AFA: Arbitrary[F[A]], CFA: Cogen[F[A]], B: Arbitrary[B]): Arbitrary[Cokleisli[F, A, B]]

Attributes

Inherited from:
ArbitraryInstances0 (hidden)
Source
arbitrary.scala
implicit def catsLawsArbitraryForKleisli[F[_], A, B](implicit AA: Arbitrary[A], CA: Cogen[A], F: Arbitrary[F[B]]): Arbitrary[Kleisli[F, A, B]]

Attributes

Inherited from:
ArbitraryInstances0 (hidden)
Source
arbitrary.scala
implicit def catsLawsArbitraryForNonEmptyLazyList[A](implicit A: Arbitrary[A]): Arbitrary[Type[A]]

Attributes

Inherited from:
ArbitraryInstances
Source
ScalaVersionSpecific.scala
implicit def catsLawsArbitraryForWriterT[F[_], L, V](implicit F: Arbitrary[F[(L, V)]]): Arbitrary[WriterT[F, L, V]]

Attributes

Inherited from:
ArbitraryInstances0 (hidden)
Source
arbitrary.scala
implicit def catsLawsArbitraryForZipLazyList[A](implicit A: Arbitrary[A]): Arbitrary[ZipLazyList[A]]

Attributes

Inherited from:
ArbitraryInstances
Source
ScalaVersionSpecific.scala
implicit def catsLawsCogenForNonEmptyLazyList[A](implicit A: Cogen[A]): Cogen[Type[A]]

Attributes

Inherited from:
ArbitraryInstances
Source
ScalaVersionSpecific.scala
implicit def catsLawsCogenForWriterT[F[_], L, V](implicit F: Cogen[F[(L, V)]]): Cogen[WriterT[F, L, V]]

Attributes

Inherited from:
ArbitraryInstances0 (hidden)
Source
arbitrary.scala

Deprecated and Inherited implicits

implicit def catsLawsArbitraryForZipStream[A](implicit A: Arbitrary[A]): Arbitrary[ZipStream[A]]

Attributes

Deprecated
true
Inherited from:
ArbitraryInstances
Source
ScalaVersionSpecific.scala
Generated with