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

Question

我正在尝试理解scalaz的组织方式，我想知道Monad [Int]，Monad [List]等公共monad（或其他类型类）实例的定义。

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

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

Answer 1

您可以在此处找到Monad实例以及Monoid List的其他实例，例如Monad[List]：ListInstances。正如您所看到的那样，没有MonadPlus[List]个实例，而是MonadPlus个实例。 Monad是ApplicativePlus加trait（无双关语）。

一般情况下，AllInstances，GridView会混合所有实例，您可以找到here。