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