FunctorK

perspective.FunctorK
See theFunctorK companion object
trait FunctorK[F[_[_], _]] extends InvariantK[F]

A higher kinded cats.Functor typeclass.

Attributes

Companion
object
Source
FunctorK.scala
Graph
Supertypes
trait InvariantK[F]
class Object
trait Matchable
class Any
Known subtypes
trait ApplyK[F]
trait ApplicativeK[F]
trait MonadK[F]
trait TraverseK[F]

Members list

Extensions

Extensions

extension [A[_], B[_]](f: FunctionK[A, B])
def liftK: FunctionK[[_] =>> F[A, _$11], [_] =>> F[B, _$12]]

A higher kinded equivalent of cats.Functor.lift.

A higher kinded equivalent of cats.Functor.lift.

Attributes

Source
FunctorK.scala
extension [A[_], C](fa: F[A, C])
inline def asK[B[_]](b: ValueK[B]): F[B, C]

A higher kinded equivalent of cats.Functor.as.

A higher kinded equivalent of cats.Functor.as.

Attributes

Source
FunctorK.scala
override def imapK[B[_]](f: FunctionK[A, B])(g: FunctionK[B, A]): F[B, C]

A higher kinded equivalent of cats.Invariant.imap.

A higher kinded equivalent of cats.Invariant.imap.

Attributes

Definition Classes
Source
FunctorK.scala
inline def mapConst[B](f: A :~>#: B): F[Const[B], C]

Helper function that calls mapK with Const.

Helper function that calls mapK with Const.

Attributes

Source
FunctorK.scala
def mapK[B[_]](f: FunctionK[A, B]): F[B, C]

A higher kinded equivalent of cats.Functor.map.

A higher kinded equivalent of cats.Functor.map.

Attributes

Source
FunctorK.scala
inline def voidK: F[Const[Unit], C]

A higher kinded equivalent of cats.Functor.void.

A higher kinded equivalent of cats.Functor.void.

Attributes

Source
FunctorK.scala
inline def widen[B[D]]: F[B, C]

A higher kinded equivalent of cats.Functor.widen.

A higher kinded equivalent of cats.Functor.widen.

Attributes

Source
FunctorK.scala