blob: 57efb1d2eaa0bbac4d1dc416a106643daaff5984 (
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());
}
|