Scala Partial Functions Short form

[Joe San]

I understand that if I want to implement the partial function trait, I have to provide implementation to the two abstract methods, apply and isDefinedAt. But since this is Scala as always, there seems to be numerous ways to define a partial function. Here is one such example:

object Test extends App {
  override def main(args: Array[String]) = {
    val p: PartialFunction[Any, Int] = {
      case i: Int if i != 0 => 1 / i
    }
    val l = List(1,2,"Cat")
    println(l collect p)
  }
}

My question is that the val p is of type Partial Function which means that somewhere there should be implementations for the two abstract methods apply and isDefinedAt. Where have they gone now with the above short hand notation? Any ideas?

[Joe San]

I got to understand how the code above is translated. Here it is as below:

new PartialFunction[Any, Int] {
  def apply(any: Any) = {
    case i: Int if i != 0 => 1 / i
  }

  def isDefinedAt(any: Any) = {
    case i: Int if i != 0 => true
    case _ => false
  }
}