¤ compF, >+<

Types

compF :: F a b -> F c d -> F (Either a c) (Either b d)
>+< :: F a b -> F c d -> F (Either a c) (Either b d)
infixl 5 >+<

Synopsis

compF fl fr

type Either = ??

Description

Fudgets composed with compF operate in parallel, indepdenetly of one another. The high level output streams from the individual fudgets are tagged and merged into a single stream. The input stream, which must be tagged, is split up and fed to the appropriate fudget.

>+< is an infix version of compF.

Input

Messages tagged Left and Right are sent to the left and right fudgets, respectively.

Output

Messages from the left and right fudgets are tagged Left and Right, respectively.

Arguments

fl :: F a b: left fudget.
fr :: F c d: right fudget.