File: lift-and-unlift.scala

package info (click to toggle)
scala 2.11.12-6
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 62,924 kB
  • sloc: javascript: 28,808; java: 13,415; xml: 3,135; sh: 1,620; python: 756; makefile: 38; awk: 36; ansic: 6
file content (27 lines) | stat: -rw-r--r-- 566 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
import Function.unlift

object Test {
  def evens1(x: Int) = if (x % 2 == 0) Some(x) else None
  val evens2: PartialFunction[Int, Int] = {
    case x if x % 2 == 0  => x
  }

  def main(args: Array[String]): Unit = {
    val f1 = evens1 _
    val f2 = evens2.lift

    assert(1 to 10 forall (x => f1(x) == f2(x)))

    val f3 = unlift(f1)
    val f4 = unlift(f2)

    assert(1 to 10 forall { x =>
      if (!f3.isDefinedAt(x)) !f4.isDefinedAt(x)
      else f3(x) == f4(x)
    })

    assert(f1 eq f3.lift)
    assert(f4 eq unlift(f2))
    assert(f4 eq evens2)
  }
}