laws

Type Members

1. trait AlternativeLaws[F[_]] extends ApplicativeLaws[F] with MonoidKLaws[F]

   

2. trait ApplicativeLaws[F[_]] extends ApplyLaws[F]

   

   Laws that must be obeyed by any Applicative.

3. trait ApplyLaws[F[_]] extends FunctorLaws[F]

   

   Laws that must be obeyed by any Apply.

4. trait ArrowLaws[F[_, _]] extends CategoryLaws[F] with SplitLaws[F] with StrongLaws[F]

   

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

5. trait CategoryLaws[F[_, _]] extends ComposeLaws[F]

   

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

6. trait ChoiceLaws[F[_, _]] extends CategoryLaws[F]

   

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

7. trait CoflatMapLaws[F[_]] extends FunctorLaws[F]

   

   Laws that must be obeyed by any CoflatMap.

8. trait ComonadLaws[F[_]] extends CoflatMapLaws[F]

   

   Laws that must be obeyed by any Comonad.

9. trait ComposeLaws[F[_, _]] extends AnyRef

   

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

10. trait ContravariantLaws[F[_]] extends InvariantLaws[F]

    

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

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

    

    Laws that must be obeyed by any FlatMap.

12. trait FoldableLaws[F[_]] extends AnyRef

    

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

    

    Laws that must be obeyed by any Functor.

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

    

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

15. final case class IsEq[A](lhs: A, rhs: A) extends Product with Serializable

    

    Represents two values of the same type that are expected to be equal.

16. implicit final class IsEqArrow[A] extends AnyVal

    

17. trait MonadCombineLaws[F[_]] extends MonadFilterLaws[F] with AlternativeLaws[F]

    

    Laws that must be obeyed by any MonadCombine.

18. trait MonadErrorLaws[F[_, _], E] extends MonadLaws[[β]F[E, β]]

    

19. trait MonadFilterLaws[F[_]] extends MonadLaws[F]

    

    Laws that must be obeyed by any MonadFilter.

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

    

    Laws that must be obeyed by any Monad.

21. trait MonadReaderLaws[F[_, _], R] extends MonadLaws[[β]F[R, β]]

    

22. trait MonadStateLaws[F[_, _], S] extends MonadLaws[[β]F[S, β]]

    

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

    

    Laws that must be obeyed by any cats.MonoidK.

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

    

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

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

    

    Laws that must be obeyed by any cats.SemigroupK.

26. trait SplitLaws[F[_, _]] extends ComposeLaws[F]

    

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

27. trait StrongLaws[F[_, _]] extends ProfunctorLaws[F]

    

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

28. trait TraverseLaws[F[_]] extends FunctorLaws[F] with FoldableLaws[F]