构建与SBT一起使用的ZIO和http4s应用程序，并因Bazel失败：缺少隐式

问题描述

我正在尝试构建一个将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,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中使用。到目前为止，我有两个假设：

• 我错过了需要在某个地方显式指定的依赖项，当使用sbt构建时，它位于类路径中，而在Bazel中则丢失了
• 这整个过程取决于宏，我知道在我的设置中可能会有问题

因此，我有一个基本的问题：有人可以对正在发生的魔力大开眼界，这种魔力可以使编译器找到上面示例代码中传递给compile的正确隐式吗？

解决方法

将from pyspark.sql.functions import col join_condition = [dpi_data.seconds >= dpi_sessions.start,dpi_data.seconds <= dpi_sessions.end] # We join and select target columns,renaming 'user1' or 'user2' back to 'user' dpi_data_sessions = dpi_data.join(dpi_sessions,join_condition)\ .select(col("user1").alias("user"),col("seconds"),col("key").alias("out")) dpi_data_sessions.show() #+------+-------+------+ #| user|seconds| out| #+------+-------+------+ #|272927| 31924| Paid| #|272927| 32000| Paid| #|272927| 45000|Unpaid| #|272927| 78000|Unpaid| #|272927| 79000|Unpaid| #+------+-------+------+ 添加到-Ypartial-unification。一般而言，缺少此标志是Cats，Scalaz，ZIO和类型级别繁重代码的主要违法者。或者，如果可以的话，迁移到2.13，此标志的行为更改为始终启用（并且标志本身已删除）。