View source

abstract AsyncState<X, A>(X ‑> Task<Pair<A, X>>)

package interlude.ds

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

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

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

See also:

Static methods

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

staticasAsyncState<X, A>(a:A):AsyncState<X, A>

staticeval<X, A>(s:AsyncState<X, A>, x:X):Task<A>

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

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

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

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

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

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

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

staticrun<X, A>(s:AsyncState<X, A>, x:X):Task<X>

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

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

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