Как добавить правильную обработку ошибок в Ресурс кошачьего эффекта

Question

Я пытаюсь получить какой-то базовый файл ввода / вывода (запись / чтение) чисто функциональным способом, используя эффект кошки .После изучения этого учебного пособия вот что я закончил для чтения файла:

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)
  }

Теперь в функции handleErrorWith я могу регистрировать любые возникающие ошибки, но как мне это сделать?добавить правильную обработку ошибок (например, вернуть Resource[IO, Either[CouldNotReadFileError, BufferedReader]])?

Answer 1

Правильная обработка ошибок может быть добавлена ​​с помощью .attempt для возвращенного значения IO:

import scala.collection.JavaConverters._

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

Если вы хотите поднять это в свой собственный 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))

Кроме того, вас может заинтересовать тип данных ZIO , который имеет поддерживаемых экземпляров с эффектом кошки и имеет несколько иную форму вида IO[E, A] где E фиксирует тип эффекта ошибки.