public interface Monad<F extends Kind> extends Applicative<F>
| Modifier and Type | Method and Description |
|---|---|
default <T,R> Higher1<F,R> |
ap(Higher1<F,T> value,
Higher1<F,Function1<T,R>> apply) |
<T,R> Higher1<F,R> |
flatMap(Higher1<F,T> value,
Function1<T,? extends Higher1<F,R>> map) |
default <T,R> Higher1<F,R> |
map(Higher1<F,T> value,
Function1<T,R> map) |
pure