cats-docs
2.10.0
API
Generated with
cats-docs/cats/cats.laws/BifunctorLaws

BifunctorLaws

cats.laws.BifunctorLaws
See theBifunctorLaws companion object
trait BifunctorLaws[F[_, _]]

Laws that must be obeyed by any Bifunctor.

Attributes

Companion
object
Source
BifunctorLaws.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait BitraverseLaws[F]

Members list

Value members

Concrete methods

def bifunctorComposition[A, B, C, X, Y, Z](fa: F[A, X], f: A => B, f2: B => C, g: X => Y, g2: Y => Z): IsEq[F[C, Z]]

Attributes

Source
BifunctorLaws.scala
def bifunctorIdentity[A, B](fa: F[A, B]): IsEq[F[A, B]]

Attributes

Source
BifunctorLaws.scala
def bifunctorLeftMapComposition[A, B, C, D](fa: F[A, B], f: A => C, g: C => D): IsEq[F[D, B]]

Attributes

Source
BifunctorLaws.scala
def bifunctorLeftMapIdentity[A, B](fa: F[A, B]): IsEq[F[A, B]]

Attributes

Source
BifunctorLaws.scala

Implicits

Implicits

implicit def F: Bifunctor[F]

Attributes

Source
BifunctorLaws.scala
Generated with