loopCompThroughRightF, loopCompThroughLeftF

Types

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

Description

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

Equalities

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

See Also

Other loop combinators: loopThroughRightF et al.

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