serCompF :: F a1 b -> F a2 a1 -> F a2 b >==< :: F a1 b -> F a2 a1 -> F a2 b
serCompF fl fr
serCompF
connects the output of one fudget
to the input of another fudget, and can be seen as ordinary function
composition adapted for fudgets.
>==<
is an infix version of serCompF
.
fl :: F a1 b
fr :: F a2 a1
Parallel composition: >+<.
The corresponding stream processor combinator: serCompSP.