如何為我的類型制作Monoid實例？

Question

我有以下類型：

data SomeType = Var String
    deriving (Eq,Show)

newtype TypeA = TypeA [(String, SomeType)]
  deriving (Eq,Show)

另外，我有一個功能：

fun1 :: TypeA -> TypeA -> TypeA

我可以將此功能用於mappend 。

我不明白如何在我的情況下實現Monoid接口。

Answer 1

如果您已經擁有fun1 ，只需添加一個實例：

instance Monoid TypeA where
   mempty = .... -- fill this with the neutral element
   mappend = fun1

可能您想要mempty = TypeA [] 。