public class State<S,A>
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static <S,A> State<S,A> |
constant(A a) |
A |
eval(S s) |
S |
exec(S s) |
<B> State<S,B> |
flatMap(F<A,State<S,B>> f) |
static <S,B,C> State<S,C> |
flatMap(State<S,B> mb,
F<B,State<S,C>> f) |
State<S,S> |
gets() |
static <S,A> State<S,A> |
gets(F<S,A> f) |
static <S> State<S,S> |
init() |
<B> State<S,B> |
map(F<A,B> f) |
<B> State<S,B> |
mapState(F<P2<S,A>,P2<S,B>> f) |
static <S> State<S,Unit> |
modify(F<S,S> f) |
static <S> State<S,Unit> |
put(S s) |
P2<S,A> |
run(S s) |
static <S,A> State<S,List<A>> |
sequence(List<State<S,A>> list)
Evaluate each action in the sequence from left to right, and collect the results.
|
static <S,A,B> State<S,List<B>> |
traverse(List<A> list,
F<A,State<S,B>> f)
Map each element of a structure to an action, evaluate these actions from left to right
and collect the results.
|
static <S,A> State<S,A> |
unit(F<S,P2<S,A>> f) |
static <S> State<S,S> |
units(F<S,S> f) |
State<S,A> |
withs(F<S,S> f) |