nutcracker/nutcracker.util.typealigned/FunctorLike/FromContravariant

FromContravariant

trait FromContravariant[F[_], =>:[_, _]] extends FunctorLike[F, [_, _] =>> Op[=>:, _$10, _$11]]
trait FunctorLike[F, [_, _] =>> Op[=>:, _$10, _$11]]
class Object
trait Matchable
class Any

Type members

Inherited types

type :<=[A, B] = B =>: A
Inherited from:
FunctorLike

Value members

Concrete methods

def map[A, B](fa: F[A])(f: B =>: A): F[B]

Inherited methods

def contramap[A, B](fa: F[A])(f: B :<= A): F[B]

View this covariant functor as a contravariant functor in the opposite category.

View this covariant functor as a contravariant functor in the opposite category.

Inherited from:
FunctorLike