Package org.smallibs.control

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

All Superinterfaces:
Applicative<M,A,S>, Functor<M,A,S>, HK<M,A,S>
public interface Monad<M,A,S extends HK<M,A,S>> extends Applicative<M,A,S>

  • Method Summary

    Modifier and Type
    Method
    Description
    <B, NS extends HK<M, B, NS>>
    HK<M,B,NS>
    flatmap(java.util.function.Function<? super A,HK<M,B,NS>> 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 Details

    • flatmap

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