equal
deleted
inserted
replaced
98 |
98 |
99 def cat_lines(lines: TraversableOnce[String]): String = lines.mkString("\n") |
99 def cat_lines(lines: TraversableOnce[String]): String = lines.mkString("\n") |
100 |
100 |
101 def quote(s: String): String = "\"" + s + "\"" |
101 def quote(s: String): String = "\"" + s + "\"" |
102 def commas(ss: Iterable[String]): String = ss.iterator.mkString(", ") |
102 def commas(ss: Iterable[String]): String = ss.iterator.mkString(", ") |
103 def commas_quote(ss: Iterable[String]): String = ss.iterator.mkString("\"", ", ", "\"") |
103 def commas_quote(ss: Iterable[String]): String = ss.iterator.map(quote).mkString(", ") |
104 |
104 |
105 |
105 |
106 /* reverse CharSequence */ |
106 /* reverse CharSequence */ |
107 |
107 |
108 class Reverse(text: CharSequence, start: Int, end: Int) extends CharSequence |
108 class Reverse(text: CharSequence, start: Int, end: Int) extends CharSequence |