它可以引用`Data.Monoid。<>

Question

我有以下声明：

data Two a b = Two a b deriving (Eq, Show)

instance (Semigroup a, Semigroup b) => Semigroup (Two a b) where
  (Two a b) <> (Two c d) = Two (a <> c) (b <> d)

并在前奏中尝试过：

*Main First Lib MonoidLaws Semi>   (Two a b) <> (Two c d) = Two (a <> c) (b <> d)

<interactive>:10:3: error:
    * Occurs check: cannot construct the infinite type: t1 ~ Two t1 t1
      Expected type: t1 -> t -> b
        Actual type: Two t1 t1 -> Two t t -> Two b b
    * Relevant bindings include
        (<>) :: t1 -> t -> b (bound at <interactive>:10:3)

如何使用mappend功能从Semigroup的Two在前奏数据类型？

Answer 1

尝试使用Semigroup实例的东西，例如List 。

例如：

> (Two "1" "2") <> (Two "3" "4")

Two "13" "24"

在您的尝试/示例中，未定义a和b ， c和d ，因此Haskell将其视为变量。 因为您在它们之间使用= ，所以假设您要进行模式匹配，因此它试图将它们与自身进行匹配，这将导致无限循环（因为这完全有效，Haskell –根据自身定义值）。 但是，这将导致错误，因为这将暗示一个无限类型 ，这显然不是您想要的。

可能应该从一些简单的事情开始。 我帮助作者撰写的一本不错的基础书是http://happylearnhaskelltutorial.com，但是它与实例化您自己的类型类无关。 话虽如此，它可以使您对模式匹配，变量，类型和值有一个相当好的了解，然后再继续理解足以构建自己的实例的类型类。