Haskell(.:)运算符在哪里定义？

Question

显然,((.).(.))运营商的通用名称是(.:).在哪里(.:)定义？或者我必须自己定义？

Answer 1

您可以在合成库中找到它,以及其他更高阶的函数合成.此运算符未定义base.如果您不想将(非常小的)包添加为依赖项,那么只需自己定义它,尽管我会使用更通用的版本fmap:

(.:) :: (Functor f, Functor g) => (a -> b) -> f (g a) -> f (g b)
(.:) = fmap fmap fmap

这只是fmap通过两层仿函数的功能.对于功能,这三个都是fmap专门的(.).