Type Members

1.  trait AlignLaws[F[_]] extends AnyRef

   Laws that must be obeyed by any Align.

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

   Laws that must be obeyed by any Applicative.

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

   Laws that must be obeyed by any Apply.

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

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

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

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

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

   Laws that must be obeyed by any Bifunctor.

10.  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

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

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

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

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

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

    Laws that must be obeyed by any CoflatMap.

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

    Laws that must be obeyed by any CommutativeApply.

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

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

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

    Laws that must be obeyed by any CommutativeFlatMap.

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

    Laws that must be obeyed by any CommutativeMonad.

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

    Laws that must be obeyed by any Comonad.

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

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

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

    Laws that must be obeyed by any cats.Contravariant.

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

    Laws that must hold for any cats.ContravariantMonoidal.

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

    Laws that are expected for any cats.ContravariantSemigroupal.

25.  trait DeferLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any Defer.

26.  trait DistributiveLaws[F[_]] extends FunctorLaws[F]
27.  trait FlatMapLaws[F[_]] extends ApplyLaws[F]

    Laws that must be obeyed by any FlatMap.

28.  trait FoldableLaws[F[_]] extends UnorderedFoldableLaws[F]
29.  trait FunctorFilterLaws[F[_]] extends AnyRef
30.  trait FunctorLaws[F[_]] extends InvariantLaws[F]

    Laws that must be obeyed by any Functor.

31.  trait InjectKLaws[F[_], G[_]] extends AnyRef
32.  trait InjectLaws[A, B] extends AnyRef
33.  trait InvariantLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any cats.Invariant.

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

    Laws that must be obeyed by any cats.InvariantMonoidal.

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

    Laws that are expected for any cats.InvariantSemigroupal.

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

    Laws that must be obeyed by any Monad.

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

    Laws that must be obeyed by any cats.MonoidK.

41.  trait NonEmptyParallelLaws[M[_]] extends AnyRef

    Laws that must be obeyed by any cats.NonEmptyParallel.

42.  trait NonEmptyTraverseLaws[F[_]] extends TraverseLaws[F] with ReducibleLaws[F]
43.  trait ParallelLaws[M[_]] extends NonEmptyParallelLaws[M]

    Laws that must be obeyed by any cats.Parallel.

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

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

45.  trait ReducibleLaws[F[_]] extends FoldableLaws[F]
46.  trait RepresentableLaws[F[_], R] extends AnyRef

    Laws that must be obeyed by any Representable functor.

47.  trait SemigroupKLaws[F[_]] extends AnyRef

    Laws that must be obeyed by any cats.SemigroupK.

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

    Laws that must be obeyed by any cats.Semigroupal.

49.  trait ShortCircuitingLaws[F[_]] extends AnyRef
50.  trait StrongLaws[F[_, _]] extends ProfunctorLaws[F]

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

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

    See: E. Rivas, M. Jaskelioff Notions of Computation as Monoids, Chapter 7 See: Haskell Data.Profunctor.Strong

51.  trait TraverseFilterLaws[F[_]] extends FunctorFilterLaws[F]
52.  trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F] with UnorderedTraverseLaws[F]
53.  trait UnorderedFoldableLaws[F[_]] extends AnyRef
54.  trait UnorderedTraverseLaws[F[_]] extends UnorderedFoldableLaws[F]