scalaz

# IsomorphismContravariant

#### trait IsomorphismContravariant[F[_], G[_]] extends Contravariant[F]

Source
Isomorphism.scala
Linear Supertypes
Contravariant[F], AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. IsomorphismContravariant
2. Contravariant
3. AnyRef
4. Any
1. Hide All
2. Show all
Learn more about member selection
Visibility
1. Public
2. All

### Type Members

1. #### trait ContravariantLaw extends AnyRef

Definition Classes
Contravariant

### Concrete Value Members

1. #### final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
2. #### final def !=(arg0: Any): Boolean

Definition Classes
Any
3. #### final def ##(): Int

Definition Classes
AnyRef → Any
4. #### final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
5. #### final def ==(arg0: Any): Boolean

Definition Classes
Any
6. #### final def asInstanceOf[T0]: T0

Definition Classes
Any
7. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
8. #### def contramap[A, B](r: F[A])(f: (B) ⇒ A): F[B]

Transform `A`.

Transform `A`.

Definition Classes
IsomorphismContravariantContravariant
Note

`contramap(r)(identity)` = `r`

9. #### def contravariantLaw: ContravariantLaw

Definition Classes
Contravariant
10. #### val contravariantSyntax: ContravariantSyntax[F]

Definition Classes
Contravariant
11. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
12. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
13. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
14. #### final def getClass(): Class[_]

Definition Classes
AnyRef → Any
15. #### def hashCode(): Int

Definition Classes
AnyRef → Any
16. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
17. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
18. #### final def notify(): Unit

Definition Classes
AnyRef
19. #### final def notifyAll(): Unit

Definition Classes
AnyRef
20. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
21. #### def toString(): String

Definition Classes
AnyRef → Any
22. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
23. #### final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
24. #### final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )