data SP a b = PutSP b (SP a b) | GetSP (a -> SP a b) | NullSP instance StreamProcIO SP instance Show b => Show (SP a b)
SP is the type for stream processors.
SP i o is a stream processor which reads messages of type
from its input stream and writes messages of type
o to its output
Basic stream processor constructors: putSP, getSP, nullSP.
Derived stream processor constructors: mapSP, filterSP et al.
Stream processor combinators: compEitherSP, serCompSP, loopSP et al.