View source

abstract State<X, A>((state:X) ‑> Pair<A, X>)

package interlude.ds

from X ‑> Pair<A, X> to X ‑> Pair<A, X>

@:nullSafety(Strict)@:forward@:callable

A type of function that takes an initial state X, and produces an output value A and a new state

See also:

Static methods

staticap<X, A, B>(fn:State<X, A ‑> B>, s:State<X, A>):State<X, B>

staticinlineasState<X, A>(a:A):State<X, A>

staticeval<X, A>(s:State<X, A>, x:X):A

staticfilter<X, A>(s:State<X, A>, predicate:X ‑> Bool):State<X, Option<A>>

staticfilterFMap<X, A, B>(s:State<X, A>, predicate:X ‑> Bool, fn:A ‑> State<X, B>):State<X, Option<B>>

staticfilterMap<X, A, B>(s:State<X, A>, predicate:X ‑> Bool, fn:A ‑> B):State<X, Option<B>>

staticflatMap<X, A, B>(s:State<X, A>, fn:A ‑> State<X, B>):State<X, B>

staticflatten<X, A>(s:State<X, State<X, A>>):State<X, A>

staticlocal<X, A>(s:State<X, A>, fn:X ‑> X):State<X, A>

staticmap<X, A, B>(s:State<X, A>, fn:A ‑> B):State<X, B>

staticrun<X, A>(s:State<X, A>, x:X):X

staticinlinetoAsyncState<X, A>(s:State<X, A>):AsyncState<X, A>

staticzip<X, A, B>(sa:State<X, A>, sb:State<X, B>):State<X, Pair<A, B>>

staticzipWith<X, A, B, Z>(sa:State<X, A>, sb:State<X, B>, fn:(A, B) ‑> Z):State<X, Z>

staticzipWith3<X, A, B, C, Z>(sa:State<X, A>, sb:State<X, B>, sc:State<X, C>, fn:(A, B, C) ‑> Z):State<X, Z>