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

BitraverseLaws

cats.laws.BitraverseLaws
See theBitraverseLaws companion object
trait BitraverseLaws[F[_, _]] extends BifoldableLaws[F], BifunctorLaws[F]

Attributes

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

Members list

Value members

Concrete methods

def bitraverseCompose[G[_], A, B, C, D, E, H](fab: F[A, B], f: A => G[C], g: B => G[D], h: C => G[E], i: D => G[H])(implicit G: Applicative[G]): IsEq[G[G[F[E, H]]]]

Attributes

Source
BitraverseLaws.scala
def bitraverseIdentity[A, B](fab: F[A, B]): IsEq[F[A, B]]

Attributes

Source
BitraverseLaws.scala

Inherited methods

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

Attributes

Inherited from:
BifoldableLaws
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

Inherited from:
BifoldableLaws
Source
BifoldableLaws.scala
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

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

Attributes

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

Attributes

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

Attributes

Inherited from:
BifunctorLaws
Source
BifunctorLaws.scala

Implicits

Implicits

implicit override def F: Bitraverse[F]

Attributes

Definition Classes
Source
BitraverseLaws.scala
Generated with