Package com.github.tonivade.purefun.typeclasses

Interface ComposedApplicative<F extends Kind<F,?>,G extends Kind<G,?>>

All Superinterfaces:

Applicative<Nested<F,G>>, Functor<Nested<F,G>>, Invariant<Nested<F,G>>

All Known Subinterfaces:

ComposedAlternative<F,G>

interface ComposedApplicative<F extends Kind<F,?>,G extends Kind<G,?>>
extends Applicative<Nested<F,G>>

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, R> Kind<Nested<F,G>,R>	ap(Kind<Nested<F,G>,? extends T> value, Kind<Nested<F,G>,? extends Function1<? super T,? extends R>> apply)
Applicative<F>	f()
Applicative<G>	g()
default <T> Kind<Nested<F,G>,T>	pure(T value)

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

Method Details

f

Applicative<F> f()

g

Applicative<G> g()

pure

default <T> Kind<Nested<F,G>,T> pure(T value)

Specified by:

pure in interface Applicative<F extends Kind<F,?>>

ap

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

Specified by:

ap in interface Applicative<F extends Kind<F,?>>