Packages

t

zio.prelude

RightCovariant

trait RightCovariant[<=>[_, +_]] extends AnyRef

Linear Supertypes
AnyRef, Any
Known Subclasses
Bicovariant, Divariant
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RightCovariant
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Abstract Value Members

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

Concrete Value Members

  1. def deriveCovariant[A]: Covariant[[+B]<=>[A, B]]
  2. def rightMapCompose[A, B, B2, B3](ab: <=>[A, B], f: (B) => B2, g: (B2) => B3)(implicit eq: Equal[<=>[A, B3]]): Boolean
  3. def rightMapIdentity[A, B](ab: <=>[A, B])(implicit eq: Equal[<=>[A, B]]): Boolean