core/smithy4s.capability/Contravariant

Contravariant

object Contravariant
Companion:
class
class Object
trait Matchable
class Any

Type members

Types

type OptionT[F[_], A] = Option[F[A]]

Value members

Concrete methods

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

Implicits

Implicits

implicit def optionInstance[F[_]](implicit F: Contravariant[F]): Contravariant[[_] =>> OptionT[F, _$5]]