Uses of Interface
com.github.tonivade.purefun.free.Free

Packages that use Free

Package	Description
com.github.tonivade.purefun.free

Uses of Free in com.github.tonivade.purefun.free

Classes in com.github.tonivade.purefun.free that implement Free

Modifier and Type	Class	Description
static final record	Free.FlatMapped<F extends Kind<F,?>,A,B>
static final record	Free.Pure<F extends Kind<F,?>,A>
static final record	Free.Suspend<F extends Kind<F,?>,A>

Fields in com.github.tonivade.purefun.free declared as Free

Modifier and Type	Field	Description
private final Free<F,? extends A>	Free.FlatMapped.value	The field for the value record component.

Fields in com.github.tonivade.purefun.free with type parameters of type Free

Modifier and Type	Field	Description
private final Function1<? super A,? extends Kind<Free<F,?>,? extends B>>	Free.FlatMapped.next	The field for the next record component.

Methods in com.github.tonivade.purefun.free that return Free

Modifier and Type	Method	Description
default <R> Free<F,R>	Free.andThen(Kind<Free<F,?>,? extends R> next)
static <F extends Kind<F, ?>, T> Free<F,T>	Free.defer(Producer<? extends Free<F,? extends T>> value)
<R> Free<F,R>	Free.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends R>> mapper)
<C> Free<F,C>	Free.FlatMapped.flatMap(Function1<? super B,? extends Kind<Free<F,?>,? extends C>> map)
<B> Free<F,B>	Free.Pure.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends B>> map)
<B> Free<F,B>	Free.Suspend.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends B>> map)
default <T, R> Free<F,R>	FreeMonad.flatMap(Kind<Free<F,?>,? extends T> value, Function1<? super T,? extends Kind<Free<F,?>,? extends R>> map)
static <F extends Kind<F, ?>, G extends Kind<G, ?>, T> Free<G,T>	Free.inject(InjectK<F,G> inject, Kind<F,T> value)
static <F extends Kind<F, ?>, T> Free<F,T>	Free.liftF(Kind<F,? extends T> value)
default <R> Free<F,R>	Free.map(Function1<? super A,? extends R> map)
default Free<F,A>	FreeAp.monad()
static <F extends Kind<F, ?>, T> Free<F,T>	Free.pure(T value)
default <T> Free<F,T>	FreeMonad.pure(T value)
static <F extends Kind<F, ?>, A> Free<F,A>	FreeOf.toFree(Kind<Free<F,?>,? extends A> value)
Free<F,? extends A>	Free.FlatMapped.value()	Returns the value of the value record component.

Methods in com.github.tonivade.purefun.free that return types with arguments of type Free

Modifier and Type	Method	Description
private <G extends Kind<G, ?>> Kind<G,Either<Free<F,B>,B>>	Free.FlatMapped.foldStep(Monad<G> monad, FunctionK<F,G> interpreter)
private <G extends Kind<G, ?>> Kind<G,Either<Free<F,A>,A>>	Free.foldStep(Monad<G> monad, FunctionK<F,G> interpreter)
static <F extends Kind<F, ?>, G extends Kind<G, ?>> FunctionK<F,Free<G,?>>	Free.functionKF(FunctionK<F,G> functionK)
static <F extends Kind<F, ?>> Monad<Free<F,?>>	Free.monadF()
Function1<? super A,? extends Kind<Free<F,?>,? extends B>>	Free.FlatMapped.next()	Returns the value of the next record component.

Method parameters in com.github.tonivade.purefun.free with type arguments of type Free

Modifier and Type	Method	Description
default <R> Free<F,R>	Free.andThen(Kind<Free<F,?>,? extends R> next)
static <F extends Kind<F, ?>, T> Free<F,T>	Free.defer(Producer<? extends Free<F,? extends T>> value)
<R> Free<F,R>	Free.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends R>> mapper)
<C> Free<F,C>	Free.FlatMapped.flatMap(Function1<? super B,? extends Kind<Free<F,?>,? extends C>> map)
<B> Free<F,B>	Free.Pure.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends B>> map)
<B> Free<F,B>	Free.Suspend.flatMap(Function1<? super A,? extends Kind<Free<F,?>,? extends B>> map)
default <T, R> Free<F,R>	FreeMonad.flatMap(Kind<Free<F,?>,? extends T> value, Function1<? super T,? extends Kind<Free<F,?>,? extends R>> map)
default <T, R> Free<F,R>	FreeMonad.flatMap(Kind<Free<F,?>,? extends T> value, Function1<? super T,? extends Kind<Free<F,?>,? extends R>> map)
static <F extends Kind<F, ?>, A> Free<F,A>	FreeOf.toFree(Kind<Free<F,?>,? extends A> value)

Constructors in com.github.tonivade.purefun.free with parameters of type Free

Modifier	Constructor	Description
	FlatMapped(Free<F,? extends A> value, Function1<? super A,? extends Kind<Free<F,?>,? extends B>> next)	Creates an instance of a FlatMapped record class.

Constructor parameters in com.github.tonivade.purefun.free with type arguments of type Free

Modifier	Constructor	Description
	FlatMapped(Free<F,? extends A> value, Function1<? super A,? extends Kind<Free<F,?>,? extends B>> next)	Creates an instance of a FlatMapped record class.