Trait

scalaz

IsomorphismContravariant

Related Doc: package scalaz

Permalink

trait IsomorphismContravariant[F[_], G[_]] extends Contravariant[F]

Source
Isomorphism.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. IsomorphismContravariant
  2. Contravariant
  3. InvariantFunctor
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. trait ContravariantLaw extends InvariantFunctorLaw

    Permalink
    Definition Classes
    Contravariant
  2. trait InvariantFunctorLaw extends AnyRef

    Permalink
    Definition Classes
    InvariantFunctor

Abstract Value Members

  1. implicit abstract def G: Contravariant[G]

    Permalink
  2. abstract def iso: Isomorphism.<~>[F, G]

    Permalink

Concrete Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. def compose[G[_]](implicit G0: Contravariant[G]): Functor[[α]F[G[α]]]

    Permalink

    The composition of Contravariant F and G, [x]F[G[x]], is covariant.

    The composition of Contravariant F and G, [x]F[G[x]], is covariant.

    Definition Classes
    Contravariant
  7. def contramap[A, B](r: F[A])(f: (B) ⇒ A): F[B]

    Permalink

    Transform A.

    Transform A.

    Definition Classes
    IsomorphismContravariantContravariant
    Note

    contramap(r)(identity) = r

  8. def contravariantLaw: ContravariantLaw

    Permalink
    Definition Classes
    Contravariant
  9. val contravariantSyntax: ContravariantSyntax[F]

    Permalink
    Definition Classes
    Contravariant
  10. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  11. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  12. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  13. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  14. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  15. def icompose[G[_]](implicit G0: Functor[G]): Contravariant[[α]F[G[α]]]

    Permalink

    The composition of Contravariant F and Functor G, [x]F[G[x]], is contravariant.

    The composition of Contravariant F and Functor G, [x]F[G[x]], is contravariant.

    Definition Classes
    Contravariant
  16. def invariantFunctorLaw: InvariantFunctorLaw

    Permalink
    Definition Classes
    InvariantFunctor
  17. val invariantFunctorSyntax: InvariantFunctorSyntax[F]

    Permalink
    Definition Classes
    InvariantFunctor
  18. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  22. def product[G[_]](implicit G0: Contravariant[G]): Contravariant[[α](F[α], G[α])]

    Permalink

    The product of Contravariant F and G, [x](F[x], G[x]]), is contravariant.

    The product of Contravariant F and G, [x](F[x], G[x]]), is contravariant.

    Definition Classes
    Contravariant
  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  24. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  25. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  28. def xmap[A, B](fa: F[A], f: (A) ⇒ B, g: (B) ⇒ A): F[B]

    Permalink

    Converts ma to a value of type F[B] using the provided functions f and g.

    Converts ma to a value of type F[B] using the provided functions f and g.

    Definition Classes
    ContravariantInvariantFunctor
  29. def xmapb[A, B](ma: F[A])(b: Bijection[A, B]): F[B]

    Permalink

    Converts ma to a value of type F[B] using the provided bijection.

    Converts ma to a value of type F[B] using the provided bijection.

    Definition Classes
    InvariantFunctor
  30. def xmapi[A, B](ma: F[A])(iso: Isomorphism.<=>[A, B]): F[B]

    Permalink

    Converts ma to a value of type F[B] using the provided isomorphism.

    Converts ma to a value of type F[B] using the provided isomorphism.

    Definition Classes
    InvariantFunctor

Inherited from Contravariant[F]

Inherited from InvariantFunctor[F]

Inherited from AnyRef

Inherited from Any

Ungrouped