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

>我如何找到Monoid的所有实例.例如,如何知道 scalaz中是否存在Map的Monoid实例？
如果是的话,它在源代码中的位置.
我试过以下没有成功

@ 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)

解决方法

>无法找到类型类的所有实例.

特别是对于Map,它取决于值的类型,因为Map [K,V] monoid实例需要Semigroup [V]实例.

你可以在scalaz.std.map找到Map’s Monoid的代码.
>您可以使用反射查看隐式转换：

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 [String,Int]的Monoid实例,它使用Semigroup [Int]实例.