Package com.github.tonivade.purefun.transformer

Interface StateT<F extends Kind<F,?>,S,A>

All Superinterfaces:

Bindable<StateT<F,S,?>,A>, Kind<StateT<F,S,?>,A>, Mappable<StateT<F,S,?>,A>, StateTOf<F,S,A>

public non-sealed interface StateT<F extends Kind<F,?>,S,A>
extends StateTOf<F,S,A>, Bindable<StateT<F,S,?>,A>

Method Summary

Modifier and Type	Method	Description
default <R> StateT<F,S,R>	andThen(Kind<StateT<F,S,?>,? extends R> next)
default Kind<F,A>	eval(S state)
default <R> StateT<F,S,R>	flatMap(Function1<? super A,? extends Kind<StateT<F,S,?>,? extends R>> map)
static <F extends Kind<F, ?>, S> StateT<F,S,S>	get(Monad<F> monad)
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	inspect(Monad<F> monad, Function1<S,A> mapper)
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	lift(Monad<F> monad, Function1<S,Tuple2<S,A>> run)
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	lift(Monad<F> monad, Kind<F,A> value)
default <R> StateT<F,S,R>	map(Function1<? super A,? extends R> map)
static <F extends Kind<F, ?>, S, A, B, C> StateT<F,S,C>	map2(StateT<F,S,? extends A> sa, StateT<F,S,? extends B> sb, Function2<? super A,? super B,? extends C> mapper)
default <G extends Kind<G, ?>> StateT<G,S,A>	mapK(Monad<G> other, FunctionK<F,G> functionK)
static <F extends Kind<F, ?>, S> StateT<F,S,Unit>	modify(Monad<F> monad, Operator1<S> mapper)
Monad<F>	monad()
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	of(Monad<F> monad, Function1<S,Kind<F,Tuple2<S,A>>> run)
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	pure(Monad<F> monad, A value)
Kind<F,Tuple2<S,A>>	run(S state)
static <F extends Kind<F, ?>, S> StateT<F,S,Unit>	set(Monad<F> monad, S value)
static <F extends Kind<F, ?>, S, A> StateT<F,S,A>	state(Monad<F> monad, Function1<S,Kind<F,Tuple2<S,A>>> run)
static <F extends Kind<F, ?>, S, A> StateT<F,S,Sequence<A>>	traverse(Monad<F> monad, Sequence<StateT<F,S,A>> states)

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

fix, kind

Method Details

monad

Monad<F> monad()

run

Kind<F,Tuple2<S,A>> run(S state)

eval

default Kind<F,A> eval(S state)

map

default <R> StateT<F,S,R> map(Function1<? super A,? extends R> map)

Specified by:

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

Specified by:

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

flatMap

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

Specified by:

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

andThen

default <R> StateT<F,S,R> andThen(Kind<StateT<F,S,?>,? extends R> next)

Specified by:

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

mapK

default <G extends Kind<G,
?>> StateT<G,S,A> mapK(Monad<G> other,
 FunctionK<F,G> functionK)

state

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> state(Monad<F> monad,
 Function1<S,Kind<F,Tuple2<S,A>>> run)

lift

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> lift(Monad<F> monad,
 Kind<F,A> value)

lift

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> lift(Monad<F> monad,
 Function1<S,Tuple2<S,A>> run)

pure

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> pure(Monad<F> monad,
 A value)

get

static <F extends Kind<F,
?>,
S> StateT<F,S,S> get(Monad<F> monad)

set

static <F extends Kind<F,
?>,
S> StateT<F,S,Unit> set(Monad<F> monad,
 S value)

modify

static <F extends Kind<F,
?>,
S> StateT<F,S,Unit> modify(Monad<F> monad,
 Operator1<S> mapper)

inspect

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> inspect(Monad<F> monad,
 Function1<S,A> mapper)

traverse

static <F extends Kind<F,
?>,
S,
A>
StateT<F,S,Sequence<A>> traverse(Monad<F> monad,
 Sequence<StateT<F,S,A>> states)

map2

static <F extends Kind<F,
?>,
S,
A,
B,
C>
StateT<F,S,C> map2(StateT<F,S,? extends A> sa,
 StateT<F,S,? extends B> sb,
 Function2<? super A,? super B,? extends C> mapper)

of

static <F extends Kind<F,
?>,
S,
A> StateT<F,S,A> of(Monad<F> monad,
 Function1<S,Kind<F,Tuple2<S,A>>> run)