scalaz-core/scalaz/ContravariantCoyoneda

ContravariantCoyoneda

object ContravariantCoyoneda extends ContravariantCoyonedaInstances
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

final
class By[F[_]]

See by method.

See by method.

Types

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

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

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

Value members

Concrete methods

def apply[F[_], A, B](fa: F[B])(_k: A => B): Aux[F, A, B]

Like lift(fa).contramap(_k).

Like lift(fa).contramap(_k).

@inline
def by[F[_]]: By[F]

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

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

def iso[F[_] : Contravariant]: IsoFunctor[[_] =>> ContravariantCoyoneda[F, _$12], F]
def lift[F[_], A](fa: F[A]): ContravariantCoyoneda[F, A]

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

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

Implicits

Inherited implicits

implicit
def contravariantCoyonedaContravariant[F[_]]: Contravariant[[_] =>> ContravariantCoyoneda[F, _$4]]

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

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

Inherited from
ContravariantCoyonedaInstances