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	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	Description
class	PromisesSet
final class	RunnablePromise<T>
class	SolvablePromise<T>
final 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	Description
interface	Applicative<M,A,S extends HK<M,A,S>>
interface	Filter<M,A,S extends HK<M,A,S>>	Filter interface
interface	Functor<M,A,S extends HK<M,A,S>>
interface	Monad<M,A,S extends HK<M,A,S>>

Subinterfaces of HK in org.smallibs.control

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

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

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

Methods in org.smallibs.control that return HK

Modifier and Type	Method	Description
<B, NS extends HK<M, B, NS>> HK<M,B,NS>	Applicative.apply(Functor<M,java.util.function.Function<? super A,? extends B>,?> functor)
HK<M,A,S>	Filter.filter(java.util.function.Predicate<? super A> predicate)	Method called when the current data must be filtered using a given predicate.
<B, NS extends HK<M, B, NS>> HK<M,B,NS>	Monad.flatmap(java.util.function.Function<? super A,HK<M,B,NS>> function)
<B, NS extends HK<M, B, NS>> HK<M,B,NS>	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	Description
<B, NS extends HK<M, B, NS>> HK<M,B,NS>	Monad.flatmap(java.util.function.Function<? super A,HK<M,B,NS>> function)

Uses of HK in org.smallibs.data

Subinterfaces of HK in org.smallibs.data

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

Classes in org.smallibs.data that implement HK

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

Uses of HK in org.smallibs.type

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

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

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

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