4

我正在尝试构建一个集成 ZIO 和 http4s 的服务。

起点是这个例子（它使用 zio 1.0.1、http4s 0.21.3、scala 2.12.11）

我能够使用 构建下面的代码而没有任何问题sbt，但是在尝试使用 Bazel 构建时遇到了麻烦：

import org.http4s.HttpRoutes
import org.http4s.dsl.Http4sDsl
import org.http4s.implicits._
import org.http4s.server.blaze._
import zio._
import zio.interop.catz._
import zio.interop.catz.implicits._

object Hello1 extends App {

  val server: ZIO[ZEnv, Throwable, Unit] = ZIO.runtime[ZEnv]
    .flatMap {
      implicit rts =>
        BlazeServerBuilder[Task]
          .bindHttp(8080, "localhost")
          .withHttpApp(Hello1Service.service)
          .serve
          .compile
          .drain
    }

  def run(args: List[String]) =
    server.exitCode
}

Sbt 很高兴，但是当我用 Bazel 构建它时：

[Error] analytics/test-endpoint/Hello1.scala:20 could not find implicit value for parameter compiler: fs2.Stream.Compiler[[x]zio.ZIO[Any,Throwable,x],G]

关于 bazel 设置：我使用rules_scalafrom Higherkindness的BUILD文件如下：

scala_binary(
    name = "endpoint-bin",
    srcs = ["Hello1.scala", "Hello1Service.scala"],
    deps = [
        "//3rdparty/jvm/default/org/http4s:http4s_dsl",
        "//3rdparty/jvm/default/org/http4s:http4s_blaze_server",
        "//3rdparty/jvm/default/dev/zio:zio",
        "//3rdparty/jvm/default/dev/zio:zio_interop_cats",
        "//3rdparty/jvm/default/org/typelevel:cats_effect",
    ],
)

当涉及到隐式时，我并不太了解，我想知道“魔法酱”的哪一部分缺少让这个在 Bazel 中工作。到目前为止，我有两个假设：

  • 我错过了一个我需要在某处明确指定的依赖项，当使用 sbt 构建时它在类路径上，而在 Bazel 中丢失
  • 整个事情取决于宏，我知道这在我的设置中可能有问题

因此，我有一个基本问题：任何人都可以对正在发生的魔法有所启发，让编译器compile在上面的示例代码中找到正确的隐式传递给？

4

1 回答 1

3

添加-Ypartial-unification到scalacOptions. 缺少此标志是 Cats、Scalaz、ZIO 和一般类型级繁重代码中的主要问题。或者，如果可以的话，迁移到 2.13，此标志的行为已更改为始终打开（并且标志本身已删除）。

于 2020-09-03T17:55:57.117 回答