laws

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 DeferLaws[F[_]] extends AnyRef

    

    Laws that must be obeyed by any Defer.

25. trait DistributiveLaws[F[_]] extends FunctorLaws[F]

    

26. trait FlatMapLaws[F[_]] extends ApplyLaws[F]

    

    Laws that must be obeyed by any FlatMap.

27. trait FoldableLaws[F[_]] extends UnorderedFoldableLaws[F]

    

28. trait FunctorFilterLaws[F[_]] extends AnyRef

    

29. trait FunctorLaws[F[_]] extends InvariantLaws[F]

    

    Laws that must be obeyed by any Functor.

30. trait InjectKLaws[F[_], G[_]] extends AnyRef

    

31. trait InjectLaws[A, B] extends AnyRef

    

32. trait InvariantLaws[F[_]] extends AnyRef

    

    Laws that must be obeyed by any cats.Invariant.

33. trait InvariantMonoidalLaws[F[_]] extends InvariantSemigroupalLaws[F]

    

    Laws that must be obeyed by any cats.InvariantMonoidal.

34. trait InvariantSemigroupalLaws[F[_]] extends InvariantLaws[F] with SemigroupalLaws[F]

    

    Laws that are expected for any cats.InvariantSemigroupal.

35. type IsEq[A] = kernel.laws.IsEq[A]

    

36. implicit final class IsEqArrow[A] extends AnyVal

    

37. trait MonadErrorLaws[F[_], E] extends ApplicativeErrorLaws[F, E] with MonadLaws[F]

    

38. trait MonadLaws[F[_]] extends ApplicativeLaws[F] with FlatMapLaws[F]

    

    Laws that must be obeyed by any Monad.

39. trait MonoidKLaws[F[_]] extends SemigroupKLaws[F]

    

    Laws that must be obeyed by any cats.MonoidK.

40. trait NonEmptyParallelLaws[M[_], F[_]] extends AnyRef

    

    Laws that must be obeyed by any cats.NonEmptyParallel.

41. trait NonEmptyTraverseLaws[F[_]] extends TraverseLaws[F] with ReducibleLaws[F]

    

42. trait ParallelLaws[M[_], F[_]] extends NonEmptyParallelLaws[M, F]

    

    Laws that must be obeyed by any cats.Parallel.

43. trait ProfunctorLaws[F[_, _]] extends AnyRef

    

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

44. trait ReducibleLaws[F[_]] extends FoldableLaws[F]

    

45. trait RepresentableLaws[F[_], R] extends AnyRef

    

    Laws that must be obeyed by any Representable functor.

46. trait SemigroupKLaws[F[_]] extends AnyRef

    

    Laws that must be obeyed by any cats.SemigroupK.

47. trait SemigroupalLaws[F[_]] extends AnyRef

    

    Laws that must be obeyed by any cats.Semigroupal.

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

49. trait TraverseFilterLaws[F[_]] extends FunctorFilterLaws[F]

    

50. trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F] with UnorderedTraverseLaws[F]

    

51. trait UnorderedFoldableLaws[F[_]] extends AnyRef

    

52. trait UnorderedTraverseLaws[F[_]] extends UnorderedFoldableLaws[F]