¤ loopCompThroughRightF, loopCompThroughLeftF

Plumbing: turn parallel compositions into loops


loopCompThroughRightF :: F ((a  b)  c) ((c  d)  a) -> F b d
loopCompThroughLeftF :: F (a  (b  c)) (b  (a  d)) -> F c d


Variants of loopThroughRightF. The argument is usually a parallel composition of two fudgets.


  loopThroughRightF f1 f2 = loopCompThroughRightF (f1>+<f2)

See Also

Other loop combinators: loopThroughRightF et al.

Other combinators that operate on parallel compositions: serCompRightToLeftF et al.