Contravariant

smithy4s.capability.Contravariant$
See theContravariant companion trait
object Contravariant

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Types

type Wrapped[F[_], G[_], A] = F[G[A]]

Value members

Concrete methods

def apply[F[_]](implicit instance: Contravariant[F]): Contravariant[F]

Implicits

Implicits

implicit def contravariantOfCovariantInstance[F[_], G[_]](implicit F: Covariant[F], G: Contravariant[G]): Contravariant[[_] =>> Wrapped[F, G, _$7]]