package discipline
- Alphabetic
- By Inheritance
- discipline
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
Type Members
- trait AlignTests[F[_]] extends Laws
- trait AlternativeTests[F[_]] extends NonEmptyAlternativeTests[F] with MonoidKTests[F]
- trait ApplicativeErrorTests[F[_], E] extends ApplicativeTests[F]
- trait ApplicativeTests[F[_]] extends ApplyTests[F]
- trait ApplyTests[F[_]] extends FunctorTests[F] with SemigroupalTests[F]
- trait ArrowChoiceTests[F[_, _]] extends ArrowTests[F] with ChoiceTests[F]
- trait ArrowTests[F[_, _]] extends CategoryTests[F] with StrongTests[F]
- trait BifoldableTests[F[_, _]] extends Laws
- trait BifunctorTests[F[_, _]] extends Laws
- trait BimonadTests[F[_]] extends MonadTests[F] with ComonadTests[F]
- trait BitraverseTests[F[_, _]] extends BifoldableTests[F] with BifunctorTests[F]
- trait CategoryTests[F[_, _]] extends ComposeTests[F]
- trait ChoiceTests[F[_, _]] extends CategoryTests[F]
- trait CoflatMapTests[F[_]] extends Laws with FunctorTests[F]
- trait CommutativeApplicativeTests[F[_]] extends CommutativeApplyTests[F] with ApplicativeTests[F]
- trait CommutativeApplyTests[F[_]] extends ApplyTests[F]
- trait CommutativeArrowTests[F[_, _]] extends ArrowTests[F]
- trait CommutativeFlatMapTests[F[_]] extends FlatMapTests[F] with CommutativeApplyTests[F]
- trait CommutativeMonadTests[F[_]] extends MonadTests[F] with CommutativeFlatMapTests[F] with CommutativeApplicativeTests[F]
- trait ComonadTests[F[_]] extends CoflatMapTests[F]
- trait ComposeTests[F[_, _]] extends Laws
- trait ContravariantMonoidalTests[F[_]] extends ContravariantSemigroupalTests[F]
- trait ContravariantSemigroupalTests[F[_]] extends ContravariantTests[F] with SemigroupalTests[F]
- trait ContravariantTests[F[_]] extends InvariantTests[F]
- trait DeferTests[F[_]] extends Laws
- trait DistributiveTests[F[_]] extends FunctorTests[F]
- trait ExhaustiveCheck[A] extends Serializable
An
ExhuastiveCheck[A]
instance can be used similarly to a ScalaCheckGen[A]
instance, but differs in that it generates aStream
of the entire domain of values as opposed to generating a random sampling of values. - trait FlatMapTests[F[_]] extends ApplyTests[F]
- trait FoldableTests[F[_]] extends UnorderedFoldableTests[F]
- trait FunctorFilterTests[F[_]] extends Laws
- trait FunctorTests[F[_]] extends InvariantTests[F]
- trait InjectKTests[F[_], G[_]] extends Laws
- trait InjectTests[A, B] extends Laws
- trait InvariantMonoidalTests[F[_]] extends InvariantSemigroupalTests[F]
- trait InvariantSemigroupalTests[F[_]] extends InvariantTests[F] with SemigroupalTests[F]
- trait InvariantTests[F[_]] extends Laws
- final class MiniInt extends AnyVal with Serializable
Similar to
Int
, but with a much smaller domain.Similar to
Int
, but with a much smaller domain. The exact range of MiniInt may be tuned from time to time, so consumers of this type should avoid depending on its exact range.MiniInt
has integer overflow characteristics similar toInt
(but with a smaller radix), meaning that its addition and multiplication are commutative and associative. - trait MonadErrorTests[F[_], E] extends ApplicativeErrorTests[F, E] with MonadTests[F]
- trait MonadTests[F[_]] extends ApplicativeTests[F] with FlatMapTests[F]
- trait MonoidKTests[F[_]] extends SemigroupKTests[F]
- trait NonEmptyAlternativeTests[F[_]] extends ApplicativeTests[F] with SemigroupKTests[F]
- trait NonEmptyParallelTests[M[_]] extends Laws
- trait NonEmptyTraverseTests[F[_]] extends TraverseTests[F] with ReducibleTests[F]
- trait ParallelTests[M[_]] extends NonEmptyParallelTests[M]
- trait ProfunctorTests[F[_, _]] extends Laws
- trait ReducibleTests[F[_]] extends FoldableTests[F]
- trait RepresentableTests[F[_], R] extends Laws
- trait SemigroupKTests[F[_]] extends Laws
- trait SemigroupalTests[F[_]] extends Laws
- trait ShortCircuitingTests[F[_]] extends Laws
- trait StrongTests[F[_, _]] extends ProfunctorTests[F]
- trait TraverseFilterTests[F[_]] extends FunctorFilterTests[F]
- trait TraverseTests[F[_]] extends FunctorTests[F] with FoldableTests[F] with UnorderedTraverseTests[F]
- trait UnorderedFoldableTests[F[_]] extends Laws
- trait UnorderedTraverseTests[F[_]] extends UnorderedFoldableTests[F]
Value Members
- val SerializableTests: kernel.laws.discipline.SerializableTests.type
- implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit arg0: Eq[A], pp: (A) => Pretty): Prop
- object AlignTests
- object AlternativeTests
- object ApplicativeErrorTests
- object ApplicativeTests
- object ApplyTests
- object ArrowChoiceTests
- object ArrowTests
- object BifoldableTests
- object BifunctorTests
- object BimonadTests
- object BitraverseTests
- object CategoryTests
- object ChoiceTests
- object CoflatMapTests
- object CommutativeApplicativeTests
- object CommutativeApplyTests
- object CommutativeArrowTests
- object CommutativeFlatMapTests
- object CommutativeMonadTests
- object ComonadTests
- object ComposeTests
- object ContravariantMonoidalTests
- object ContravariantSemigroupalTests
- object ContravariantTests
- object DeferTests
- object DistributiveTests
- object ExhaustiveCheck extends Serializable
- object FlatMapTests
- object FoldableTests
- object FunctorFilterTests
- object FunctorTests
- object InjectKTests
- object InjectTests
- object InvariantMonoidalTests
- object InvariantSemigroupalTests
- object InvariantTests
- object MiniInt extends Serializable
- object MonadErrorTests
- object MonadTests
- object MonoidKTests
- object NonEmptyAlternativeTests
- object NonEmptyParallelTests
- object NonEmptyTraverseTests
- object ParallelTests
- object ProfunctorTests
- object ReducibleTests
- object RepresentableTests
- object SemigroupKTests
- object SemigroupalTests
- object ShortCircuitingTests
- object StrongTests
- object TraverseFilterTests
- object TraverseTests
- object UnorderedFoldableTests
- object UnorderedTraverseTests
- object arbitrary extends ArbitraryInstances0 with ArbitraryInstances
Arbitrary instances for cats.data
Arbitrary instances for cats.data
- Annotations
- @suppressUnusedImportWarningForScalaVersionSpecific()
- object eq
Deprecated Value Members
- object DeprecatedEqInstances
- Annotations
- @deprecated
- Deprecated
(Since version 2.0) These instances are questionable and can lead to false positives. For the sake of compatibility, they haven't been removed, but they should be considered to be deprecated, and we put them in a lower implicit scope priority.