Package com.github.tonivade.purefun.typeclasses

Interface For<F extends Kind<F,?>>

All Known Implementing Classes:

For.Apply, For.FlatMap

public sealed interface For<F extends Kind<F,?>>
permits For.FlatMap<F>, For.Apply<F>

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static final record	For.Apply<F extends Kind<F,?>>
static final record	For.FlatMap<F extends Kind<F,?>>

Method Summary

Static Methods

Modifier and Type	Method	Description
static <F extends Kind<F, ?>> For.Apply<F>	with(Applicative<F> applicative)
static <F extends Kind<F, ?>, T> Apply1<F,T>	with(Applicative<F> applicative, Kind<F,? extends T> value1)
static <F extends Kind<F, ?>> For.FlatMap<F>	with(Monad<F> monad)
static <F extends Kind<F, ?>, T> FlatMap1<F,T>	with(Monad<F> monad, Kind<F,? extends T> value1)

Method Details

with

static <F extends Kind<F,
?>> For.FlatMap<F> with(Monad<F> monad)

with

static <F extends Kind<F,
?>> For.Apply<F> with(Applicative<F> applicative)

with

static <F extends Kind<F,
?>,
T> FlatMap1<F,T> with(Monad<F> monad,
 Kind<F,? extends T> value1)

with

static <F extends Kind<F,
?>,
T> Apply1<F,T> with(Applicative<F> applicative,
 Kind<F,? extends T> value1)