com.github.tonivade.purefun.monad

Class Kleisli<F extends Kind,Z,A>

java.lang.Object

com.github.tonivade.purefun.monad.Kleisli<F,Z,A>

All Implemented Interfaces:

FlatMap3<Kleisli.µ,F,Z,A>, Higher1<Higher1<Higher1<Kleisli.µ,F>,Z>,A>, Higher2<Higher1<Kleisli.µ,F>,Z,A>, Higher3<Kleisli.µ,F,Z,A>, Kind, Mappable<Higher1<Higher1<Kleisli.µ,F>,Z>,A>

public final class Kleisli<F extends Kind,Z,A>
extends java.lang.Object
implements FlatMap3<Kleisli.µ,F,Z,A>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Kleisli.µ

Method Summary

Modifier and Type	Method and Description
<B> Kleisli<F,Z,B>	compose(Kleisli<F,A,B> other)
<R> Kleisli<F,Z,R>	flatMap(Function1<A,? extends Higher3<Kleisli.µ,F,Z,R>> map)
static <F extends Kind,A,B> Kleisli<F,A,B>	lift(Monad<F> monad, Function1<A,B> map)
<X> Kleisli<F,X,A>	local(Function1<X,Z> map)
<R> Kleisli<F,Z,R>	map(Function1<A,R> map)
static <F extends Kind,A,B> Kleisli<F,A,B>	narrowK(Higher1<Higher1<Higher1<Kleisli.µ,F>,A>,B> hkt)
static <F extends Kind,A,B> Kleisli<F,A,B>	narrowK(Higher2<Higher1<Kleisli.µ,F>,A,B> hkt)
static <F extends Kind,A,B> Kleisli<F,A,B>	narrowK(Higher3<Kleisli.µ,F,A,B> hkt)
static <F extends Kind,A,B> Kleisli<F,A,B>	of(Monad<F> monad, Function1<A,Higher1<F,B>> run)
Higher1<F,A>	run(Z value)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

run

public Higher1<F,A> run(Z value)

map

public <R> Kleisli<F,Z,R> map(Function1<A,R> map)

Specified by:

map in interface Mappable<Higher1<Higher1<Kleisli.µ,F extends Kind>,Z>,A>

flatMap

public <R> Kleisli<F,Z,R> flatMap(Function1<A,? extends Higher3<Kleisli.µ,F,Z,R>> map)

Specified by:

flatMap in interface FlatMap3<Kleisli.µ,F extends Kind,Z,A>

compose

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

local

public <X> Kleisli<F,X,A> local(Function1<X,Z> map)

lift

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

of

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

narrowK

public static <F extends Kind,A,B> Kleisli<F,A,B> narrowK(Higher3<Kleisli.µ,F,A,B> hkt)

narrowK

public static <F extends Kind,A,B> Kleisli<F,A,B> narrowK(Higher2<Higher1<Kleisli.µ,F>,A,B> hkt)

narrowK

public static <F extends Kind,A,B> Kleisli<F,A,B> narrowK(Higher1<Higher1<Higher1<Kleisli.µ,F>,A>,B> hkt)