Uses of Interface
org.smallibs.type.HK

Packages that use HK

Package	Description
org.smallibs.concurrent.promise
org.smallibs.concurrent.promise.impl
org.smallibs.control
org.smallibs.data
org.smallibs.type

Uses of HK in org.smallibs.concurrent.promise

Subinterfaces of HK in org.smallibs.concurrent.promise

Modifier and Type	Interface and Description
interface	Promise<T> A promise is a component denoting an asynchronous computation.

Uses of HK in org.smallibs.concurrent.promise.impl

Classes in org.smallibs.concurrent.promise.impl that implement HK

Modifier and Type	Class and Description
class	PromisesSet
class	RunnablePromise<T>
class	SolvablePromise<T>
class	SolvedPromise<T>

Uses of HK in org.smallibs.control

Classes in org.smallibs.control with type parameters of type HK

Modifier and Type	Interface and Description
interface	Applicative<M,A,Self extends HK<M,A,Self>>
interface	Filter<M,A,Self extends HK<M,A,Self>> Filter interface
interface	Functor<M,A,Self extends HK<M,A,Self>>
interface	Monad<M,A,Self extends HK<M,A,Self>>

Subinterfaces of HK in org.smallibs.control

Modifier and Type	Interface and Description
interface	Applicative<M,A,Self extends HK<M,A,Self>>
interface	Free<F extends Functor<F,A,Free<F,A>>,A>
interface	Functor<M,A,Self extends HK<M,A,Self>>
interface	Monad<M,A,Self extends HK<M,A,Self>>

Methods in org.smallibs.control with type parameters of type HK

Modifier and Type	Method and Description
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Applicative.apply(Functor<M,java.util.function.Function<? super A,? extends B>,?> functor)
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Monad.flatmap(java.util.function.Function<? super A,HK<M,B,NSelf>> function)
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Functor.map(java.util.function.Function<? super A,? extends B> function)

Methods in org.smallibs.control that return HK

Modifier and Type	Method and Description
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Applicative.apply(Functor<M,java.util.function.Function<? super A,? extends B>,?> functor)
HK<M,A,Self>	Filter.filter(java.util.function.Predicate<? super A> predicate) Method called when the current data must be filtered using a given predicate.
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Monad.flatmap(java.util.function.Function<? super A,HK<M,B,NSelf>> function)
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Functor.map(java.util.function.Function<? super A,? extends B> function)

Method parameters in org.smallibs.control with type arguments of type HK

Modifier and Type	Method and Description
<B,NSelf extends HK<M,B,NSelf>> HK<M,B,NSelf>	Monad.flatmap(java.util.function.Function<? super A,HK<M,B,NSelf>> function)

Uses of HK in org.smallibs.data

Subinterfaces of HK in org.smallibs.data

Modifier and Type	Interface and Description
interface	Maybe<T>
interface	Try<T>

Classes in org.smallibs.data that implement HK

Modifier and Type	Class and Description
static class	Maybe.None<T> None implementation
static class	Maybe.Some<T> Some implementation
static class	Try.Failure<T> Failure implementation
static class	Try.Success<T> Success implementation

Method parameters in org.smallibs.data with type arguments of type HK

Modifier and Type	Method and Description
default <R> R	Maybe.apply(java.util.function.Function<HK<Maybe,T,Maybe<T>>,R> f)
default <R> R	Try.apply(java.util.function.Function<HK<Try,T,Try<T>>,R> f)

Uses of HK in org.smallibs.type

Classes in org.smallibs.type with type parameters of type HK

Modifier and Type	Interface and Description
interface	HK<M,A,Self extends HK<M,A,Self>>

Method parameters in org.smallibs.type with type arguments of type HK

Modifier and Type	Method and Description
<T> T	HK.apply(java.util.function.Function<HK<M,A,Self>,T> f)