com.github.tonivade.purefun.monad

Interface Free<F extends Kind,T>

All Superinterfaces:

FlatMap2<Free.µ,F,T>, Higher1<Higher1<Free.µ,F>,T>, Higher2<Free.µ,F,T>, Kind, Mappable<Higher1<Free.µ,F>,T>

All Known Implementing Classes:

Free.FlatMapped, Free.Pure, Free.Suspend

public interface Free<F extends Kind,T>
extends FlatMap2<Free.µ,F,T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	Free.µ
static class	Free.FlatMapped<F extends Kind,T,R>
static class	Free.Pure<F extends Kind,T>
static class	Free.Suspend<F extends Kind,T>

Method Summary

Modifier and Type	Method and Description
default <R> Free<F,R>	andThen(Free<F,R> next)
<R> Free<F,R>	flatMap(Function1<T,? extends Higher2<Free.µ,F,R>> map)
default <G extends Kind> Higher1<G,T>	foldMap(Monad<G> monad, Functor<F> functor, Transformer<F,G> interpreter)
static <F extends Kind,T> Free<F,T>	liftF(Functor<F> functor, Higher1<F,T> value)
default <R> Free<F,R>	map(Function1<T,R> map)
com.github.tonivade.purefun.monad.FreeModule	module()
static <F extends Kind,T> Free<F,T>	narrowK(Higher1<Higher1<Free.µ,F>,T> hkt)
static <F extends Kind,T> Free<F,T>	narrowK(Higher2<Free.µ,F,T> hkt)
static <F extends Kind,T> Free<F,T>	pure(T value)
default Either<Higher1<F,Free<F,T>>,T>	resume(Functor<F> functor)
static <F extends Kind,T> Free<F,T>	suspend(Higher1<F,Free<F,T>> value)

Method Detail

pure

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

suspend

static <F extends Kind,T> Free<F,T> suspend(Higher1<F,Free<F,T>> value)

liftF

static <F extends Kind,T> Free<F,T> liftF(Functor<F> functor,
                                          Higher1<F,T> value)

narrowK

static <F extends Kind,T> Free<F,T> narrowK(Higher2<Free.µ,F,T> hkt)

narrowK

static <F extends Kind,T> Free<F,T> narrowK(Higher1<Higher1<Free.µ,F>,T> hkt)

map

default <R> Free<F,R> map(Function1<T,R> map)

Specified by:

map in interface Mappable<Higher1<Free.µ,F extends Kind>,T>

flatMap

<R> Free<F,R> flatMap(Function1<T,? extends Higher2<Free.µ,F,R>> map)

Specified by:

flatMap in interface FlatMap2<Free.µ,F extends Kind,T>

andThen

default <R> Free<F,R> andThen(Free<F,R> next)

resume

default Either<Higher1<F,Free<F,T>>,T> resume(Functor<F> functor)

foldMap

default <G extends Kind> Higher1<G,T> foldMap(Monad<G> monad,
                                              Functor<F> functor,
                                              Transformer<F,G> interpreter)

module

com.github.tonivade.purefun.monad.FreeModule module()