compEitherSP :: SP a b -> SP c d -> SP (Either a c) (Either b d) compMsgSP :: SP a b -> SP c d -> SP (Message a c) (Message b d)
compEitherSP sp1 sp2
type Either = ??
data Message a b = Low a | High b
The below description is for compEitherSP
. compMsgSP
is the same,
except that it uses the type Message
instead of Either
.
Left
and Right
are sent to the left and right
stream processors, respectively.
Left
and Right
, respectively.
sp1 :: SP a b
sp2 :: SP c d
The corresponding fudget combinator: >+<.
Serial composition: serCompSP.