说我有一个val s: Option[Option[String]].因此它可以具有以下值:
val s: Option[Option[String]]
Some(Some("foo")) Some(None) None
Some(Some("foo"))
Some(None)
None
我想减少它,以便第一个成为Some("foo")另外两个成为None.很明显,有很多方法可以实现这一目标,但我正在寻找一种简单的,可能是内置的,不足一线的.
Some("foo")
monads scala join flatten option
flatten ×1
join ×1
monads ×1
option ×1
scala ×1