src/Pure/ROOT.scala
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (19 months ago)
changeset 67003 49850a679c2c
parent 65761 ce909161d030
child 67885 839a624aabb9
permissions -rw-r--r--
more robust sorted_entries;
     1 /*  Title:      Pure/ROOT.scala
     2     Author:     Makarius
     3 
     4 Root of isabelle package.
     5 */
     6 
     7 package object isabelle
     8 {
     9   val ERROR = Exn.ERROR
    10   val error = Exn.error _
    11   val cat_error = Exn.cat_error _
    12 
    13   def using[A <: { def close() }, B](x: A)(f: A => B): B = Library.using(x)(f)
    14   val space_explode = Library.space_explode _
    15   val split_lines = Library.split_lines _
    16   val cat_lines = Library.cat_lines _
    17   val terminate_lines = Library.terminate_lines _
    18   val quote = Library.quote _
    19   val commas = Library.commas _
    20   val commas_quote = Library.commas_quote _
    21   def proper[A](x: A): Option[A] = Library.proper(x)
    22   val proper_string = Library.proper_string _
    23   def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list)
    24 }