public interface MonadPlus<CRE> extends MonadZero<CRE>
Modifier and Type | Method and Description |
---|---|
Monoid<Higher<CRE,?>> |
monoid() |
default <T> Monoid<Higher<CRE,T>> |
narrowMonoid() |
default <T> Higher<CRE,T> |
plus(Higher<CRE,T> a,
Higher<CRE,T> b) |
default Higher<CRE,?> |
zero()
e.g.
|
filter, narrowZero
flatMap, flatten, mapM, replicate, sequence, traverse
ap, ap2, ap3, apBiFn, curry2, narrow, narrow2, narrow3, narrowBiFn