Control.Arrow.SP

A continuation-based monadic stream processor implemented as an Arrow.

References:

• John Hughes, "Generalising Monads to Arrows": http://www.cs.chalmers.se/~rjmh/Papers/arrows.pdf
• Magnus Carlsson, Thomas Hallgren, "Fudgets--Purely Functional Processes with applications to Graphical User Interfaces": http://www.cs.chalmers.se/~hallgren/Thesis/

Documentation

data SP m i o

A generic stream processor.

Constructors

Put o (SP m i o)

Get (i -> SP m i o)

Block (m (SP m i o))

Instances

Monad m => Arrow (SP m)

Monad m => ArrowZero (SP m)

Monad m => ArrowPlus (SP m)

Monad m => ArrowChoice (SP m)

Monad m => ArrowLoop (SP m)

Monad m => Category (SP m)

runSP :: Monad m => SP m () () -> m ()

Evaluate a stream processor.

mapSP :: Monad m => (i -> m o) -> SP m i o

Use a monadic transformer to map a stream.

module Control.Arrow