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

RightCovariant

zio.prelude.RightCovariant
trait RightCovariant[<=>[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait Bicovariant[<=>]
trait Divariant[=>:]

Members list

Value members

Abstract methods

def rightMap[A, B, C](f: B => C): (A <=> B) => A <=> C

Concrete methods

def deriveCovariant[A]: Covariant[{ type lambda = [B] =>> A <=> B; }#<none>]
def rightMapCompose[A, B, B2, B3](ab: A <=> B, f: B => B2, g: B2 => B3)(implicit eq: Equal[A <=> B3]): Boolean
def rightMapIdentity[A, B](ab: A <=> B)(implicit eq: Equal[A <=> B]): Boolean
Generated with