构建一个 ZIO 和 http4s 应用程序,与 sbt 一起工作,但与 Bazel 一起失败:缺少隐式

Building a ZIO and http4s app, works with sbt, fails with Bazel: missing an implicit

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

起点是this example(它使用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 设置:我正在使用 higherkindness 中的 rules_scala 和一个 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 中工作。到目前为止我有两个假设:

因此,我有一个基本问题:任何人都可以阐明让编译器在上面的示例代码中找到要传递给 compile 的正确隐式的魔法吗?

-Ypartial-unification 添加到 scalacOptions。通常,缺少此标志是 Cats、Scalaz、ZIO 和 type-level-heavy 代码中的主要罪魁祸首。或者,如果可以的话,迁移到 2.13,其中此标志的行为已更改为始终打开(并且标志本身已删除)。