object
Library
Type Members
-
-
class
Reverse extends CharSequence
-
class
User_Error extends RuntimeException
Value Members
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: Any): Boolean
-
-
final
def
asInstanceOf[T0]: T0
-
def
cat_error(msg1: String, msg2: String): Nothing
-
def
cat_lines(lines: TraversableOnce[String]): String
-
def
cat_message(msg1: String, msg2: String): String
-
def
clone(): AnyRef
-
def
commas(ss: Iterable[String]): String
-
def
commas_quote(ss: Iterable[String]): String
-
-
-
def
error(message: String): Nothing
-
def
finalize(): Unit
-
def
first_line(source: CharSequence): String
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
def
insert[A](x: A)(xs: List[A]): List[A]
-
final
def
isInstanceOf[T0]: Boolean
-
def
is_small_int(s: String): Boolean
-
def
make_regex(s: String): Option[Regex]
-
def
member[A, B](xs: List[A])(x: B): Boolean
-
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
def
perhaps_unquote(s: String): String
-
def
quote(s: String): String
-
def
remove[A, B](x: B)(xs: List[A]): List[A]
-
def
separate[A](s: A, list: List[A]): List[A]
-
def
separated_chunks(sep: (Char) ⇒ Boolean, source: CharSequence): Iterator[CharSequence]
-
def
signed_string_of_int(i: Int): String
-
def
signed_string_of_long(i: Long): String
-
def
space_explode(sep: Char, str: String): List[String]
-
def
split_lines(str: String): List[String]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
take_prefix[A](pred: (A) ⇒ Boolean, xs: List[A]): (List[A], List[A])
-
def
terminate_lines(lines: Iterable[CharSequence]): Iterable[CharSequence]
-
def
toString(): String
-
def
trim_line(s: String): String
-
def
try_unprefix(prfx: String, s: String): Option[String]
-
def
try_unquote(s: String): Option[String]
-
def
try_unsuffix(sffx: String, s: String): Option[String]
-
def
update[A](x: A)(xs: List[A]): List[A]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit