blob: e6af633811390b2327eb19a502e62dd1440faa28 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
object partialfun {
def applyPartial[b](f: PartialFunction[Option[String], b])(x: Option[String]) =
if (f.isDefinedAt(x)) f(x) else "<undefined>";
applyPartial {
case Some(x) => x
} (None);
}
|