该(.)运营商有签名:
(.) :: (b -> c) -> (a -> b) -> a -> c
(.) f g x = f $ g x
这看起来有点类似于带有一个g的原始递归函数中的组合函数.
我对扩展g -functions 的数量感兴趣,但是(多个)函数将(.)函数应用于g具有多个操作数的函数.换句话说,像:
(..) :: (c -> d) -> (a -> b -> c) -> a -> b -> d
(..) f g x y = f $ g x y
在Hoogle上搜索不会产生任何功能.是否有一个包可以处理任意数量的操作数？