Coproduct analogue of Divide
- Companion
- object
Type members
Classlikes
Inherited classlikes
Value members
Concrete methods
- Definition Classes
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
Universally quantified instance of F[_]
Universally quantified instance of F[_]
- Inherited from
- Divisible
- Inherited from
- Divide
- Inherited from
- Divide
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
- Inherited from
- InvariantAlt
- Inherited from
- InvariantAlt
- Inherited from
- InvariantApplicative
- Inherited from
- InvariantApplicative
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
- Definition Classes
- Inherited from
- Divisible