Interface Contravariant<A,C extends Contravariant<?,C>>
-
- Type Parameters:
A
- the type of the parameterC
- the unification parameter
- All Known Subinterfaces:
BiMonoidFactory<A,B,C>
,BiPredicate<A,B>
,BiSemigroupFactory<A,B,C>
,Cartesian<A,B,P>
,Cocartesian<A,B,P>
,Effect<A>
,Fn0<A>
,Fn1<A,B>
,Fn2<A,B,C>
,Fn3<A,B,C,D>
,Fn4<A,B,C,D,E>
,Fn5<A,B,C,D,E,F>
,Fn6<A,B,C,D,E,F,G>
,Fn7<A,B,C,D,E,F,G,H>
,Fn8<A,B,C,D,E,F,G,H,I>
,Iso<S,T,A,B>
,Iso.Simple<S,A>
,Kleisli<A,B,M,MB>
,Lens<S,T,A,B>
,Lens.Simple<S,A>
,Monoid<A>
,MonoidFactory<A,B>
,Predicate<A>
,Prism<S,T,A,B>
,Prism.Simple<S,A>
,Profunctor<A,B,PF>
,Schema<Values>
,Semigroup<A>
,SemigroupFactory<A,B>
,TypeSafeKey<A,B>
,TypeSafeKey.Simple<A>
- All Known Implementing Classes:
$
,Absent
,AddAll
,All
,Alter
,And
,Any
,AutoBracket
,Between
,Both
,Bracket
,CartesianProduct
,CatMaybes
,Clamp
,CmpEq
,CmpEqBy
,CmpEqWith
,Coalesce
,Collapse
,Collapse
,Compare
,Compose
,Compose
,Concat
,Cons
,Constantly
,Cycle
,Difference
,Distinct
,Downcast
,Drop
,DropWhile
,Empty
,Endo
,EndoK
,Eq
,Exchange
,Filter
,Find
,First
,Flatten
,FoldLeft
,FoldRight
,Force
,GroupBy
,GT
,GTBy
,GTE
,GTEBy
,GTEWith
,GTWith
,Head
,Id
,IfThenElse
,InGroupsOf
,Init
,Inits
,Intersection
,Intersperse
,Into
,Into1
,Into3
,Into4
,Into5
,Into6
,Into7
,Into8
,Iterate
,Join
,Last
,Last
,LazyRec
,LeftAll
,LeftAll
,LeftAny
,LeftAny
,LiftA2
,LiftA3
,LiftA4
,LiftA5
,LiftA6
,LiftA7
,LT
,LTBy
,LTE
,LTEBy
,LTEWith
,LTWith
,Magnetize
,MagnetizeBy
,Map
,Market
,Matching
,Max
,MaxBy
,MaxWith
,Merge
,Merge
,MergeHMaps
,MergeMaps
,Min
,MinBy
,MinWith
,Not
,Occurrences
,Or
,Over
,Partition
,Peek
,Peek2
,Pre
,PrependAll
,Present
,PutAll
,RateLimit
,Re
,ReaderT
,ReduceLeft
,ReduceRight
,Repeat
,Replicate
,Reverse
,RightAll
,RightAll
,RightAny
,RightAny
,RunAll
,RunAll
,ScanLeft
,Sequence
,Set
,Size
,Slide
,Snoc
,Sort
,SortBy
,SortWith
,Span
,Tagged
,Tail
,Tails
,Take
,TakeWhile
,Times
,ToArray
,ToCollection
,ToMap
,Trampoline
,Trivial
,Tupler2
,Uncons
,Under
,Unfoldr
,Union
,Until
,Upcast
,View
,Xor
,Zip
,ZipWith
public interface Contravariant<A,C extends Contravariant<?,C>>
The contravariant functor (or "co-functor"); that is, a functor that maps contravariantly (A <- B
) over its parameter. Contravariant functors are not necessarilyFunctor
s.For more information, read about Contravariant Functors.
- See Also:
Profunctor
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description <B> Contravariant<B,C>
contraMap(Fn1<? super B,? extends A> fn)
Contravariantly mapA <- B
.
-
-
-
Method Detail
-
contraMap
<B> Contravariant<B,C> contraMap(Fn1<? super B,? extends A> fn)
Contravariantly mapA <- B
.- Type Parameters:
B
- the new parameter type- Parameters:
fn
- the mapping function- Returns:
- the mapped Contravariant functor instance
-
-