Plumbing: untagged parallel composition
untaggedListF :: [F a b] -> F a b
untaggedListF creates an untagged parallel composition of a list of fudgets.
Input Input messages are broadcast to all fudgets in the composition.
Output Output messages can come from any fudget in the composition.
fudgets :: [F a b]
- a list of fudgets.
The following equality holds (except that the tagging of low level
messages may be different). The left hand side is likely to be more
untaggedListF = foldr (>*<) nullF
- Binary untagged parallel composition: >*<.
- Tagged parallel composition of a list of fudgets: listF.