haskell - Haskell 在哪里 (. :) operator defined?

Question

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

Answer 1

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

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

这只是 fmap s 一个通过两层仿函数的函数。对于函数，所有这三个 fmap s专攻 (.) .