如果選項為無使用貓IO，如何在for-comprehension中停止執行？

Question

如果我只是使用選項進行理解，一切都按預期進行：

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

結果我得到abc ，但我只期望ab 。

有可能實現嗎？ 這是一種正確的方法嗎？

Answer 1

你可以用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() 

在這里看到它。