Package com.github.tonivade.purefun.instances

Interface TrampolineApplicative

All Superinterfaces:

Applicative<Trampoline<?>>, Functor<Trampoline<?>>, Invariant<Trampoline<?>>, TrampolinePure

interface TrampolineApplicative
extends TrampolinePure

Nested Class Summary

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

Applicative.Map2<F extends Kind<F,?>,A,B>, Applicative.Map3<F extends Kind<F,?>,A,B,C>, Applicative.Map4<F extends Kind<F,?>,A,B,C,D>, Applicative.Map5<F extends Kind<F,?>,A,B,C,D,E>

Field Summary

Fields

Modifier and Type	Field	Description
static final TrampolineApplicative	INSTANCE

Method Summary

Modifier and Type	Method	Description
default <T, R> Kind<Trampoline<?>,R>	ap(Kind<Trampoline<?>,? extends T> value, Kind<Trampoline<?>,? extends Function1<? super T,? extends R>> apply)

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Applicative

first, last, map, mapN, mapN, mapN, mapN, mapN, mapN, mapN, mapN, tuple, tuple, tuple, tuple

Methods inherited from interface com.github.tonivade.purefun.typeclasses.Functor

imap, lift

Methods inherited from interface com.github.tonivade.purefun.instances.TrampolinePure

pure

Field Details

INSTANCE

static final TrampolineApplicative INSTANCE

Method Details

ap

default <T,
R> Kind<Trampoline<?>,R> ap(Kind<Trampoline<?>,? extends T> value,
 Kind<Trampoline<?>,? extends Function1<? super T,? extends R>> apply)

Specified by:

ap in interface Applicative<Trampoline<?>>