scalaz 中常见的类型类实例在哪里？

Question

我正在尝试了解 scalaz 的组织方式，并且我想知道常见的 monad（或其他类型类）实例（如 Monad[Int]、Monad[List] ...）在哪里定义。

以 Monad[List] 为例。我看到 scalaz.std 模块包含 ListInstances 特征，其中包含列表的某些类型类实例的隐式值，例如 Monoid[List]。这个隐含的值定义了 monoid 列表实例的 append 函数。

有没有地方可以找到 Monad[List] 的隐式值，它定义了列表的点和绑定？

Answer 1

在这里您可以找到Monad 实例和其他实例，例如Monoid for List：ListInstances。如您所见，没有Monad[List] 实例，而是MonadPlus[List] 实例。 MonadPlus 是 Monad 加上 ApplicativePlus（没有双关语）。

一般来说，有一个trait、AllInstances，混合在所有实例中，你可以找到它here。