Package com.github.tonivade.purefun.core

Interface Trampoline<T>

All Superinterfaces:

Bindable<Trampoline<?>,T>, Kind<Trampoline<?>,T>, Mappable<Trampoline<?>,T>, TrampolineOf<T>

All Known Implementing Classes:

Trampoline.Done, Trampoline.More

public sealed interface Trampoline<T>
extends TrampolineOf<T>, Bindable<Trampoline<?>,T>
permits Trampoline.Done<T>, Trampoline.More<T>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	Trampoline.Done<T>
static final record	Trampoline.More<T>

Method Summary

Modifier and Type	Method	Description
static <T> Trampoline<T>	done(T value)
default <R> Trampoline<R>	flatMap(Function1<? super T,? extends Kind<Trampoline<?>,? extends R>> map)
default <R> R	fold(Function1<Trampoline<T>,R> more, Function1<T,R> done)
private Trampoline<T>	iterate()
default <R> Trampoline<R>	map(Function1<? super T,? extends R> map)
static <T> Trampoline<T>	more(Producer<Trampoline<T>> next)
default T	run()

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

andThen

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

fix, kind

Method Details

map

default <R> Trampoline<R> map(Function1<? super T,? extends R> map)

Specified by:

map in interface Bindable<Trampoline<?>,T>

Specified by:

map in interface Mappable<Trampoline<?>,T>

flatMap

default <R> Trampoline<R> flatMap(Function1<? super T,? extends Kind<Trampoline<?>,? extends R>> map)

Specified by:

flatMap in interface Bindable<Trampoline<?>,T>

fold

default <R> R fold(Function1<Trampoline<T>,R> more,
 Function1<T,R> done)

run

default T run()

done

static <T> Trampoline<T> done(T value)

more

static <T> Trampoline<T> more(Producer<Trampoline<T>> next)

iterate

private Trampoline<T> iterate()