斯卡拉:用于理解与读者内部的守卫

Question

下面是代码示例：

  type FailFast[A] = Either[List[String], A]
  import cats.instances.either._
  def f1:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Right(true))
  def f2:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Right(true))
  def fc:ReaderT[FailFast, Map[String,String], Boolean] =
    for {
      b1 <- f1
      if (b1)
      b2 <- f2
    } yield b2

错误是：

错误：(17， 13( 值与筛选器不是 的成员 cats.data.ReaderT[TestQ.this.FailFast，Map[String，String]，Boolean] B1 <- F1

如何用 f2 组合 f1。仅当 f1 返回 Right(true( 时，才必须应用 f2。我通过以下方式解决了它：

  def fc2:ReaderT[FailFast, Map[String,String], Boolean] =
    f1.flatMap( b1 => {
      if (b1)
        f2
      else ReaderT(_ => Right(true))
    })

但我希望有一个更优雅的解决方案。

Answer 1

1. 巨大的ReaderT[FailFast, Map[String, String], Boolean]类型很烦人。我用ConfFF快捷方式("地图配置的快速故障"(替换了它;你可能会找到一个更好的名字。
2. 如果需要，您仍然可以使用 for 理解语法。
3. 无需每次都写出所有_ =>和Right(...)，只需使用applicative中的适当pure即可。

因此，您的fc2变为：

  def fc3: ConfFF[Boolean] =
    for {
      b1 <- f1
      b2 <- if (b1) f2 else true.pure[ConfFF]
    } yield b2

完整代码：

import scala.util.{Either, Left, Right}
import cats.instances.either._
import cats.data.ReaderT
import cats.syntax.applicative._
object ReaderTEitherListExample {
  type FailFast[A] = Either[List[String], A]
  /** Shortcut "configured fail-fast" */
  type ConfFF[A] = ReaderT[FailFast, Map[String, String], A]
  def f1: ConfFF[Boolean] = ReaderT(_ => Right(true))
  def f2: ConfFF[Boolean] = ReaderT(_ => Right(true))
  def fc3: ConfFF[Boolean] =
    for {
      b1 <- f1
      b2 <- if (b1) f2 else true.pure[ConfFF]
    } yield b2
}