·idSP、filterSP等

一些常见列表处理函数的流处理器等价物

类型

idSP::服务提供商 b b过滤器:(b->布尔)->服务提供商 b bmapSP::(t->b) ->服务提供商 t bconcatMapSP::(t-> [b]) ->服务提供商 t bmapAccumlSP::(t->-> (t,b)) ->t->服务提供商  bconcatMapAccumlSP::(t->-> (t, [b])) ->t->服务提供商  b会议:服务提供商[b]bZIPP::[] ->服务提供商 b(,b)splitAtElemSP::(->布尔)->(服务提供商  b) []肖普:((b->服务提供商  b) ->服务提供商  b) ->服务提供商  b

类型  c = (->c) ->c

说明

这些是一些常见的流处理器。idSP系统是身份吗流处理器,即从输入到输出的短路。mapSP f公司是一个流处理器,它输出f x什么时候接收它的输入,因此相当于地图对于列表。

其他流处理器也相当于类似命名的列表函数。

另请参见

拆分