如何使用 ZIO 配置处理 ADT（密封特征）

Question

如何为 代数数据类型[=]手动添加配置描述 35=] 与 ZIO Conf。

在 examples 中，我找到了一个关于如何使用 Magnolia[= 处理 ADTs 的示例35=]。

手动添加配置说明时是否也可以这样？

举个例子：

sealed trait Dance final case class A(any: Person) extends Dance final case class B(body: Height) extends Dance final case class Person(name: String, age: Option[Int]) final case class Height(height: Long)

与玉兰花:

val danceConfig = description[Dance]

手动：

val danceConfig = ???

Answer 1

如您所料，它很冗长。但是有不同的方法，这是一个偏好问题。

我们试图在这两个选项中比要求的更详细一些以便更好地理解

选项 1：

  val personConfig =
    (string("name") |@| int("age").optional)(Person.apply, Person.unapply)

  val heightConfig =
    long("height").xmap(Height)(_.height)

  val aConfig = nested("any")(personConfig).xmap(A)(_.any)
  val bConfig = nested("body")(heightConfig).xmap(B)(_.body)
  val cConfig = boolean("can").xmap(C)(_.can)
  val dConfig = string("dance").xmap(D)(_.dance)

  val danceConfig =
    aConfig
      .orElseEither(bConfig)
      .orElseEither(cConfig)
      .orElseEither(dConfig)
      .xmap({
        case Right(value) => value: Dance
        case Left(value) =>
          value match {
            case Right(value) => value: Dance
            case Left(value) =>
              value match {
                case Right(value) => value: Dance
                case Left(value)  => value: Dance
              }
          }
      })({
            case d @ D(_) => Right(d)
            case c @ C(_) => Left(Right(c))
            case b @ B(_) => Left(Left(Right(b)))
            case a @ A(_) => Left(Left(Left(a)))
          }
      )

写入端有点复杂，但都是类型驱动的。

选项 2

   val personConfig =
    (string("name") |@| int("age").optional)(Person.apply, Person.unapply)

  val heightConfig =
    long("height").xmap(Height)(_.height)

  val aConfig = nested("any")(personConfig).xmap(A)(_.any)
  val bConfig = nested("body")(heightConfig).xmap(B)(_.body)
  val cConfig = boolean("can").xmap(C)(_.can)
  val dConfig = string("dance").xmap(D)(_.dance)

  val aConfigAsDance =
    aConfig.xmapEither(a => Right(a: Dance))({
      case a: A => Right(a)
      case _    => Left("unable to write back") 
    })

  val bConfigAsDance =
    bConfig.xmapEither(a => Right(a: Dance))({
      case a: B => Right(a)
      case _    => Left("unsable to write back")
    })

  val cConfigAsDance =
    cConfig.xmapEither(a => Right(a: Dance))({
      case a: C => Right(a)
      case _    => Left("unsable to write back")
    })

  val dConigAsDance =
    dConfig.xmapEither(a => Right(a: Dance))({
      case a: D => Right(a)
      case _    => Left("unsable to write back")
    })

  val danceConfig =
    aConfigAsDance.orElse(bConfigAsDance).orElse(cConfigAsDance).orElse(dConigAsDance)

您可能已经注意到，在写入部分（xmapEither 的第二个参数）我们确保它是正确的类型。示例：在 aConfigAsDance 中，假设它只能是 A 并执行 asInstanceOf 是不安全的。

使用 xmapeither 我们能够编写安全和纯净的代码并且我们遵循它。

以后zio-config会提供一些辅助函数来处理Either。这是因为 ZIO-Config 的哲学是为用户提供尽可能不那么神奇的界面，同时您仍然可以使用 zio-config-magnolia 将它们缩短到只有一行，即

val danceConfig = description[Dance]

如果您有兴趣，很高兴在 zio-config 中恢复此示例。非常感谢这个问题，希望回答对你有帮助。

如何使用 ZIO 配置处理 ADT（密封特征）

How to handle an ADT (sealed trait) with ZIO config

scala

zio

zio-config