implicit object EncoderContravariant extends Contravariant[Encoder]
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- EncoderContravariant
- Contravariant
- InvariantFunctor
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
Value Members
-
def
compose[G[_]](implicit G0: Contravariant[G]): Functor[[α]Encoder[G[α]]]
- Definition Classes
- Contravariant
-
def
contramap[A, B](r: Encoder[A])(f: (B) ⇒ A): Encoder[B]
- Definition Classes
- EncoderContravariant → Contravariant
-
def
contravariantLaw: ContravariantLaw
- Definition Classes
- Contravariant
-
val
contravariantSyntax: ContravariantSyntax[Encoder]
- Definition Classes
- Contravariant
-
def
icompose[G[_]](implicit G0: Functor[G]): Contravariant[[α]Encoder[G[α]]]
- Definition Classes
- Contravariant
-
def
invariantFunctorLaw: InvariantFunctorLaw
- Definition Classes
- InvariantFunctor
-
val
invariantFunctorSyntax: InvariantFunctorSyntax[Encoder]
- Definition Classes
- InvariantFunctor
-
def
product[G[_]](implicit G0: Contravariant[G]): Contravariant[[α](Encoder[α], G[α])]
- Definition Classes
- Contravariant
-
def
xmap[A, B](fa: Encoder[A], f: (A) ⇒ B, g: (B) ⇒ A): Encoder[B]
- Definition Classes
- Contravariant → InvariantFunctor
-
def
xmapb[A, B](ma: Encoder[A])(b: Bijection[A, B]): Encoder[B]
- Definition Classes
- InvariantFunctor
-
def
xmapi[A, B](ma: Encoder[A])(iso: scalaz.Isomorphism.<=>[A, B]): Encoder[B]
- Definition Classes
- InvariantFunctor