ContravariantK

perspective.ContravariantK
See theContravariantK companion object
trait ContravariantK[F[_[_], _]] extends InvariantK[F]

Attributes

Companion
object
Source
ContravariantK.scala
Graph
Supertypes
trait InvariantK[F]
class Object
trait Matchable
class Any

Members list

Extensions

Extensions

extension [A[_], C](fa: F[A, C])
def contramapK[B[_]](f: FunctionK[B, A]): F[B, C]

A higher kinded equivalent of cats.Contravariant.contramap.

A higher kinded equivalent of cats.Contravariant.contramap.

Attributes

Source
ContravariantK.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
ContravariantK.scala