Hi, I have a question about `Option`: ``` @JvmStatic @JvmName("tryCatch") inline fun <...

# arrow

[dnowak]

Hi, I have a question about `Option`:

@JvmStatic
    @JvmName("tryCatch")
    inline fun <A> catch(recover: (Throwable) -> Unit, f: () -> A): Option<A> =
      try {
        Some(f())
      } catch (t: Throwable) {
        recover(t.nonFatalOrThrow())
        None
      }

Why recover is (Throwable) -> Unit not (Throwable) -> Option<A>? Shouldn’t the caller decide if the exception should be mapped to None or Some?

[timrijckaert]

I think you can have a look at Either.catch { }

[dnowak]

With Either it is a different case -> I can use handleErrorWith to transform Exception to right or left. With Option I have no such ability. That’s why I think that recover for Option should not only allow a side effect.