Uses of Interface
com.github.tonivade.purefun.core.Bindable

Packages that use Bindable

Package	Description
com.github.tonivade.purefun.concurrent
com.github.tonivade.purefun.core
com.github.tonivade.purefun.data
com.github.tonivade.purefun.effect
com.github.tonivade.purefun.free
com.github.tonivade.purefun.monad
com.github.tonivade.purefun.stream
com.github.tonivade.purefun.transformer
com.github.tonivade.purefun.type

Uses of Bindable in com.github.tonivade.purefun.concurrent

Subinterfaces of Bindable in com.github.tonivade.purefun.concurrent

Modifier and Type	Interface	Description
interface	Future<T>	This type is an abstraction of a computation executed in another thread.
interface	Promise<T>

Classes in com.github.tonivade.purefun.concurrent that implement Bindable

Modifier and Type	Class	Description
(package private) final class	FutureImpl<T>
(package private) final class	PromiseImpl<T>

Uses of Bindable in com.github.tonivade.purefun.core

Classes in com.github.tonivade.purefun.core with type parameters of type Bindable

Modifier and Type	Interface	Description
interface	Bindable<F extends Bindable<F,?>,A>

Subinterfaces of Bindable in com.github.tonivade.purefun.core

Modifier and Type	Interface	Description
interface	Effect<F extends Effect<F,?>,A>
interface	Trampoline<T>

Classes in com.github.tonivade.purefun.core that implement Bindable

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

Methods in com.github.tonivade.purefun.core with type parameters of type Bindable

Modifier and Type	Method	Description
static <F extends Bindable<F, ?>, A> Bindable<F,A>	Bindable.narrowK(Kind<F,? extends A> kind)

Methods in com.github.tonivade.purefun.core that return Bindable

Modifier and Type	Method	Description
default <R> Bindable<F,R>	Bindable.andThen(Kind<F,? extends R> next)
<R> Bindable<F,R>	Bindable.flatMap(Function1<? super A,? extends Kind<F,? extends R>> mapper)
<R> Bindable<F,R>	Bindable.map(Function1<? super A,? extends R> mapper)
static <F extends Bindable<F, ?>, A> Bindable<F,A>	Bindable.narrowK(Kind<F,? extends A> kind)

Uses of Bindable in com.github.tonivade.purefun.data

Subinterfaces of Bindable in com.github.tonivade.purefun.data

Modifier and Type	Interface	Description
interface	ImmutableArray<E>	Similar to a ArrayList
interface	ImmutableList<E>	Similar to a LinkedList
interface	ImmutableSet<E>	Similar to a HashSet
interface	ImmutableTree<E>	Similar to a TreeSet
interface	Sequence<E>

Classes in com.github.tonivade.purefun.data that implement Bindable

Modifier and Type	Class	Description
static final class	ImmutableArray.PImmutableArray<E>
static final class	ImmutableList.PImmutableList<E>
static final class	ImmutableSet.PImmutableSet<E>
static final class	ImmutableTree.PImmutableTree<E>
final class	NonEmptyList<E>

Uses of Bindable in com.github.tonivade.purefun.effect

Subinterfaces of Bindable in com.github.tonivade.purefun.effect

Modifier and Type	Interface	Description
interface	PureIO<R,E,A>

Classes in com.github.tonivade.purefun.effect that implement Bindable

Modifier and Type	Class	Description
final class	EIO<E,A>
static final class	PureIO.AccessM<R,E,A>
static final class	PureIO.Async<R,E,A>
static final class	PureIO.Attempt<R,E,A>
static final class	PureIO.Delay<R,E,A>
static final class	PureIO.Failure<R,E,A>
static final class	PureIO.FlatMapped<R,E,A,F,B>
static final class	PureIO.Pure<R,E,A>
static final class	PureIO.Recover<R,E,A>
static final class	PureIO.Suspend<R,E,A>
static final class	PureIO.Throw<R,E,A>
final class	RIO<R,A>
final class	Task<A>
final class	UIO<A>
final class	URIO<R,A>

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

Subinterfaces of Bindable in com.github.tonivade.purefun.free

Modifier and Type	Interface	Description
interface	Free<F extends Kind<F,?>,A>

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

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>

Uses of Bindable in com.github.tonivade.purefun.monad

Subinterfaces of Bindable in com.github.tonivade.purefun.monad

Modifier and Type	Interface	Description
interface	IO<T>
interface	Reader<R,A>
interface	State<S,A>
interface	Writer<L,A>

Classes in com.github.tonivade.purefun.monad that implement Bindable

Modifier and Type	Class	Description
static final class	IO.Async<T>
static final class	IO.Delay<T>
static final class	IO.Failure<T>
static final class	IO.FlatMapped<T,R>
static final class	IO.Pure<T>
static final class	IO.Recover<T>
static final class	IO.Suspend<T>

Uses of Bindable in com.github.tonivade.purefun.stream

Subinterfaces of Bindable in com.github.tonivade.purefun.stream

Modifier and Type	Interface	Description
interface	PureStream<F extends Kind<F,?>,T>

Classes in com.github.tonivade.purefun.stream that implement Bindable

Modifier and Type	Class	Description
final class	Cons<F extends Kind<F,?>,T>
final class	Nil<F extends Kind<F,?>,T>
final class	Suspend<F extends Kind<F,?>,T>

Uses of Bindable in com.github.tonivade.purefun.transformer

Subinterfaces of Bindable in com.github.tonivade.purefun.transformer

Modifier and Type	Interface	Description
interface	EitherT<F extends Kind<F,?>,L,R>
interface	Kleisli<F extends Kind<F,?>,Z,A>
interface	OptionT<F extends Kind<F,?>,T>
interface	StateT<F extends Kind<F,?>,S,A>
interface	WriterT<F extends Kind<F,?>,L,A>

Uses of Bindable in com.github.tonivade.purefun.type

Subinterfaces of Bindable in com.github.tonivade.purefun.type

Modifier and Type	Interface	Description
interface	Either<L,R>	This type represents two possible values, called left or right.
interface	Eval<A>	This is a monad that allows to control the evaluation of a computation or a value.
interface	Option<T>	This type represents the presence or absence of a value, similar to Optional
interface	Try<T>	This type represents the success or failure of a computation.
interface	Validation<E,T>	This type represents the validity or not of a value.

Classes in com.github.tonivade.purefun.type that implement Bindable

Modifier and Type	Class	Description
static final record	Either.Left<L,R>
static final record	Either.Right<L,R>
static final class	Eval.Defer<A>
static final class	Eval.Done<A>
static final class	Eval.FlatMapped<A,B>
final record	Id<T>	This is the identity monad.
static final class	Option.None<T>
static final record	Option.Some<T>
static final record	Try.Failure<T>
static final record	Try.Success<T>
static final record	Validation.Invalid<E,T>
static final record	Validation.Valid<E,T>