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