cyclops.typeclasses.monad

Interface Monad<CRE>

All Superinterfaces:

Applicative<CRE>, Functor<CRE>, Pure<CRE>

All Known Subinterfaces:

MonadPlus<CRE>, MonadZero<CRE>

All Known Implementing Classes:

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

public interface Monad<CRE>
extends Applicative<CRE>, Functor<CRE>, Pure<CRE>

Method Summary

Modifier and Type	Method and Description
<T,R> Higher<CRE,R>	flatMap(java.util.function.Function<? super T,? extends Higher<CRE,R>> fn, Higher<CRE,T> ds)
default <T> Higher<CRE,T>	flatten(Higher<CRE,Higher<CRE,T>> nested)
default <T,R> java.util.function.Function<java.util.stream.Stream<T>,Higher<CRE,java.util.stream.Stream<R>>>	mapM(java.util.function.Function<T,Higher<CRE,R>> fn)
default <T> Higher<CRE,java.util.stream.Stream<T>>	replicate(long times, Higher<CRE,T> m)
default <T> Higher<CRE,java.util.stream.Stream<T>>	sequence(java.util.stream.Stream<Higher<CRE,T>> stream)
default <T,R> Higher<CRE,java.util.stream.Stream<R>>	traverse(java.util.function.Function<T,R> fn, java.util.stream.Stream<Higher<CRE,T>> stream)

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

flatMap

<T,R> Higher<CRE,R> flatMap(java.util.function.Function<? super T,? extends Higher<CRE,R>> fn,
                            Higher<CRE,T> ds)

flatten

default <T> Higher<CRE,T> flatten(Higher<CRE,Higher<CRE,T>> nested)

replicate

default <T> Higher<CRE,java.util.stream.Stream<T>> replicate(long times,
                                                             Higher<CRE,T> m)

mapM

default <T,R> java.util.function.Function<java.util.stream.Stream<T>,Higher<CRE,java.util.stream.Stream<R>>> mapM(java.util.function.Function<T,Higher<CRE,R>> fn)

sequence

default <T> Higher<CRE,java.util.stream.Stream<T>> sequence(java.util.stream.Stream<Higher<CRE,T>> stream)

traverse

default <T,R> Higher<CRE,java.util.stream.Stream<R>> traverse(java.util.function.Function<T,R> fn,
                                                              java.util.stream.Stream<Higher<CRE,T>> stream)