diff options
| -rw-r--r-- | src/library/scala/Option.scala | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/library/scala/Option.scala b/src/library/scala/Option.scala index 905e925f57..5a1c832fae 100644 --- a/src/library/scala/Option.scala +++ b/src/library/scala/Option.scala @@ -251,6 +251,17 @@ sealed abstract class Option[+A] extends Product with Serializable { * nonempty '''and''' `pf` is defined for that value. * Returns $none otherwise. * + * @example {{{ + * // Returns Some(HTTP) because the partial function covers the case. + * Some("http").collect({case "http" => "HTTP"}) + * + * // Returns None because the partial function doesn't cover the case. + * Some("ftp").collect({case "http" => "HTTP"}) + * + * // Returns None because None is passed to the collect method. + * None.collect({case value => value}) + * }}} + * * @param pf the partial function. * @return the result of applying `pf` to this $option's * value (if possible), or $none. |