org.smallibs.control

Interface Monad<M,A,Self extends HK<M,A,Self>>

All Superinterfaces:

Applicative<M,A,Self>, Functor<M,A,Self>, HK<M,A,Self>

public interface Monad<M,A,Self extends HK<M,A,Self>>
extends Applicative<M,A,Self>

Method Summary

Modifier and Type	Method and Description
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	flatmap(java.util.function.Function<? super A,HK<M,B,NSelf>> function)

Methods inherited from interface org.smallibs.control.Applicative

apply

Methods inherited from interface org.smallibs.control.Functor

map

Methods inherited from interface org.smallibs.type.HK

apply, self

Method Detail

flatmap

<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf> flatmap(java.util.function.Function<? super A,HK<M,B,NSelf>> function)