¤ serCompLeftToRightF, serCompRightToLeftF

Plumbing: turning parallel compositions into serial compositions

Types

serCompLeftToRightF :: F (a  b) (b  c) -> F a c
serCompRightToLeftF :: F (a  b) (c  a) -> F b c

Description

Alternative serial composition combinators.

The following equations hold:

 	left>==<right
=	serCompF left right
=	serCompRightToLeftF (left>+<right)
=	serCompLeftToRightF (right>+<left)

See Also

>+<, >==<.