equal
deleted
inserted
replaced
11 import javax.swing.JOptionPane |
11 import javax.swing.JOptionPane |
12 |
12 |
13 |
13 |
14 object Library |
14 object Library |
15 { |
15 { |
|
16 /* separate */ |
|
17 |
|
18 def separate[A](s: A, list: List[A]): List[A] = |
|
19 list match { |
|
20 case x :: xs if !xs.isEmpty => x :: s :: separate(s, xs) |
|
21 case _ => list |
|
22 } |
|
23 |
|
24 |
16 /* reverse CharSequence */ |
25 /* reverse CharSequence */ |
17 |
26 |
18 class Reverse(text: CharSequence, start: Int, end: Int) extends CharSequence |
27 class Reverse(text: CharSequence, start: Int, end: Int) extends CharSequence |
19 { |
28 { |
20 require(0 <= start && start <= end && end <= text.length) |
29 require(0 <= start && start <= end && end <= text.length) |