Question

我有一个类型，定义如下：

import scalaz._, Scalaz._
case class MyInt(i : Int)

我想创建一个Semigroup的实例。我试过这个：

object MyInt {
  implicit def myIntSemigroup: Semigroup[MyInt] = new Semigroup[MyInt] {                                                                                                                                                                       
    def append(a: MyInt, b: MyInt) : MyInt = MyInt(a.i + b.i)
  }
}

当我运行sbt console时，我收到此错误：

[info] Set current project to hello (in build file:/home/mp/code/scala/examples/semigroup/)
[info] Compiling 1 Scala source to /home/mp/code/scala/examples/semigroup/target/scala-2.10/classes...
[error] /home/mp/code/scala/examples/semigroup/src/main/scala/Main.scala:6: object creation impossible, since method append in trait Semigroup of type (f1: MyInt, f2: => MyInt)MyInt is not defined
[error]   implicit def myIntSemigroup: Semigroup[MyInt] = new Semigroup[MyInt] {                                                                                                                                                               
[error]                                                       ^   
[error] one error found
[error] (compile:compile) Compilation failed
[error] Total time: 5 s, completed 25-Jun-2015 08:15:37

如何MyInt成为Semigroup所以我可以使用|+|？

为了完整性，这是我的build.sbt文件：

name := "hello"
version := "1.0"
scalaVersion := "2.10.5"
libraryDependencies += "org.scalaz" %% "scalaz-core" % "7.1.3"

Answer 1

如果仔细查看Scalaz半群的签名，第二个参数将按名称定义，而在实现中，您具有不同的签名。将您的第二个参数更改为b: => MyInt，它应该编译

如何将scala case类声明为Scalaz Semigroup的实例？

1 个答案: