Options.Applicative、(<>)和Monoid类型类

Question

我正在学习Haskell。我正在导入Options.Applicative模块，如下所示：

import Options.Applicative ((<>), Parser)
import qualified Options.Applicative as P

但是，这将返回

Module ‘Options.Applicative’ does not export ‘(<>)’

这有什么问题呢？这个documentation表明这应该是可能的。

Answer 1

您需要将(<>)作为Options.Applicative doesn't actually re-export it从Data.Monoid或Data.Semigroup导入。验证这一点的一种快速方法是检查the "<" page in the documentation index，如果它被重新导出，它将包括(<>)。

附注:虽然目前的自述文件确实有点误导，但缺失的导入已经是added upstream at GitHub了，所以当下一个版本的包发布时，它将被修复。

Answer 2

(<>)在Data.Monoid中，而不是Options.Applicative中。它是mappend的中缀同义词。