scala - 如何找出当我在 scalaz 中使用 Monoid for Map 时会发生什么

Question

如何找到 Monoid 的所有实例.例如，如何知道是否存在 Monoid Map 的实例在斯卡拉？
如果是，它在源代码中的位置。
我尝试了以下但没有成功

@ implicitly[Monoid[Map[_, _]]]
Main.scala:1146: could not find implicit value for parameter e: scalaz.Monoid[Map[_, _]]
implicitly[Monoid[Map[_, _]]]
          ^
Compilation Failed

当我从 REPL 执行代码时，我怎么能看到会发生什么(隐式转换，...​​)，比如

Map("a", 1) |+| Map("a", 1)

Answer 1

没有办法找到一个类型类的所有实例。

专供Map这取决于值的类型，因为 Map[K, V] monoid 实例需要一个 Semigroup[V]实例。

您可以找到 Map 的代码的 Monoid在 scalaz.std.map .

您可以使用反射查看隐式转换:

import scalaz.std.map._
import scalaz.std.anyVal._
import scalaz.syntax.semigroup._

import scala.reflect.runtime.universe._

showCode(reify { Map("a" -> 1) |+| Map("a" -> 1)  }.tree)
// `package`.monoid.ToSemigroupOps(
//   Predef.Map.apply(Predef.ArrowAssoc("a").->(1)))
//   (map.mapMonoid(Predef.this.DummyImplicit.dummyImplicit, anyVal.intInstance))
//   .|+|(Predef.Map.apply(Predef.ArrowAssoc("a").->(1)))

工作中的 Scalaz 隐式是:

语法转换 ToSemigroupOps添加 |+|操作到Map .

Monoid Map[String, Int] 的实例它使用 Semigroup[Int]实例。