Package com.github.tonivade.purefun.instances

Interface Function1Applicative<T>

All Superinterfaces:

Applicative<Function1<T,?>>, Function1Pure<T>, Functor<Function1<T,?>>, Invariant<Function1<T,?>>

interface Function1Applicative<T>
extends Function1Pure<T>

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 Function1Applicative	INSTANCE

Method Summary

Modifier and Type	Method	Description
default <A, R> Function1<T,R>	ap(Kind<Function1<T,?>,? extends A> value, Kind<Function1<T,?>,? extends Function1<? super A,? 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.instances.Function1Pure

pure

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

imap, lift

Field Details

INSTANCE

static final Function1Applicative INSTANCE

Method Details

ap

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

Specified by:

ap in interface Applicative<T>