如何在cats-effect的资源中添加适当的错误处理

Flo*_*erl 6 functional-programming scala scala-cats cats-effect

我正在尝试使用cats-effect以纯粹的功能方式获取一些基本文件IO(写入/读取)。遵循本教程之后,下面就是我读取文件的内容:

private def readFile(): IO[String] = for {
  lines <-  bufferedReader(new File(filePath)).use(readAllLines)
} yield lines.mkString

def bufferedReader(f: File): Resource[IO, BufferedReader] =
  Resource.make {
    IO(new BufferedReader(new FileReader(f)))
  } { fileReader =>
    IO(fileReader.close()).handleErrorWith(_ => IO.unit)
  }
Run Code Online (Sandbox Code Playgroud)

现在在handleErrorWith函数中,我可以记录发生的任何错误,但是如何为它添加适当的错误处理(例如,返回Resource[IO, Either[CouldNotReadFileError, BufferedReader]])?

Yuv*_*kov 5

可以通过.attempt在返回的IO值上使用来添加正确的错误处理:

import scala.collection.JavaConverters._

val resourceOrError: IO[Either[Throwable, String]] = bufferedReader(new File(""))
  .use(resource => IO(resource.lines().iterator().asScala.mkString))
  .attempt
Run Code Online (Sandbox Code Playgroud)

如果要将其添加到自己的ADT中,可以使用leftMap:

import cats.syntax.either._

final case class CouldNotReadError(e: Throwable)

val resourceOrError: IO[Either[CouldNotReadError, String]] =
  bufferedReader(new File(""))
    .use(resource => IO(resource.lines().iterator().asScala.mkString))
    .attempt
    .map(_.leftMap(CouldNotReadError))
Run Code Online (Sandbox Code Playgroud)

此外,你可能有兴趣在ZIO数据类型,这支持猫效应的实例,并具有以下形式的形状稍有不同的IO[E, A]地方E捕获错误效果类型。