zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/Bicovariant

Bicovariant

zio.prelude.Bicovariant
See theBicovariant companion object
trait Bicovariant[<=>[_, _]] extends RightCovariant[<=>]

Attributes

Companion
object
Graph
Supertypes
trait RightCovariant[<=>]
class Object
trait Matchable
class Any
Self type

Members list

Value members

Abstract methods

def bimap[A, B, AA, BB](f: A => AA, g: B => BB): (A <=> B) => AA <=> BB

Concrete methods

def bimapCoherence[A, A2, A3, B, B2, B3](ab: A <=> B, f: A => A2, g: B => B2)(implicit eq: Equal[A2 <=> B2]): Boolean
def bimapCompose[A, B, A2, A3, B2, B3](ab: A <=> B, g: A2 => A3, f: A => A2, i: B => B2, h: B2 => B3)(implicit eq: Equal[A3 <=> B3]): Boolean
def bimapIdentity[A, B, B2, B3](ab: A <=> B)(implicit eq: Equal[A <=> B]): Boolean
def deriveFailureCovariant[A]: Covariant[{ type lambda = newtypeF.Type; }#<none>]
def leftMap[A, B, AA](f: A => AA): (A <=> B) => AA <=> B
def leftMapCompose[A, B, A2, A3](ab: A <=> B, f: A => A2, g: A2 => A3)(implicit eq: Equal[A3 <=> B]): Boolean
def leftMapIdentity[A, B](ab: A <=> B)(implicit eq: Equal[A <=> B]): Boolean
def rightMap[A, B, BB](g: B => BB): (A <=> B) => A <=> BB

Inherited methods

def deriveCovariant[A]: Covariant[{ type lambda = [B] =>> A <=> B; }#<none>]

Attributes

Inherited from:
RightCovariant
def rightMapCompose[A, B, B2, B3](ab: A <=> B, f: B => B2, g: B2 => B3)(implicit eq: Equal[A <=> B3]): Boolean

Attributes

Inherited from:
RightCovariant
def rightMapIdentity[A, B](ab: A <=> B)(implicit eq: Equal[A <=> B]): Boolean

Attributes

Inherited from:
RightCovariant
Generated with