¤ untaggedListF

Plumbing: untagged parallel composition

Types

untaggedListF :: [F a b] -> F a b

Synopsis

untaggedListF fudgets

Description

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.

Arguments

fudgets :: [F a b]
a list of fudgets.

Equalities

The following equality holds (except that the tagging of low level messages may be different). The left hand side is likely to be more efficient.

  untaggedListF = foldr (>*<) nullF

See Also