nutcracker/nutcracker.util.typealigned/FunctorLike/FromCovariant

FromCovariant

trait FromCovariant[F[_], =>:[_, _]] extends FunctorLike[F, =>:]
trait FunctorLike[F, =>:]
class Object
trait Matchable
class Any

Type members

Inherited types

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

Value members

Concrete methods

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

Inherited methods

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