Scala Cats OptionT随身带。 如何创建错误值？

Question

我正在与Cats一起研究出色的Scala，我不确定Monad变压器。 具体来说，有一个例子

type ErrorOr[A] = Either[String, A]
type ErrorOrOption[A] = OptionT[ErrorOr, A]
val a = 10.pure[ErrorOrOption] // a: OptionT(Right(Some(10)))
val b = 32.pure[ErrorOrOption] // b: OptionT(Right(Some(32)))
val c = a.flatMap(x => b.map(y => x + y)) // c: OptionT(Right(Some(42)))

• 如何创建一个空选项？

   // d: OptionT(Right(None)) 

• 如何创建错误值？

   // e: OptionT(Left("A terrible error.")) 

• 如果我在这些值上映射，则传播的值将为Left是否正确？

谢谢。

Answer 1

我明白了，我需要使用apply 。

val e = OptionT[ErrorOr, Int](Right(None))
val d = OptionT[ErrorOr, Int](Left("A terrible error."))
val f = for {
    e1 <- d
    e2 <- e
  } yield e1 + e2 // f: OptionT(Left(A terrible error.))

val g = 10.pure[ErrorOrOption]
val h = OptionT[ErrorOr, Int](Right(None))
val i = for {
    e1 <- g
    e2 <- h
  } yield e1 + e2 // i: OptionT(Right(None))