cats-docs
2.11.0
API
Generated with
cats-docs/cats/cats.laws/BifoldableLaws

BifoldableLaws

cats.laws.BifoldableLaws
See theBifoldableLaws companion object
trait BifoldableLaws[F[_, _]]

Attributes

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

Members list

Value members

Concrete methods

def bifoldLeftConsistentWithBifoldMap[A, B, C](fab: F[A, B], f: A => C, g: B => C)(implicit C: Monoid[C]): IsEq[C]

Attributes

Source
BifoldableLaws.scala
def bifoldRightConsistentWithBifoldMap[A, B, C](fab: F[A, B], f: A => C, g: B => C)(implicit C: Monoid[C]): IsEq[C]

Attributes

Source
BifoldableLaws.scala

Implicits

Implicits

implicit def F: Bifoldable[F]

Attributes

Source
BifoldableLaws.scala
Generated with