当我进行此导入时,如documentation
中所述import cats.std.all._
以下代码无法编译:
def merge(m1: Map[String, Int], m2: Map[String, Int]): Map[String, Int] = m1 |+| m2
我收到了这个错误:
value |+| is not a member of Map[String,Int]
当我删除导入时,它可以正常工作。 这是文档中的错误还是我可能错过了什么?
答案 0 :(得分:0)
config.generators.stylesheets = false
config.time_zone = 'Berlin'
被覆盖|+|
。只需从该lib导入只需要的内容。