？serCompLeftToRightF，serCompRightToLeftF

管道：将平行组合转换为串行组合

类型

serCompLeftToRightF:：F类(一 ⊕ b)(b ⊕ c（c）) ->F类 一 c（c）serCompRightToLeftF:：F类(一 ⊕ b)(c（c） ⊕ 一) ->F类 b c（c）

描述

替代序列组合器。

以下方程式成立：

左>==<右=serCompF左右=serCompRightToLeftF（左>+<右）=serCompLeftToRightF（右>+<左）

另请参见

>+<,>==<.