Control.Arrow.ListArrow

Implementation of pure list arrows

Documentation

newtype LA a b

pure list arrow data type

Constructors

LA

Fields

runLA :: a -> [b]

Instances

Arrow LA

ArrowZero LA

ArrowPlus LA

ArrowChoice LA

ArrowApply LA

ArrowList LA

ArrowWNF LA

ArrowNF LA

ArrowIf LA

ArrowNavigatableTree LA

ArrowTree LA

ArrowDTD LA

ArrowXml LA

Category * LA

fromLA :: ArrowList a => LA b c -> a b c

conversion of pure list arrows into other possibly more complex list arrows