·树、树

类型

树::(,F b c) ->F(路径,b) (,c)数据=叶|树枝(树))(树)实例情商=>Eq(树)实例作战需求文件=>Ord(树)实例(显示,显示节点)=>显示(树 节点)

简介

treeF标记了

类型 路径= [方向]

说明

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

输入

留言(路径,消息)被送到了那个位置树由路径.

输出

留言(标签,消息)是从被贴上标签的福吉特来的标签.

论据

加了标签的福吉●树(,F b c)
一棵有标签的软糖树

另请参见

列表F,康普夫.