·列表F
卫浴:标记的平行合成类型
列表F::Eq一=> [(一,F b c)] ->F(一,b) (一,c)
简介
listF标签
说明
福吉特列表F
并行操作,独立于一个另一个。来自个人的高级输出流fudget被标记并合并成一个流。输入流,必须贴上标签,然后分头喂给适当的福吉。
输入
留言(标签,消息)
被送到福吉特那里了标签
.输出
留言(标签,消息)
是从被贴上标签的福吉特来的标签
.
论据
加了标签的福吉:: [(一,F b c)]
- 有标签的福吉的名单。同一标记不应在列表中出现多次。
另请参见
- 二进制标记并行合成:>+<.
- 无标记的平行组成一个名单的福吉特:未标记的.
- 被标记的福吉树的平行构图:树.