Scalaz .option - 这个简写是什么？

Question

我看到以下代码：

val a  = (x: Int) => (x == 1).option(doSomethingUnrealiable(1))

这是否等同于：

val a  = (x: Int) => if (x == 1) Option(doSomethingUnrealiable(1))

我之所以这么问，是因为我很难在 Scalaz 上为这个 .option 方法找到 doco。

Answer 1

不，这段代码相当于：

<...> if (x == 1) Some(doSomethingUnrealiable(1)) else None

if (x == 1) Option(...) 的结果类型是Any（就像if (x == 1) Option(...) else ()）。

见Scalaz documentation:

如果cond 是true，则返回Some 中的给定参数，否则返回None。

另见Scalaz cheat sheet：

(1 < 10) option 1 assert_=== 1.some