时间戳

首页 > 解决方案 > Scala-cats，用 ReaderT 编写 Reader

scala - Scala-cats，用 ReaderT 编写 Reader

问题描述

这是一个小的函数组合，所有这些函数都返回ReaderT：

  type FailFast[A] = Either[List[String], A]

  def f1:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Right(true))
  def f2:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Left(List("d")))
  def f3:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Right(true))
  def f4:ReaderT[FailFast, Map[String,String], Boolean] = ReaderT(_ => Right(true))

  def fc:ReaderT[FailFast, Map[String,String], Boolean] =
    f1.flatMap( b1 => {
      if (b1)
        for {
          b2 <- f2
          b3 <- f3
          b4 <- f4
        } yield b4
      else ReaderT(_ => Right(true))
    })

如何实现fc以防万一f1返回Reader，但不是ReaderT：

def f1:Reader[Map[String,String], Boolean] = Reader(_ => true)

现在我必须作曲，Reader这正是ReaderT[Id, ...]Reader[FailFast, ...]

标签： scalacompositionmonad-transformersscala-catsreader-monad

解决方案

正如您提到Reader[A, B]的那样ReaderT[Id, A, B]（它本身只是 的类型别名Kleisli[Id, A, B]）。

由于您使用的是猫，因此有一个方法称为mapK映射 的第一个类型参数ReaderT，您只需要提供一个FunctionK/~>用于转换的实例。所以在你的情况下，它看起来像这样：

val Id2FailFast = new (Id ~> FailFast) {
  def apply[T](f: Id[T]): FailFast[T] = Right(f) 
}

f1.mapK(Id2FailFast).flatMap( b1 => {
  if (b1)
    for {
      b2 <- f2
      b3 <- f3
      b4 <- f4
    } yield b4
  else ReaderT(_ => Right(true))
})

可能还有其他一些重构可以进一步清理它，比如使用 anEitherT但是因为它看起来有点人为的例子，所以我将把它作为练习留给读者。

推荐阅读