zio-prelude-docs
API
Generated with
zio-prelude-docs/zio.prelude/DivariantSyntax/DivariantOps

DivariantOps

zio.prelude.DivariantSyntax.DivariantOps
implicit class DivariantOps[=>:[_, _], A, B](f: => A =>: B)

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def dimap[C, D](g: C => A, h: B => D)(implicit divariant: Divariant[=>:]): C =>: D
def leftMap[C](ca: C => A)(implicit divariant: Divariant[=>:]): C =>: B
def rightMap[C](bc: B => C)(implicit divariant: Divariant[=>:]): A =>: C
Generated with