public static class General.SupplierMonadZero<CRE,A,B> extends java.lang.Object implements MonadZero<CRE>
Constructor and Description |
---|
SupplierMonadZero() |
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> Higher<CRE,T> |
filter(java.util.function.Predicate<? super T> predicate,
Higher<CRE,T> ds) |
<T,R> Higher<CRE,R> |
flatMap(java.util.function.Function<? super T,? extends Higher<CRE,R>> fn,
Higher<CRE,T> ds) |
<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
|
<T> Higher<CRE,T> |
unit(T value)
Create a new instance of the core type (e.g.
|
Higher<CRE,?> |
zero()
e.g.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
filter_, narrowZero
flatMap_, flatten, inject, mapM, replicate, sequence, traverse
public Higher<CRE,?> zero()
MonadZero
public <T,R> Higher<CRE,R> flatMap(java.util.function.Function<? super T,? extends Higher<CRE,R>> fn, Higher<CRE,T> ds)
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