cyclops.typeclasses.monad

Interface MonadZero<CRE>

Type Parameters:

CRE - CORE Type

All Superinterfaces:

Applicative<CRE>, Filterable<CRE>, Functor<CRE>, Monad<CRE>, Pure<CRE>

All Known Subinterfaces:

MonadPlus<CRE>

All Known Implementing Classes:

General.GeneralMonadPlus, General.GeneralMonadZero, General.SupplierMonadPlus, General.SupplierMonadZero

public interface MonadZero<CRE>
extends Monad<CRE>, Filterable<CRE>

A filterable monad The zero() operator is used toNested replace supplied HKT with it's zero / empty equivalent when filtered out

Method Summary

Modifier and Type	Method and Description
default <T> Higher<CRE,T>	filter(java.util.function.Predicate<? super T> predicate, Higher<CRE,T> ds)
default <T> Higher<CRE,T>	narrowZero()
Higher<CRE,?>	zero() e.g.

Methods inherited from interface cyclops.typeclasses.monad.Monad

flatMap, flatten, mapM, replicate, sequence, traverse

Methods inherited from interface cyclops.typeclasses.monad.Applicative

ap, ap2, ap3, apBiFn, curry2, narrow, narrow2, narrow3, narrowBiFn

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, map, mapRev, peek

Methods inherited from interface cyclops.typeclasses.Pure

unit

Method Detail

zero

Higher<CRE,?> zero()

e.g. for Optional we can use Optional.empty()

Returns:

Identity value or zero value for the HKT type, the generic type is unknown

filter

default <T> Higher<CRE,T> filter(java.util.function.Predicate<? super T> predicate,
                                 Higher<CRE,T> ds)

Specified by:

filter in interface Filterable<CRE>

narrowZero

default <T> Higher<CRE,T> narrowZero()