variance

cats.conversions.package$.variance$
object variance extends VarianceConversions

Attributes

Source
package.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
variance.type

Members list

Implicits

Inherited implicits

implicit def autoConvertProfunctorVariance[F[_, _] : Profunctor, A, B <: A, C, D >: C](fac: F[A, C]): F[B, D]

Attributes

Inherited from:
VarianceConversions
Source
VarianceConversions.scala
implicit def autoNarrowContravariant[F[_] : Contravariant, A, B <: A](fa: F[A]): F[B]

Attributes

Inherited from:
VarianceConversions
Source
VarianceConversions.scala
implicit def autoWidenBifunctor[F[_, _] : Bifunctor, A, B >: A, C, D >: C](fac: F[A, C]): F[B, D]

Attributes

Inherited from:
VarianceConversions
Source
VarianceConversions.scala
implicit def autoWidenFunctor[F[_] : Functor, A, B >: A](fa: F[A]): F[B]