haskell 奎因 : "ap" Monad

Question

在 Haskell 中使用“ap”monad 的正确方法是什么？我想做类似的事情:

main = (putStr . ap (++) show) "main = (putStr . ap (++) show) "

但我收到错误“不在范围内:'ap'。”

使用“import Control.Monad”没有任何作用。我已经尝试过给予它

"ap :: Monad m => m (a -> b) -> m a -> m b" 

然后我得到“‘ap’的类型签名缺少附带的绑定(bind)”

Answer 1

导入Control.Monad应该给你ap 。但是，在除最新版本的 GHC(7.6.1 及更高版本)之外的所有版本中，您还需要导入 Control.Monad.Instances使用函数的 monad 实例。

或者，您可以导入 Control.Applicative这给你 <*>运算符，即 ap概括为Applicative ，以及将其与函数一起使用的必要实例。