cyclops.typeclasses.monad

Interface MonadPlus<CRE>

All Superinterfaces:

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

All Known Implementing Classes:

General.GeneralMonadPlus, General.SupplierMonadPlus

public interface MonadPlus<CRE>
extends MonadZero<CRE>

Method Summary

Modifier and Type	Method and Description
default <T> MonoidK<CRE,T>	asMonoid()
<T> Monoid<Higher<CRE,T>>	monoid()
default <T> Monoid<Higher<CRE,T>>	narrowMonoid()
default <T> Higher<CRE,T>	plus(Higher<CRE,T> a, Higher<CRE,T> b)
default <T> Higher<CRE,T>	sum(ListX<Higher<CRE,T>> list)
default <T> Higher<CRE,T>	zero() e.g.

Methods inherited from interface cyclops.typeclasses.monad.MonadZero

filter_, filter, narrowZero

Methods inherited from interface cyclops.typeclasses.monad.Monad

flatMap_, flatMap, flatten, inject, mapM, replicate, sequence, traverse

Methods inherited from interface cyclops.typeclasses.monad.Applicative

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

Methods inherited from interface cyclops.typeclasses.functor.Functor

lift, map_, map, peek

Methods inherited from interface cyclops.typeclasses.Pure

unit

Method Detail

monoid

<T> Monoid<Higher<CRE,T>> monoid()

narrowMonoid

default <T> Monoid<Higher<CRE,T>> narrowMonoid()

asMonoid

default <T> MonoidK<CRE,T> asMonoid()

zero

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

Description copied from interface: MonadZero

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

Specified by:

zero in interface MonadZero<CRE>

Returns:

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

plus

default <T> Higher<CRE,T> plus(Higher<CRE,T> a,
                               Higher<CRE,T> b)

sum

default <T> Higher<CRE,T> sum(ListX<Higher<CRE,T>> list)