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

Zivariant

zio.prelude.Zivariant
See theZivariant companion object
trait Zivariant[Z[_, _, _]]

Abstract over type constructor with 3 parameters: on first as contravariant and on second and third as covariant.

Attributes

Companion
object
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Abstract methods

def zimap[R, E, A, R1, E1, A1](r: (ZEnvironment[R1]) => ZEnvironment[R], e: E => E1, a: A => A1): (Z[R, E, A]) => Z[R1, E1, A1]

Concrete methods

def bimap[R, E, A, E1, A1](e: E => E1, a: A => A1): (Z[R, E, A]) => Z[R, E1, A1]
def contramap[R, E, A, R1](r: (ZEnvironment[R1]) => ZEnvironment[R]): (Z[R, E, A]) => Z[R1, E, A]
def deriveCovariant[R, E]: Covariant[{ type lambda = [A] =>> Z[R, E, A]; }#<none>]
def deriveFailureCovariant[R, A]: Covariant[{ type lambda = [E] =>> newtypeF.Type[Z[R, E, A]]; }#<none>]
def dimap[R, E, A, RR, AA](r: (ZEnvironment[RR]) => ZEnvironment[R], a: A => AA): (Z[R, E, A]) => Z[RR, E, AA]
def map[R, E, A, A1](a: A => A1): (Z[R, E, A]) => Z[R, E, A1]
def mapLeft[R, E, A, E1](e: E => E1): (Z[R, E, A]) => Z[R, E1, A]
def zimapCoherentWithMapAndContramap[R, E, A, R1, E1, A1](rea: Z[R, E, A], r: (ZEnvironment[R1]) => ZEnvironment[R], e: E => E1, a: A => A1)(implicit eq: Equal[Z[R1, E1, A1]]): Boolean
def zimapComposition[R, E, A, R1, R2, E1, E2, A1, A2](rea: Z[R, E, A], r2: (ZEnvironment[R2]) => ZEnvironment[R1], r1: (ZEnvironment[R1]) => ZEnvironment[R], e1: E => E1, e2: E1 => E2, a1: A => A1, a2: A1 => A2)(implicit eq: Equal[Z[R2, E2, A2]]): Boolean
def zimapIdentity[R, E, A](rea: Z[R, E, A])(implicit eq: Equal[Z[R, E, A]]): Boolean
Generated with