scala – 如果使用cats IO选项为None,如何在for-comprehension中

发布时间：2020-12-16 18:52:04 所属栏目：安全来源：网络整理

导读：如果我只是使用选项进行理解,一切都按预期进行： val a = Some(1)val b = Noneval c = Some(3)val r = for { aa - a bb - b cc - c} yield aa + bb + ccprintln(r) // None,because b is None 但如何使用猫IO实现相同的行为？ import cats.effect.IO// in re

如果我只是使用选项进行理解,一切都按预期进行：

val a = Some(1)
val b = None
val c = Some(3)

val r = for {
  aa <- a
  bb <- b
  cc <- c
} yield aa + bb + cc

println(r) // None,because b is None

但如何使用猫IO实现相同的行为？

import cats.effect.IO
// in reality this will be a methods with side effect
val a = Some(1)
val b = None
val c = Some(3)

val r = for {
  _ <- IO{println("a"); a}
  _ <- IO{println("b"); b} // want to stop execution here
  _ <- IO{println("c"); c}
} yield ()

r.unsafeRunSync()

结果我得到一个b c,但我只期望一个b.

有可能实现吗？这是一种正确的方法吗？

解决方法

你可以用monad变换器做到这一点;具体来说,你想在这里使用 OptionT[IO,T]：

import cats.effect._
import cats.data.OptionT
import cats.implicits._
import cats.effect.IO

val a = Some(1)
val b = None
val c = Some(3)

val r = for {
  _ <- OptionT[IO,Int](IO {println("a"); a})
  _ <- OptionT[IO,Int](IO {println("b"); b})
  _ <- OptionT[IO,Int](IO {println("c"); c})
} yield ()

r.value.unsafeRunSync()

见行动here.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!