?idSP、filterSP等

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

类型

idSP::服务提供商 b条 b条过滤器SP::(b条->布尔)->服务提供商 b条 b条映射SP::(t吨->b条)->服务提供商 t吨 b条concatMapSP::(t吨->[b条]) ->服务提供商 t吨 b条mapAccumlSP::(t吨->-> (t吨,b条)) ->t吨->服务提供商  b条concatMapAccumlSP::(t吨->-> (t吨, [b条])) ->t吨->服务提供商  b条concatSP::服务提供商[b条]b条zipSP::[] ->服务提供商 b条(,b条)在元素SP::(->布尔)->Cont(续)(服务提供商  b条) []斩波SP::((b条->服务提供商  b条)->服务提供商  b条)->服务提供商  b条
幂等点SP:公式=>服务提供商  

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

描述

这些是一些常见的流处理器。国际数据服务提供商就是身份流处理器,即从其输入到输出的短路。映射SP f是输出的流处理器f x(f x)什么时候接收x个它的输入,因此相当于地图用于列表。

其他流处理器也等效于名称类似的列表函数。

另请参见

拆分SP