?未标记列表F
管道:无标记平行组合类型
未标记列表F::[F类 一 b] ->F类 一 b
剧情简介
UnggedListF软糖
描述
未标记列表F
创建一个无标记的fudget列表的并行组合。
输入
输入消息将广播到合成中的所有软糖。输出
输出消息可以来自合成中的任何软凑。
论据
软糖:: [F类 一 b]
- 一系列软糖。
平等
以下等式成立(除了低水平的标记消息可能不同)。左侧可能更多高效。
untaggedListF=foldr(>*<)nullF
另请参见
- 二进制无标记并行组合:>*<.
- 带标签的软糖列表的并行合成:列表F.