Copyright	(c) 2007 by Shawn Garbett and Peter Simons
License	BSD3
Maintainer	simons@cryp.to
Stability	provisional
Portability	portable
Safe Haskell	Safe
Language	Haskell98

Control.Arrow.SP

Description

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

References:

John Hughes, "Generalising Monads to Arrows": http://www.ittc.ku.edu/Projects/SLDG/filing_cabinet/Hughes_Generalizing_Monads_to_Arrows.pdf
Magnus Carlsson, Thomas Hallgren, "Fudgets--Purely Functional Processes with applications to Graphical User Interfaces": http://www.cs.chalmers.se/~hallgren/Thesis/

Synopsis

data SP m i o
- = Put o (SP m i o)
- | Get (i -> SP m i o)
- | Block (m (SP m i o))
runSP :: Monad m => SP m () () -> m ()
mapSP :: Monad m => (i -> m o) -> SP m i o
module Control.Arrow

Documentation

data SP m i o #

A generic stream processor.

Constructors

Instances

Monad m => Arrow (SP m) #
Instance details Defined in Control.Arrow.SP Methods arr :: (b -> c) -> SP m b c # first :: SP m b c -> SP m (b, d) (c, d) # second :: SP m b c -> SP m (d, b) (d, c) # (***) :: SP m b c -> SP m b' c' -> SP m (b, b') (c, c') # (&&&) :: SP m b c -> SP m b c' -> SP m b (c, c') #
Monad m => ArrowZero (SP m) #
Instance details Defined in Control.Arrow.SP Methods zeroArrow :: SP m b c #
Monad m => ArrowPlus (SP m) #
Instance details Defined in Control.Arrow.SP Methods (<+>) :: SP m b c -> SP m b c -> SP m b c #
Monad m => ArrowChoice (SP m) #
Instance details Defined in Control.Arrow.SP Methods left :: SP m b c -> SP m (Either b d) (Either c d) # right :: SP m b c -> SP m (Either d b) (Either d c) # (+++) :: SP m b c -> SP m b' c' -> SP m (Either b b') (Either c c') # (\|\|\|) :: SP m b d -> SP m c d -> SP m (Either b c) d #
Monad m => ArrowLoop (SP m) #
Instance details Defined in Control.Arrow.SP Methods loop :: SP m (b, d) (c, d) -> SP m b c #
Monad m => Category (SP m :: * -> * -> *) #
Instance details Defined in Control.Arrow.SP Methods id :: SP m a a # (.) :: SP m b c -> SP m a b -> SP m a c #

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.