IsomorphismContravariant
trait IsomorphismContravariant[F[_], G[_]] extends Contravariant[F] with IsomorphismInvariantFunctor[F, G]
Type members
Inherited classlikes
Value members
Abstract methods
Concrete methods
Inherited methods
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
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
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
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
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