FunctorLike

trait FunctorLike[F[_], =>:[_, _]]

Has the map operation of a functor. When =>: forms a category (on Scala types), then FunctorLike is a functor if it satisfies the functor laws.

Companion:
object
class Object
trait Matchable
class Any
trait FromContravariant[F, =>:]
trait FromCovariant[F, =>:]

Type members

Types

type :<=[A, B] = B =>: A

Value members

Abstract 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.

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