-> Mod ArgumentFields ItemIndex ‘<$>’ (imported from Options.Applicative), ‘<|>’ (imported from Options.Applicative)
我得到的问题很可能是由于GHC和Optparse-applicative的
《Haskell Programming from First Principles》一书中有一个练习,要求我在Constant a上引用Applicative。Show)
fmap f (Constant x) = Constant x
pure _ = Constant mempty
我并不真正理解Applicative
有一个实例Monoid a => Monoid (Const a b)用于来自Control.Applicative的函子。还有一个实例Monoid m => Applicative (Const m)。
因此,我希望也有一个实例Monoid m => Alternative (Const m)与Monoid的实例相吻合。