zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/ZivariantSyntax/ZivariantOps

ZivariantOps

zio.prelude.ZivariantSyntax.ZivariantOps
implicit class ZivariantOps[Z[_, _, _], R, E, A](f: => Z[R, E, A])

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def bimap[E1, A1](e: E => E1, a: A => A1)(implicit zivariant: Zivariant[Z]): Z[R, E1, A1]
def contramap[R1](r: (ZEnvironment[R1]) => ZEnvironment[R])(implicit zivariant: Zivariant[Z]): Z[R1, E, A]
def dimap[RR, AA](r: (ZEnvironment[RR]) => ZEnvironment[R], a: A => AA)(implicit zivariant: Zivariant[Z]): Z[RR, E, AA]
def map[A1](a: A => A1)(implicit zivariant: Zivariant[Z]): Z[R, E, A1]
def mapLeft[E1](e: E => E1)(implicit zivariant: Zivariant[Z]): Z[R, E1, A]
def zimap[R1, E1, A1](r: (ZEnvironment[R1]) => ZEnvironment[R], e: E => E1, a: A => A1)(implicit zivariant: Zivariant[Z]): Z[R1, E1, A1]
Generated with