|Maintainer||Uwe Schmidt (uwe\@fh-wedel.de)|
Implementation of list arrows with a state
list arrow combined with a state
conversion of state list arrows into arbitray other list arrows.
allows running a state list arrow within another arrow:
... >>> fromSLA 0 (... setState ... getState ... ) >>> ...
runs a state arrow with initial state 0 (e..g. an Int) within another arrow sequence