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

Divariant

zio.prelude.Divariant
See theDivariant companion object
trait Divariant[=>:[_, _]] extends RightCovariant[=>:]

Attributes

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

Members list

Value members

Abstract methods

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

Concrete methods

def deriveContravariant[B]: Contravariant[{ type lambda = =>:; }#<none>]
def dimap[A, B, C, D](f: C => A, g: B => D): (A =>: B) => C =>: D
def dimapCoherence[A, A2, A3, B, B2, B3](ab: A =>: B, f: A2 => A, g: B => B2)(implicit eq: Equal[A2 =>: B2]): Boolean
def dimapCompose[A, B, A2, A3, B2, B3](ab: A =>: B, g: A3 => A2, f: A2 => A, i: B => B2, h: B2 => B3)(implicit eq: Equal[A3 =>: B3]): Boolean
def dimapIdentity[A, B, B2, B3](ab: A =>: B)(implicit eq: Equal[A =>: B]): Boolean
def leftContramapCompose[A, B, A2, A3](ab: A =>: B, f: A2 => A, g: A3 => A2)(implicit eq: Equal[A3 =>: B]): Boolean
def leftContramapidentity[A, B](ab: A =>: B)(implicit eq: Equal[A =>: B]): Boolean

Inherited methods

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

Attributes

Inherited from:
RightCovariant
def rightMap[A, B, C](f: B => C): (A =>: B) => A =>: C

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