Package com.github.tonivade.purefun.free

Interface FreeAp<F extends Kind<F,?>,A>

All Superinterfaces:

Applicable<FreeAp<F,?>,A>, FreeApOf<F,A>, Kind<FreeAp<F,?>,A>, Mappable<FreeAp<F,?>,A>

All Known Implementing Classes:

FreeAp.Apply, FreeAp.Lift, FreeAp.Pure

public sealed interface FreeAp<F extends Kind<F,?>,A>
extends FreeApOf<F,A>, Applicable<FreeAp<F,?>,A>
permits FreeAp.Pure<F,A>, FreeAp.Lift<F,A>, FreeAp.Apply<F,A,B>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	FreeAp.Apply<F extends Kind<F,?>,A,B>
static final record	FreeAp.CurriedFunction<G extends Kind<G,?>,A,B>
static final record	FreeAp.Lift<F extends Kind<F,?>,A>
static final record	FreeAp.Pure<F extends Kind<F,?>,A>

Nested classes/interfaces inherited from interface com.github.tonivade.purefun.core.Applicable

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

Method Summary

Modifier and Type	Method	Description
default <M> M	analyze(FunctionK<F,Const<M,?>> functionK, Applicative<Const<M,?>> applicative)
default <B> FreeAp<F,B>	ap(Kind<FreeAp<F,?>,? extends Function1<? super A,? extends B>> apply)
static <F extends Kind<F, ?>> Applicative<FreeAp<F,?>>	applicativeF()
static <F extends Kind<F, ?>, T, R> FreeAp<F,R>	apply(Kind<FreeAp<F,?>,? extends T> value, Kind<FreeAp<F,?>,? extends Function1<? super T,? extends R>> mapper)
default <G extends Kind<G, ?>> FreeAp<G,A>	compile(FunctionK<F,G> transformer)
default <G extends Kind<G, ?>> FreeAp<G,A>	flatCompile(FunctionK<F,FreeAp<G,?>> functionK, Applicative<FreeAp<G,?>> applicative)
default Kind<F,A>	fold(Applicative<F> applicative)
private static <F extends Kind<F, ?>, G extends Kind<G, ?>, A> Kind<G,A>	foldArg(FreeAp<F,A> argF, FunctionK<F,G> transformation, Applicative<G> applicative)
default <G extends Kind<G, ?>> Kind<G,A>	foldMap(FunctionK<F,G> functionK, Applicative<G> applicative)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> FunctionK<F,FreeAp<G,?>>	functionKF(FunctionK<F,G> functionK)
static <F extends Kind<F, ?>, T> FreeAp<F,T>	lift(Kind<F,T> value)
default <B> FreeAp<F,B>	map(Function1<? super A,? extends B> mapper)
default Free<F,A>	monad()
static <F extends Kind<F, ?>, T> FreeAp<F,T>	pure(T value)

Methods inherited from interface com.github.tonivade.purefun.core.Applicable

zip, zipLeft, zipRight, zipWith

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Method Details

map

default <B> FreeAp<F,B> map(Function1<? super A,? extends B> mapper)

Specified by:

map in interface Applicable<F extends Kind<F,?>,A>

Specified by:

map in interface Mappable<F extends Kind<F,?>,A>

ap

default <B> FreeAp<F,B> ap(Kind<FreeAp<F,?>,? extends Function1<? super A,? extends B>> apply)

Specified by:

ap in interface Applicable<F extends Kind<F,?>,A>

fold

default Kind<F,A> fold(Applicative<F> applicative)

compile

default <G extends Kind<G,
?>> FreeAp<G,A> compile(FunctionK<F,G> transformer)

flatCompile

default <G extends Kind<G,
?>> FreeAp<G,A> flatCompile(FunctionK<F,FreeAp<G,?>> functionK,
 Applicative<FreeAp<G,?>> applicative)

analyze

default <M> M analyze(FunctionK<F,Const<M,?>> functionK,
 Applicative<Const<M,?>> applicative)

monad

default Free<F,A> monad()

foldMap

default <G extends Kind<G,
?>> Kind<G,A> foldMap(FunctionK<F,G> functionK,
 Applicative<G> applicative)

pure

static <F extends Kind<F,
?>,
T> FreeAp<F,T> pure(T value)

lift

static <F extends Kind<F,
?>,
T> FreeAp<F,T> lift(Kind<F,T> value)

apply

static <F extends Kind<F,
?>,
T,
R> FreeAp<F,R> apply(Kind<FreeAp<F,?>,? extends T> value,
 Kind<FreeAp<F,?>,? extends Function1<? super T,? extends R>> mapper)

functionKF

static <F extends Kind<F,
?>,
G extends Kind<G,
?>>
FunctionK<F,FreeAp<G,?>> functionKF(FunctionK<F,G> functionK)

applicativeF

static <F extends Kind<F,
?>>
Applicative<FreeAp<F,?>> applicativeF()

foldArg

private static <F extends Kind<F,
?>,
G extends Kind<G,
?>,
A>
Kind<G,A> foldArg(FreeAp<F,A> argF,
 FunctionK<F,G> transformation,
 Applicative<G> applicative)