没有使用 `mappend' 产生 (Monoid [Char]) 的实例

Question

与你一起学习 Haskell 函子应用函子和幺半群章节并面临一个新问题，我的代码在这里，即使我试图解决我无法解决的问题，我的代码在这里：

class Monoid m where  
    mempty :: m  
    mappend :: m -> m -> m  

instance Monoid a => Monoid (Maybe a) where  
    mempty = Nothing  
    Nothing `mappend` m = m  
    m `mappend` Nothing = m  
    Just m1 `mappend` Just m2 = Just (m1 `mappend` m2)  

main = print $ Nothing `mappend` Just "andy" 

这是我收到的错误消息：

  No instance for (Monoid [Char]) arising from a use of `mappend'
    Possible fix: add an instance declaration for (Monoid [Char])
    In the second argument of `($)', namely
      `Nothing `mappend` Just "andy"'
    In the expression: print $ Nothing `mappend` Just "andy"
    In an equation for `main':
        main = print $ Nothing `mappend` Just "andy")

提前谢谢你，塔马斯

Answer 1

您的代码没有为Monoid [a] 提供定义（列表的类型无关紧要）。通常，您将导入Data.Monoid，其中为您定义了类Monoid 和许多有用的实例。但是，编写一个实例来解决您的直接问题是微不足道的。 mappend 两个列表是什么意思？您只需连接两个列表。

instance Monoid [a] where
    mempty = []
    l1 `mappend` l2 = l1 ++ l2

现在您有了完全实现Monoid (Maybe [a]) 定义所需的Monoid [a] 实例。