anyrefをオプションにボックスする方法はどこにありますか？

Question

これで James IryによるBlogPost, 、 彼は書く：

さらに、Scalaには、nullかどうかに応じて、一部の（値）またはなしのいずれかに値を促進する「オプション」メソッドがあります...

私はこれを見つけることができないようです option スカラドックのどこにでもメソッド。

イウリアン・ドラゴスGDATAクライアントプロジェクトには、おそらくジェームズが言及していた方法が含まれています。

def option[A <: AnyRef](a: A): Option[A] =
  if (a eq null) None else Some(a)

この方法は、Scaladocでどこでこの方法を見つけることができますかを指摘してください。

PS私には次のような方法があります：

def permutations(s: String): List[String] = ...

私はそれを変更する必要があるかどうかについて2つの心にあります：

def permutations(s: Option[String]): List[String] = ...

クライアントはそれを呼び出すことができるので null. 。現在、最初の例では、文字列パラメーターを期待しています。 option 前述の方法。