Uses of Annotation Interface
com.github.tonivade.purefun.HigherKind

Packages that use HigherKind

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
com.github.tonivade.purefun.typeclasses

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

Classes in com.github.tonivade.purefun.concurrent with annotations of type HigherKind

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

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

Classes in com.github.tonivade.purefun.core with annotations of type HigherKind

Modifier and Type	Interface	Description
interface	Function1<A,R>	This interface represents a function with a single parameter.
interface	Producer<T>	This interface represents a function without any parameter.
interface	Trampoline<T>
final class	Tuple1<A>
final class	Tuple2<A,B>

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

Classes in com.github.tonivade.purefun.data with annotations of type HigherKind

Modifier and Type	Interface	Description
interface	Sequence<E>

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

Classes in com.github.tonivade.purefun.effect with annotations of type HigherKind

Modifier and Type	Class	Description
final class	EIO<E,A>
final class	Managed<R,E,A>
interface	PureIO<R,E,A>
final class	RIO<R,A>
final class	Task<A>
final class	UIO<A>
final class	URIO<R,A>

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

Classes in com.github.tonivade.purefun.free with annotations of type HigherKind

Modifier and Type	Class	Description
final class	EitherK<F extends Kind<F,?>,G extends Kind<G,?>,T>
interface	Free<F extends Kind<F,?>,A>
interface	FreeAp<F extends Kind<F,?>,A>

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

Classes in com.github.tonivade.purefun.monad with annotations of type HigherKind

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

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

Classes in com.github.tonivade.purefun.stream with annotations of type HigherKind

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

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

Classes in com.github.tonivade.purefun.transformer with annotations of type HigherKind

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 HigherKind in com.github.tonivade.purefun.type

Classes in com.github.tonivade.purefun.type with annotations of type HigherKind

Modifier and Type	Class	Description
final record	Const<T,A>
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.
final record	Id<T>	This is the identity monad.
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.

Uses of HigherKind in com.github.tonivade.purefun.typeclasses

Classes in com.github.tonivade.purefun.typeclasses with annotations of type HigherKind

Modifier and Type	Interface	Description
interface	Monoid<T>
final class	Resource<F extends Kind<F,?>,T>
interface	Schedule<F extends Kind<F,?>,A,B>