streamproc-1.4: Stream Processer Arrow

Portabilityportable
Stabilityprovisional
Maintainersimons@cryp.to

Control.Arrow.SP

Description

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

References:

Synopsis

Documentation

data SP m i o Source

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 ()Source

Evaluate a stream processor.

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

Use a monadic transformer to map a stream.