Scodec - Coproducts找不到参数auto: scodec.codecs.CoproductBuilderAuto的隐式值

Question

版本：

"org.typelevel" %% "scodec-core" % "1.5.0"

我正在尝试使用辅助产品功能，如测试用例演示如何将编解码器修复为已知的子类型。所示。

我一直收到错误：“无法为参数auto: scodec.codecs.CoproductBuilderAutomy.class.here”找到隐式值

我甚至复制粘贴了这个示例，但无法让它工作：

import scalaz.\/
import shapeless._
import scodec.bits._
import scodec.codecs._
import scodec._

sealed trait Sprocket
object Sprocket {
  implicit val discriminated: Discriminated[Sprocket, Int] = Discriminated(uint8)
}

def codec(d: Int): Codec[Sprocket] = Codec.coproduct[Sprocket].discriminatedBy(provide(d)).auto

我会继续在我的一端调查这个问题，但我想知道最近是否有一个问题解决了。我克隆了回购程序，它从克隆中成功了--但当我使用发布的版本时就不行了。

Answer 1

示例代码中的错误是由于没有定义任何Sprocket子类型造成的。如果至少有一个子类型的Sprocket，那么无形能够生成一个LabelledGeneric[Sprocket]实例，其中表示是一个受歧视的联合。联合是标记子类型的共同产物。

添加以下内容可解决错误：

case class Woozle(x: Int, y: Int) extends Sprocket
object Woozle {
  implicit val discriminator: Discriminator[Sprocket, Woozle, Int] = Discriminator(1)
  implicit val codec: Codec[Woozle] = (uint8 :: uint8).as[Woozle]
}

请注意，您需要同时使用discriminator和codec。如果没有定义discriminator，您将得到报告的错误。如果没有定义codec，您将得到一个发散的隐式错误。理论上，如果作用域中有一个隐式Woozle，那么可以自动导出Codec[Int]编解码器，但是scalac不能完成任务--相反，它会产生一个发散的隐式扩展错误。我们希望用无型2.1来改进这一点。

供参考，全文如下：

import scalaz.\/
import shapeless._
import scodec.bits._
import scodec.codecs._
import scodec._

sealed trait Sprocket
object Sprocket {
  implicit val discriminated: Discriminated[Sprocket, Int] = Discriminated(uint8)
}

case class Woozle(x: Int, y: Int) extends Sprocket
object Woozle {
  implicit val discriminator: Discriminator[Sprocket, Woozle, Int] = Discriminator(1)
  implicit val codec: Codec[Woozle] = (uint8 :: uint8).as[Woozle]
}

object Main extends App {
  def codec(d: Int): Codec[Sprocket] = Codec.coproduct[Sprocket].discriminatedBy(provide(d)).auto
}

和建造：

scalaVersion := "2.11.4"

libraryDependencies += "org.typelevel" %% "scodec-core" % "1.5.0"