public static class General.GeneralTraverseByTraverse<CRE,C2,A,B> extends java.lang.Object implements TraverseByTraverse<CRE>
Constructor and Description |
---|
GeneralTraverseByTraverse() |
Modifier and Type | Method and Description |
---|---|
<T,R> Higher<CRE,R> |
ap(Higher<CRE,? extends java.util.function.Function<T,R>> fn,
Higher<CRE,T> apply) |
<T,R> Higher<CRE,R> |
map(java.util.function.Function<? super T,? extends R> fn,
Higher<CRE,T> ds)
Transform the supplied data structure using the supplied transformation function
|
<C2,T,R> Higher<C2,Higher<CRE,R>> |
traverseA(Applicative<C2> applicative,
java.util.function.Function<? super T,? extends Higher<C2,R>> fn,
Higher<CRE,T> ds) |
<T> Higher<CRE,T> |
unit(T value)
Create a new instance of the core type (e.g.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
sequenceA
flatSequence, flatTraverse, foldMap, mapAccumL, mapWithIndex, reverse, runTraverseS, traverseS, zipWith, zipWithIndex
public <T,R> Higher<CRE,R> ap(Higher<CRE,? extends java.util.function.Function<T,R>> fn, Higher<CRE,T> apply)
ap
in interface Applicative<CRE>
public <T,R> Higher<CRE,R> map(java.util.function.Function<? super T,? extends R> fn, Higher<CRE,T> ds)
Functor
ListX<Integer> listx = ListX.of(1,2,3);
ListType<Integer> mapped1 =Lists.functor().map(a->a+1, ListType.widen(listx));
mapped1.add(1);
ListX<Integer> listxMapped = mapped1.list();
public <T> Higher<CRE,T> unit(T value)
Pure