猫Monad变形金刚

Question

我正在尝试学习如何在猫库中使用MonadTransformers嵌套Monad。

因此，我正在尝试为Either [String，Option [A]]建立数据类型

这是我写的代码

import cats.data.OptionT
import cats.instances.list._
import cats.syntax.applicative._

object Ex11 extends App {
   type ErrorEither[A] = Either[String, A]
   type ErrorOrOption[A] = OptionT[ErrorEither, A]
   val x = 42.pure[ErrorOrOption]
   println(x)
}

但我得到一个错误

[error] Ex11.scala:13: could not find implicit value for parameter F: cats.Applicative[Ex11.ErrorOrOption]
[error]    val x = 42.pure[ErrorOrOption]
[error]                   ^

我从使用Xor的样本中获取了此信息，但我想最新的cats库将Xor删除，转而支持Either。

Answer 1

我怀疑您缺少进口的cats实例：

import cats.instances.either._

（此外， import cats.instances.list._的import cats.instances.list._在这里似乎是多余的。）

应编译以下内容：

import cats.data.OptionT
import cats.instances.either._
import cats.syntax.applicative._

object Ex11 extends App {
   type ErrorEither[A] = Either[String, A]
   type ErrorOrOption[A] = OptionT[ErrorEither, A]
   val x = 42.pure[ErrorOrOption]
   println(x)
}