t

# ContravariantLaw 

#### trait ContravariantLaw extends InvariantFunctorLaw

Source
Contravariant.scala
Linear Supertypes
Known Subclasses
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. ContravariantLaw
2. InvariantFunctorLaw
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. final def !=(arg0: Any)
Definition Classes
AnyRef → Any
2. final def ##(): Int
Definition Classes
AnyRef → Any
3. final def ==(arg0: Any)
Definition Classes
AnyRef → Any
4. final def asInstanceOf[T0]: T0
Definition Classes
Any
5. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
6. def composite[A, B, C](fa: F[A], f1: (B) ⇒ A, f2: (C) ⇒ B)(implicit FC: Equal[F[C]])

A series of contramaps may be freely rewritten as a single contramap on a composed function.

7. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
8. def equals(arg0: Any)
Definition Classes
AnyRef → Any
9. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
10. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
11. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
12. def identity[A](fa: F[A])(implicit FA: Equal[F[A]])

The identity function, lifted, is a no-op.

13. def invariantComposite[A, B, C](fa: F[A], f1: (A) ⇒ B, g1: (B) ⇒ A, f2: (B) ⇒ C, g2: (C) ⇒ B)(implicit FC: Equal[F[C]])
Definition Classes
InvariantFunctorLaw
14. def invariantIdentity[A](fa: F[A])(implicit FA: Equal[F[A]])
Definition Classes
InvariantFunctorLaw
15. final def isInstanceOf[T0]
Definition Classes
Any
16. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
17. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
18. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
19. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
20. def toString()
Definition Classes
AnyRef → Any
21. final def wait(): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
22. final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws( ... )
23. final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@native() @throws( ... )