Divisible
is the contravariant analogue of scalaz.Applicative
- See also
- Companion
- object
Type members
Classlikes
Inherited classlikes
Value members
Abstract methods
Concrete methods
- Definition Classes
- 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
- 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
- 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