Methods on PartialFunction

This topic inspects the methods defined in the PartialFunction Object.

1. scala> type PF = PartialFunction[Int,Int]
2. defined type alias PF
4. // the two partial functions that we will use for the examples
5. scala> val pf1 : PF = {case 1 => 2}                      
6. pf1: PF = < function1>
8. scala> val pf2 : PF = {case 2 => 3}                      
9. pf2: PF = < function1>
11. /*
12. As is well known, when a PartialFunction is called with a value
13. it must be defined at that value or bad things will happen
14. */
15. scala> pf1 isDefinedAt 1  
16. res14: Boolean = true
18. scala> pf1 isDefinedAt 2
19. res15: Boolean = false
21. scala> pf1(2)
22. scala.MatchError: 2
23. at $anonfun$1.apply(< console>:5)
24. at $anonfun$1.apply(< console>:5)
25. at .< init>(< console>:7)
26.     ...
27. scala> pf1(1)
28. res5: Int = 2
30. /*
31. It is possible to compose two partial functions so first one partialFunction is called and then the next
32. */
33. scala> (pf1 andThen pf2) isDefinedAt 2 
34. res16: Boolean = false
36. scala> (pf1 andThen pf2) isDefinedAt 1
37. res17: Boolean = true
39. scala> (pf1 andThen pf2)(2)
40. scala.MatchError: 2
41. at $anonfun$1.apply(< console>:5)
42. at $anonfun$1.apply(< console>:5)
43. at scala.PartialFunction$$anon$2.apply(PartialFunction.scala:59)
44. at .< init>(< console>:8)
45.     ...
46. scala> (pf1 andThen pf2)(1)
47. res8: Int = 3
49. /*
50. An alternative way of combining PartialFunctions is to 'or' them
51. */
52. scala> (pf1 orElse pf2) isDefinedAt 1
53. res18: Boolean = true
55. scala> (pf1 orElse pf2) isDefinedAt 2
56. res19: Boolean = true
58. scala> (pf1 orElse pf2) isDefinedAt 3
59. res20: Boolean = false
61. scala> (pf1 orElse pf2)(1) 
62. res9: Int = 2
64. scala> (pf1 orElse pf2)(2)
65. res10: Int = 3
67. /*
68. Finally a PartialFunction can be easily converted to a function that returns 
69. an Option
70. */
71. scala> pf1.lift
72. res21: (Int) => Option[Int] = < function1>
74. scala> pf1.lift(1)
75. res11: Option[Int] = Some(2)
77. scala> pf1.lift(2)
78. res12: Option[Int] = None