·列表F

卫浴：标记的平行合成

类型

列表F:：Eq一=> [(一,F b c)] ->F(一,b) (一,c)

简介

listF标签

说明

福吉特列表F并行操作，独立于一个另一个。来自个人的高级输出流fudget被标记并合并成一个流。输入流，必须贴上标签，然后分头喂给适当的福吉。

输入

留言（标签，消息）被送到福吉特那里了标签.

输出

留言（标签，消息）是从被贴上标签的福吉特来的标签.

论据

加了标签的福吉:: [(一,F b c)]
有标签的福吉的名单。同一标记不应在列表中出现多次。

另请参见