斯卡拉猫选项T与任一.如何创建错误值?

Question

我正在与猫一起研究出色的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."))
  

• 如果我映射到这些，传播的值将是左，这是否正确？

谢谢。

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