o

scalaz

# ContravariantCoyoneda 

### Companion class ContravariantCoyoneda

#### object ContravariantCoyoneda extends ContravariantCoyonedaInstances

Source
ContravariantCoyoneda.scala
Linear Supertypes
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. ContravariantCoyoneda
2. ContravariantCoyonedaInstances
3. AnyRef
4. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Type Members

1. type Aux[F[_], A, B] = ContravariantCoyoneda[F, A] { type I = B }

Lift the `I` type member to a parameter.

Lift the `I` type member to a parameter. It is usually more convenient to use `Aux` than a structural type.

2. final class By[F[_]] extends AnyRef

See `by` method.

### 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. def apply[F[_], A, B](fa: F[B])(_k: (A) ⇒ B): Aux[F, A, B]

Like `lift(fa).contramap(_k)`.

5. final def asInstanceOf[T0]: T0
Definition Classes
Any
6. def by[F[_]]: By[F]

Partial application of type parameters to `apply`.

Partial application of type parameters to `apply`. It is often more convenient to invoke ```ContravariantCoyoneda.by[F]{x: X => ...}``` then `ContravariantCoyoneda[...](...){x: X => ...}`.

Annotations
@inline()
7. def clone()
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@native() @throws( ... )
8. implicit def contravariantCoyonedaContravariant[F[_]]: Contravariant[[β\$0\$]ContravariantCoyoneda[F, β\$0\$]]

`ContravariantCoyoneda[F,_]` is a contravariant functor for any `F`.

`ContravariantCoyoneda[F,_]` is a contravariant functor for any `F`.

Definition Classes
ContravariantCoyonedaInstances
9. final def eq(arg0: AnyRef)
Definition Classes
AnyRef
10. def equals(arg0: Any)
Definition Classes
AnyRef → Any
11. def finalize(): Unit
Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
12. final def getClass(): Class[_]
Definition Classes
AnyRef → Any
Annotations
@native()
13. def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
14. final def isInstanceOf[T0]
Definition Classes
Any
15. def iso[F[_]](implicit arg0: Contravariant[F]): Isomorphism.<~>[[β\$2\$]ContravariantCoyoneda[F, β\$2\$], F]
16. def lift[F[_], A](fa: F[A]): ContravariantCoyoneda[F, A]

`F[A]` converts to `ContravariantCoyoneda[F,A]` for any `F`.

17. final def ne(arg0: AnyRef)
Definition Classes
AnyRef
18. final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
19. final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
20. final def synchronized[T0](arg0: ⇒ T0): T0
Definition Classes
AnyRef
21. def toString()
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
@native() @throws( ... )