Type Members

1.  trait AlternativeLaws[F[_]] extends ApplicativeLaws[F] with MonoidKLaws[F]
2.  trait ApplicativeErrorLaws[F[_], E] extends ApplicativeLaws[F]
3.  trait ApplicativeLaws[F[_]] extends ApplyLaws[F]

   Laws that must be obeyed by any Applicative.

4.  trait ApplyLaws[F[_]] extends FunctorLaws[F] with SemigroupalLaws[F]

   Laws that must be obeyed by any Apply.

5.  trait ArrowChoiceLaws[F[_, _]] extends ArrowLaws[F] with ChoiceLaws[F]

   Laws that must be obeyed by any cats.arrow.ArrowChoice.

6.  trait ArrowLaws[F[_, _]] extends CategoryLaws[F] with StrongLaws[F]

   Laws that must be obeyed by any cats.arrow.Arrow.

7.  trait BifoldableLaws[F[_, _]] extends AnyRef
8.  trait BifunctorLaws[F[_, _]] extends AnyRef

   Laws that must be obeyed by any Bifunctor.

9.  trait BimonadLaws[F[_]] extends MonadLaws[F] with ComonadLaws[F]

   Laws that must be obeyed by any Bimonad.

   Laws that must be obeyed by any Bimonad.

   For more information, see definition 4.1 from this paper: http://arxiv.org/pdf/0710.1163v3.pdf

10.  trait BitraverseLaws[F[_, _]] extends BifoldableLaws[F] with BifunctorLaws[F]
11.  trait CategoryLaws[F[_, _]] extends ComposeLaws[F]

    Laws that must be obeyed by any cats.arrow.Category.

12.  trait ChoiceLaws[F[_, _]] extends CategoryLaws[F]

    Laws that must be obeyed by any cats.arrow.Choice.

13.  trait CoflatMapLaws[F[_]] extends FunctorLaws[F]

    Laws that must be obeyed by any CoflatMap.

14.  trait CommutativeApplicativeLaws[F[_]] extends CommutativeApplyLaws[F] with ApplicativeLaws[F]
15.  trait CommutativeApplyLaws[F[_]] extends ApplyLaws[F]

    Laws that must be obeyed by any CommutativeApply.

16.  trait CommutativeArrowLaws[F[_, _]] extends ArrowLaws[F]

    Reference: "Causal Commutative Arrows", Journal of Functional Programming Figure 4.

17.  trait CommutativeFlatMapLaws[F[_]] extends CommutativeApplyLaws[F] with FlatMapLaws[F]

    Laws that must be obeyed by any CommutativeFlatMap.

18.  trait CommutativeMonadLaws[F[_]] extends MonadLaws[F] with CommutativeFlatMapLaws[F] with CommutativeApplicativeLaws[F]

    Laws that must be obeyed by any CommutativeMonad.

19.  trait ComonadLaws[F[_]] extends CoflatMapLaws[F]

    Laws that must be obeyed by any Comonad.

20.  trait ComposeLaws[F[_, _]] extends AnyRef

    Laws that must be obeyed by any cats.arrow.Compose.

21.  trait ContravariantLaws[F[_]] extends InvariantLaws[F]

    Laws that must be obeyed by any cats.Contravariant.

22.  trait ContravariantMonoidalLaws[F[_]] extends ContravariantSemigroupalLaws[F]

    Laws that must hold for any cats.ContravariantMonoidal.

23.  trait ContravariantSemigroupalLaws[F[_]] extends ContravariantLaws[F] with SemigroupalLaws[F]

    Laws that are expected for any cats.ContravariantSemigroupal.

24.  trait DistributiveLaws[F[_]] extends FunctorLaws[F]
25.  trait FlatMapLaws[F[_]] extends ApplyLaws[F]

    Laws that must be obeyed by any FlatMap.

26.  trait FoldableLaws[F[_]] extends UnorderedFoldableLaws[F]
27.  trait FunctorLaws[F[_]] extends InvariantLaws[F]

    Laws that must be obeyed by any Functor.

28.  trait InjectKLaws[F[_], G[_]] extends AnyRef
29.  trait InjectLaws[A, B] extends AnyRef
30.  trait InvariantLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any cats.Invariant.

31.  trait InvariantMonoidalLaws[F[_]] extends InvariantSemigroupalLaws[F]

    Laws that must be obeyed by any cats.InvariantMonoidal.

32.  trait InvariantSemigroupalLaws[F[_]] extends InvariantLaws[F] with SemigroupalLaws[F]

    Laws that are expected for any cats.InvariantSemigroupal.

33.  type IsEq[A] = kernel.laws.IsEq[A]
34.  implicit final class IsEqArrow[A] extends AnyVal
35.  trait MonadErrorLaws[F[_], E] extends ApplicativeErrorLaws[F, E] with MonadLaws[F]
36.  trait MonadLaws[F[_]] extends ApplicativeLaws[F] with FlatMapLaws[F]

    Laws that must be obeyed by any Monad.

37.  trait MonoidKLaws[F[_]] extends SemigroupKLaws[F]

    Laws that must be obeyed by any cats.MonoidK.

38.  trait NonEmptyParallelLaws[M[_], F[_]] extends AnyRef

    Laws that must be obeyed by any cats.NonEmptyParallel.

39.  trait NonEmptyTraverseLaws[F[_]] extends TraverseLaws[F] with ReducibleLaws[F]
40.  trait ParallelLaws[M[_], F[_]] extends NonEmptyParallelLaws[M, F]

    Laws that must be obeyed by any cats.Parallel.

41.  trait ProfunctorLaws[F[_, _]] extends AnyRef

    Laws that must be obeyed by any cats.functor.Profunctor.

42.  trait ReducibleLaws[F[_]] extends FoldableLaws[F]
43.  trait SemigroupKLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any cats.SemigroupK.

44.  trait SemigroupalLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any cats.Semigroupal.

45.  trait StrongLaws[F[_, _]] extends ProfunctorLaws[F]

    Laws that must be obeyed by any cats.functor.Strong.

46.  trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F] with UnorderedTraverseLaws[F]
47.  trait UnorderedFoldableLaws[F[_]] extends AnyRef
48.  trait UnorderedTraverseLaws[F[_]] extends UnorderedFoldableLaws[F]