Haskell如何称呼Hom Functor/Monad？

Question

我希望在我的代码中使用它，并且不希望重复它，但由于它只涉及诸如“函数”或“组合”之类的大量通用单词，所以我无法通过搜索找到它。

更具体地说，我正在寻找

instance Functor (x->) where
    fmap f p = f . p

Answer 1

这是基本的阅读器(或环境) monad，通常称为((->) e)。(这是作为部分应用的函数而不是段编写的(e ->)；后一种语法在解析时会出现问题。)您可以通过导入Control.Monad.Reader或Control.Monad.Instances来获取。