Package com.github.tonivade.purefun.transformer

Interface Kleisli<F extends Kind<F,?>,Z,A>

All Superinterfaces:

Bindable<Kleisli<F,Z,?>,A>, Kind<Kleisli<F,Z,?>,A>, KleisliOf<F,Z,A>, Mappable<Kleisli<F,Z,?>,A>

public non-sealed interface Kleisli<F extends Kind<F,?>,Z,A>
extends KleisliOf<F,Z,A>, Bindable<Kleisli<F,Z,?>,A>

Method Summary

Modifier and Type	Method	Description
default <R> Kleisli<F,Z,R>	andThen(Kind<Kleisli<F,Z,?>,? extends R> next)
default <B> Kleisli<F,Z,B>	compose(Kleisli<F,A,B> other)
static <F extends Kind<F, ?>, Z> Kleisli<F,Z,Z>	env(Monad<F> monad)
default <R> Kleisli<F,Z,R>	flatMap(Function1<? super A,? extends Kind<Kleisli<F,Z,?>,? extends R>> map)
static <F extends Kind<F, ?>, A, B> Kleisli<F,A,B>	lift(Monad<F> monad, Function1<? super A,? extends B> map)
default <X> Kleisli<F,X,A>	local(Function1<? super X,? extends Z> map)
default <R> Kleisli<F,Z,R>	map(Function1<? super A,? extends R> map)
Monad<F>	monad()
static <F extends Kind<F, ?>, A, B> Kleisli<F,A,B>	of(Monad<F> monad, Function1<? super A,? extends Kind<F,? extends B>> run)
static <F extends Kind<F, ?>, A, B> Kleisli<F,A,B>	pure(Monad<F> monad, B value)
Kind<F,A>	run(Z value)

Methods inherited from interface com.github.tonivade.purefun.Kind

fix, kind

Method Details

monad

Monad<F> monad()

run

Kind<F,A> run(Z value)

map

default <R> Kleisli<F,Z,R> map(Function1<? super A,? extends R> map)

Specified by:

map in interface Bindable<F extends Kind<F,?>,Z>

Specified by:

map in interface Mappable<F extends Kind<F,?>,Z>

flatMap

default <R> Kleisli<F,Z,R> flatMap(Function1<? super A,? extends Kind<Kleisli<F,Z,?>,? extends R>> map)

Specified by:

flatMap in interface Bindable<F extends Kind<F,?>,Z>

andThen

default <R> Kleisli<F,Z,R> andThen(Kind<Kleisli<F,Z,?>,? extends R> next)

Specified by:

andThen in interface Bindable<F extends Kind<F,?>,Z>

compose

default <B> Kleisli<F,Z,B> compose(Kleisli<F,A,B> other)

local

default <X> Kleisli<F,X,A> local(Function1<? super X,? extends Z> map)

lift

static <F extends Kind<F,
?>,
A,
B> Kleisli<F,A,B> lift(Monad<F> monad,
 Function1<? super A,? extends B> map)

env

static <F extends Kind<F,
?>,
Z> Kleisli<F,Z,Z> env(Monad<F> monad)

pure

static <F extends Kind<F,
?>,
A,
B> Kleisli<F,A,B> pure(Monad<F> monad,
 B value)

of

static <F extends Kind<F,
?>,
A,
B> Kleisli<F,A,B> of(Monad<F> monad,
 Function1<? super A,? extends Kind<F,? extends B>> run)