Control.Arrow.StateListArrow

Description

Version : $Id: StateListArrow.hs,v 1.7 20050902 17:09:39 hxml Exp $

Implementation of list arrows with a state

Synopsis

newtype SLA s a b = SLA {

runSLA :: (s -> a -> (s, [b]))

}

fromSLA :: ArrowList a => s -> SLA s b c -> a b c

Documentation

newtype SLA s a b

list arrow combined with a state

Constructors

SLA

runSLA :: (s -> a -> (s, [b]))

Instances

Arrow (SLA s)

ArrowApply (SLA s)

ArrowChoice (SLA s)

ArrowPlus (SLA s)

ArrowZero (SLA s)

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 0.8