src/Pure/ROOT.scala
author wenzelm
Thu Aug 15 16:02:47 2019 +0200 (9 months ago)
changeset 70533 031620901fcd
parent 69458 5655af3ea5bd
child 71379 942cc80ba18a
permissions -rw-r--r--
support for (fully reconstructed) proof terms in Scala;
proper cache_typs;
     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   def cat_error(msgs: String*): Nothing = Exn.cat_error(msgs:_*)
    12 
    13   def using[A <: AutoCloseable, B](a: A)(f: A => B): B = Library.using(a)(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 }