Package

cats.laws

discipline

Permalink

package discipline

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. discipline
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait AlternativeTests[F[_]] extends ApplicativeTests[F] with MonoidKTests[F]

    Permalink

  2. trait ApplicativeErrorTests[F[_], E] extends ApplicativeTests[F]

    Permalink

  3. trait ApplicativeTests[F[_]] extends ApplyTests[F]

    Permalink

  4. trait ApplyTests[F[_]] extends FunctorTests[F] with SemigroupalTests[F]

    Permalink

  5. trait ArrowChoiceTests[F[_, _]] extends ArrowTests[F] with ChoiceTests[F]

    Permalink

  6. trait ArrowTests[F[_, _]] extends CategoryTests[F] with StrongTests[F]

    Permalink

  7. trait BifoldableTests[F[_, _]] extends Laws

    Permalink

  8. trait BifunctorTests[F[_, _]] extends Laws

    Permalink

  9. trait BimonadTests[F[_]] extends MonadTests[F] with ComonadTests[F]

    Permalink

  10. trait BitraverseTests[F[_, _]] extends BifoldableTests[F] with BifunctorTests[F]

    Permalink

  11. trait CategoryTests[F[_, _]] extends ComposeTests[F]

    Permalink

  12. trait ChoiceTests[F[_, _]] extends CategoryTests[F]

    Permalink

  13. trait CoflatMapTests[F[_]] extends Laws with FunctorTests[F]

    Permalink

  14. trait CommutativeApplicativeTests[F[_]] extends CommutativeApplyTests[F] with ApplicativeTests[F]

    Permalink

  15. trait CommutativeApplyTests[F[_]] extends ApplyTests[F]

    Permalink

  16. trait CommutativeArrowTests[F[_, _]] extends ArrowTests[F]

    Permalink

  17. trait CommutativeFlatMapTests[F[_]] extends FlatMapTests[F] with CommutativeApplyTests[F]

    Permalink

  18. trait CommutativeMonadTests[F[_]] extends MonadTests[F] with CommutativeFlatMapTests[F] with CommutativeApplicativeTests[F]

    Permalink

  19. trait ComonadTests[F[_]] extends CoflatMapTests[F]

    Permalink

  20. trait ComposeTests[F[_, _]] extends Laws

    Permalink

  21. trait ContravariantMonoidalTests[F[_]] extends ContravariantSemigroupalTests[F]

    Permalink

  22. trait ContravariantSemigroupalTests[F[_]] extends ContravariantTests[F] with SemigroupalTests[F]

    Permalink

  23. trait ContravariantTests[F[_]] extends InvariantTests[F]

    Permalink

  24. trait DeferTests[F[_]] extends Laws

    Permalink

  25. trait DistributiveTests[F[_]] extends FunctorTests[F]

    Permalink

  26. trait ExhaustiveCheck[A] extends Serializable

    Permalink

    An ExhuastiveCheck[A] instance can be used similarly to a ScalaCheck Gen[A] instance, but differs in that it generates a Stream of the entire domain of values as opposed to generating a random sampling of values.

  27. trait FlatMapTests[F[_]] extends ApplyTests[F]

    Permalink

  28. trait FoldableTests[F[_]] extends UnorderedFoldableTests[F]

    Permalink

  29. trait FunctorFilterTests[F[_]] extends Laws

    Permalink

  30. trait FunctorTests[F[_]] extends InvariantTests[F]

    Permalink

  31. trait InjectKTests[F[_], G[_]] extends Laws

    Permalink

  32. trait InjectTests[A, B] extends Laws

    Permalink

  33. trait InvariantMonoidalTests[F[_]] extends InvariantSemigroupalTests[F]

    Permalink

  34. trait InvariantSemigroupalTests[F[_]] extends InvariantTests[F] with SemigroupalTests[F]

    Permalink

  35. trait InvariantTests[F[_]] extends Laws

    Permalink

  36. final class MiniInt extends AnyVal with Serializable

    Permalink

    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 to Int (but with a smaller radix), meaning that its addition and multiplication are commutative and associative.

  37. trait MonadErrorTests[F[_], E] extends ApplicativeErrorTests[F, E] with MonadTests[F]

    Permalink

  38. trait MonadTests[F[_]] extends ApplicativeTests[F] with FlatMapTests[F]

    Permalink

  39. trait MonoidKTests[F[_]] extends SemigroupKTests[F]

    Permalink

  40. trait NonEmptyParallelTests[M[_], F[_]] extends Laws

    Permalink

  41. trait NonEmptyTraverseTests[F[_]] extends TraverseTests[F] with ReducibleTests[F]

    Permalink

  42. trait ParallelTests[M[_], F[_]] extends NonEmptyParallelTests[M, F]

    Permalink

  43. trait ProfunctorTests[F[_, _]] extends Laws

    Permalink

  44. trait ReducibleTests[F[_]] extends FoldableTests[F]

    Permalink

  45. trait RepresentableTests[F[_], R] extends Laws

    Permalink

  46. trait SemigroupKTests[F[_]] extends Laws

    Permalink

  47. trait SemigroupalTests[F[_]] extends Laws

    Permalink

  48. trait StrongTests[F[_, _]] extends ProfunctorTests[F]

    Permalink

  49. trait TraverseFilterTests[F[_]] extends FunctorFilterTests[F]

    Permalink

  50. trait TraverseTests[F[_]] extends FunctorTests[F] with FoldableTests[F] with UnorderedTraverseTests[F]

    Permalink

  51. trait UnorderedFoldableTests[F[_]] extends Laws

    Permalink

  52. trait UnorderedTraverseTests[F[_]] extends UnorderedFoldableTests[F]

    Permalink

Value Members

  1. object AlternativeTests

    Permalink

  2. object ApplicativeErrorTests

    Permalink

  3. object ApplicativeTests

    Permalink

  4. object ApplyTests

    Permalink

  5. object ArrowChoiceTests

    Permalink

  6. object ArrowTests

    Permalink

  7. object BifoldableTests

    Permalink

  8. object BifunctorTests

    Permalink

  9. object BimonadTests

    Permalink

  10. object BitraverseTests

    Permalink

  11. object CategoryTests

    Permalink

  12. object ChoiceTests

    Permalink

  13. object CoflatMapTests

    Permalink

  14. object CommutativeApplicativeTests

    Permalink

  15. object CommutativeApplyTests

    Permalink

  16. object CommutativeArrowTests

    Permalink

  17. object CommutativeFlatMapTests

    Permalink

  18. object CommutativeMonadTests

    Permalink

  19. object ComonadTests

    Permalink

  20. object ComposeTests

    Permalink

  21. object ContravariantMonoidalTests

    Permalink

  22. object ContravariantSemigroupalTests

    Permalink

  23. object ContravariantTests

    Permalink

  24. object DeferTests

    Permalink

  25. object DistributiveTests

    Permalink

  26. object ExhaustiveCheck extends Serializable

    Permalink

  27. object FlatMapTests

    Permalink

  28. object FoldableTests

    Permalink

  29. object FunctorFilterTests

    Permalink

  30. object FunctorTests

    Permalink

  31. object InjectKTests

    Permalink

  32. object InjectTests

    Permalink

  33. object InvariantMonoidalTests

    Permalink

  34. object InvariantSemigroupalTests

    Permalink

  35. object InvariantTests

    Permalink

  36. object MiniInt extends Serializable

    Permalink

  37. object MonadErrorTests

    Permalink

  38. object MonadTests

    Permalink

  39. object MonoidKTests

    Permalink

  40. object NonEmptyParallelTests

    Permalink

  41. object NonEmptyTraverseTests

    Permalink

  42. object ParallelTests

    Permalink

  43. object ProfunctorTests

    Permalink

  44. object ReducibleTests

    Permalink

  45. object RepresentableTests

    Permalink

  46. object SemigroupKTests

    Permalink

  47. object SemigroupalTests

    Permalink

  48. val SerializableTests: kernel.laws.discipline.SerializableTests.type

    Permalink

  49. object StrongTests

    Permalink

  50. object TraverseFilterTests

    Permalink

  51. object TraverseTests

    Permalink

  52. object UnorderedFoldableTests

    Permalink

  53. object UnorderedTraverseTests

    Permalink

  54. object arbitrary extends ArbitraryInstances0 with ArbitraryInstances

    Permalink

    Arbitrary instances for cats.data

    Arbitrary instances for cats.data

    Annotations
    @suppressUnusedImportWarningForScalaVersionSpecific()

  55. implicit def catsLawsIsEqToProp[A](isEq: IsEq[A])(implicit arg0: Eq[A], pp: (A) ⇒ Pretty): Prop

    Permalink

  56. object eq

    Permalink

Deprecated Value Members

  1. object DeprecatedEqInstances

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

Inherited from AnyRef

Inherited from Any

Ungrouped