ContravariantK

perspective.ContravariantK
See theContravariantK companion trait

Attributes

Companion
trait
Source
ContravariantK.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Givens

Givens

given composeCatsInside[F[_[_]], G[_]](using F: FunctorKC[F], G: Contravariant[G]): composeCatsInside[F, G]

Attributes

Source
ContravariantK.scala
given composeCatsOutside[F[_], G[_[_]]](using F: Contravariant[F], G: FunctorKC[G]): composeCatsOutside[F, G]

Attributes

Source
ContravariantK.scala
given composeId[F[_], X](using F: Contravariant[F]): ContravariantKC[[H[_]] =>> F[H[X]]]

Attributes

Source
ContravariantK.scala