trait
Divariant[=>:[-_, +_]] extends RightCovariant[=>:]
Abstract Value Members
-
abstract
def
leftContramap[A, B, C](f: (C) ⇒ A): (=>:[A, B]) ⇒ =>:[C, B]
-
abstract
def
rightMap[A, B, C](f: (B) ⇒ C): (=>:[A, B]) ⇒ =>:[A, C]
Concrete Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
def
deriveContravariant[B]: Contravariant[[-A]=>:[A, B]]
-
def
deriveCovariant[A]: Covariant[[+B]=>:[A, B]]
-
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
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: 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
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
rightMapCompose[A, B, B2, B3](ab: =>:[A, B], f: (B) ⇒ B2, g: (B2) ⇒ B3)(implicit eq: Equal[=>:[A, B3]]): Boolean
-
def
rightMapIdentity[A, B](ab: =>:[A, B])(implicit eq: Equal[=>:[A, B]]): Boolean
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
