Package com.github.tonivade.purefun.instances

Interface TrampolinePure

All Superinterfaces:

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

All Known Subinterfaces:

TrampolineApplicative, TrampolineMonad

interface TrampolinePure
extends Applicative<Trampoline<?>>

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>

Method Summary

Modifier and Type	Method	Description
default <T> Kind<Trampoline<?>,T>	pure(T value)

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

ap, 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

Method Details

pure

default <T> Kind<Trampoline<?>,T> pure(T value)

Specified by:

pure in interface Applicative<Trampoline<?>>