| |||||||||||
| |||||||||||
Description | |||||||||||
Version : $Id: StateListArrow.hs,v 1.7 20050902 17:09:39 hxml Exp $ Implementation of list arrows with a state | |||||||||||
Synopsis | |||||||||||
| |||||||||||
Documentation | |||||||||||
newtype SLA s a b | |||||||||||
| |||||||||||
fromSLA :: ArrowList a => s -> SLA s b c -> a b c | |||||||||||
conversion of state list arrows into arbitray other list arrows. allows running a state list arrow within another arrow: example: ... >>> fromSLA 0 (... setState ... getState ... ) >>> ... runs a state arrow with initial state 0 (e..g. an Int) within another arrow sequence | |||||||||||
Produced by Haddock version 2.1.0 |