A
- the type of the parameterC
- the unification parameterpublic interface Contravariant<A,C extends Contravariant<?,C>>
A <- B
)
over its parameter.
Contravariant functors are not necessarily Functor
s.
For more information, read about Contravariant Functors.
Profunctor
Modifier and Type | Method and Description |
---|---|
<B> Contravariant<B,C> |
contraMap(Fn1<? super B,? extends A> fn)
Contravariantly map
A <- B . |
<B> Contravariant<B,C> contraMap(Fn1<? super B,? extends A> fn)
A <- B
.B
- the new parameter typefn
- the mapping function