com.github.tonivade.purefun.algebra

Interface Applicative<F extends Kind>

All Superinterfaces:

Functor<F>

All Known Subinterfaces:

Monad<F>

public interface Applicative<F extends Kind>
extends Functor<F>

Method Summary

Modifier and Type	Method and Description
<T,R> Higher1<F,R>	ap(Higher1<F,T> value, Higher1<F,Function1<T,R>> apply)
default <T,R> Higher1<F,R>	map(Higher1<F,T> value, Function1<T,R> map)
<T> Higher1<F,T>	pure(T value)

Method Detail

pure

<T> Higher1<F,T> pure(T value)

ap

<T,R> Higher1<F,R> ap(Higher1<F,T> value,
                      Higher1<F,Function1<T,R>> apply)

map

default <T,R> Higher1<F,R> map(Higher1<F,T> value,
                               Function1<T,R> map)

Specified by:

map in interface Functor<F extends Kind>