cats.laws.FunctorLaws
See theFunctorLaws companion object
trait FunctorLaws[F[_]] extends InvariantLaws[F]
Laws that must be obeyed by any Functor
.
Attributes
- Companion
- object
- Source
- FunctorLaws.scala
- Graph
-
- Supertypes
- Known subtypes
-
trait ApplyLaws[F]trait ApplicativeLaws[F]trait CommutativeApplicativeLaws[F]trait CommutativeMonadLaws[F]trait MonadLaws[F]trait BimonadLaws[F]trait NonEmptyAlternativeLaws[F]trait AlternativeLaws[F]trait CommutativeApplyLaws[F]trait CommutativeFlatMapLaws[F]trait FlatMapLaws[F]trait CoflatMapLaws[F]trait ComonadLaws[F]trait DistributiveLaws[F]trait TraverseLaws[F]trait NonEmptyTraverseLaws[F]
Members list
In this article