CRE
- CORE Typepublic interface MonadZero<CRE> extends Monad<CRE>, Filterable<CRE>
Modifier and Type | Method and Description |
---|---|
default <T> Higher<CRE,T> |
filter_(Higher<CRE,T> ds,
java.util.function.Predicate<? super T> predicate) |
default <T> Higher<CRE,T> |
filter(java.util.function.Predicate<? super T> predicate,
Higher<CRE,T> ds) |
default <T> Higher<CRE,T> |
narrowZero() |
<T> Higher<CRE,T> |
zero()
e.g.
|
flatMap_, flatMap, flatten, inject, mapM, replicate, sequence, traverse
<T> Higher<CRE,T> zero()
default <T> Higher<CRE,T> filter(java.util.function.Predicate<? super T> predicate, Higher<CRE,T> ds)
filter
in interface Filterable<CRE>
default <T> Higher<CRE,T> filter_(Higher<CRE,T> ds, java.util.function.Predicate<? super T> predicate)