com.aol.cyclops.hkt.typeclasses.monad

Interface Monad<CRE>

All Superinterfaces:

Applicative<CRE>, Functor<CRE>, Unit<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>, Unit<CRE>

Method Summary

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

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.monad.Applicative

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

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.functor.Functor

lift, map, mapRev, peek

Methods inherited from interface com.aol.cyclops.hkt.typeclasses.Unit

unit

Method Detail

flatMap

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

flatten

default <T> com.aol.cyclops.hkt.alias.Higher<CRE,T> flatten(com.aol.cyclops.hkt.alias.Higher<CRE,com.aol.cyclops.hkt.alias.Higher<CRE,T>> nested)

replicate

default <T> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.stream.Stream<T>> replicate(long times,
                                                                                       com.aol.cyclops.hkt.alias.Higher<CRE,T> m)

mapM

default <T,R> java.util.function.Function<java.util.stream.Stream<T>,com.aol.cyclops.hkt.alias.Higher<CRE,java.util.stream.Stream<R>>> mapM(java.util.function.Function<T,com.aol.cyclops.hkt.alias.Higher<CRE,R>> fn)

sequence

default <T> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.stream.Stream<T>> sequence(java.util.stream.Stream<com.aol.cyclops.hkt.alias.Higher<CRE,T>> stream)

traverse

default <T,R> com.aol.cyclops.hkt.alias.Higher<CRE,java.util.stream.Stream<R>> traverse(java.util.function.Function<T,R> fn,
                                                                                        java.util.stream.Stream<com.aol.cyclops.hkt.alias.Higher<CRE,T>> stream)