blob: 1f27d099e4514dfd2f8ee0b0903391d823e3476a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
module 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);
}
|