cats-docs/cats.free/ContravariantCoyoneda

ContravariantCoyoneda

object ContravariantCoyoneda
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

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

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

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

Value members

Concrete methods

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

Like lift(fa).contramap(k0).

Like lift(fa).contramap(k0).

def lift[F[_], A](fa: F[A]): Aux[F, A, A]

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

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

Implicits

Implicits

implicit def catsFreeContravariantFunctorForContravariantCoyoneda[F[_]]: Contravariant[[_] =>> ContravariantCoyoneda[F, _$8]]

ContravariantCoyoneda[F, *] provides a contravariant functor for any F.

ContravariantCoyoneda[F, *] provides a contravariant functor for any F.