scalaz-core/scalaz/IsomorphismContravariant

IsomorphismContravariant

trait IsomorphismContravariant[F[_], G[_]] extends Contravariant[F] with IsomorphismInvariantFunctor[F, G]
trait Contravariant[F]
class Object
trait Matchable
class Any

Type members

Inherited classlikes

trait ContravariantLaw
Inherited from
Contravariant
trait InvariantFunctorLaw
Inherited from
InvariantFunctor

Value members

Abstract methods

def iso: IsoFunctor[F, G]

Concrete methods

override
def contramap[A, B](r: F[A])(f: B => A): F[B]
Definition Classes

Inherited methods

def compose[G[_]](implicit G0: Contravariant[G]): Functor[[α] =>> F[G[α]]]

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.

Inherited from
Contravariant
def icompose[G[_]](implicit G0: Functor[G]): Contravariant[[α] =>> F[G[α]]]

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.

Inherited from
Contravariant
def narrow[A, B](fa: F[A])(implicit ev: Liskov[B, A]): F[B]
Inherited from
Contravariant
def product[G[_]](implicit G0: Contravariant[G]): Contravariant[[α] =>> (F[α], G[α])]

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.

Inherited from
Contravariant
override
def xmap[A, B](ma: F[A], f: A => B, g: B => A): F[B]
def xmapb[A, B](ma: F[A])(b: Bijection[A, B]): F[B]

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.

Inherited from
InvariantFunctor
def xmapi[A, B](ma: F[A])(iso: IsoSet[A, B]): F[B]

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.

Inherited from
InvariantFunctor

Inherited fields

Implicits

Implicits

implicit
def G: Contravariant[G]