cats-docs
2.9.0
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
cats-docs/cats.laws/FunctorLaws

FunctorLaws

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
trait InvariantLaws[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplyLaws[F]
trait MonadErrorLaws[F, E]
trait MonadLaws[F]
trait BimonadLaws[F]
trait FlatMapLaws[F]
trait CoflatMapLaws[F]
trait ComonadLaws[F]
trait TraverseLaws[F]

Members list

Concise view

Value members

Concrete methods

def covariantComposition[A, B, C](fa: F[A], f: A => B, g: B => C): IsEq[F[C]]

Attributes

Source:
FunctorLaws.scala
def covariantIdentity[A](fa: F[A]): IsEq[F[A]]

Attributes

Source:
FunctorLaws.scala

Inherited methods

def invariantComposition[A, B, C](fa: F[A], f1: A => B, f2: B => A, g1: B => C, g2: C => B): IsEq[F[C]]

Attributes

Inherited from:
InvariantLaws
Source:
InvariantLaws.scala
def invariantIdentity[A](fa: F[A]): IsEq[F[A]]

Attributes

Inherited from:
InvariantLaws
Source:
InvariantLaws.scala

Implicits

Implicits

implicit override def F: Functor[F]

Attributes

Definition Classes
Source:
FunctorLaws.scala
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL