Packages

object Thy_Header extends Parser with Serializable

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Thy_Header
  2. Serializable
  3. Serializable
  4. Parser
  5. Parsers
  6. AnyRef
  7. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Abbrevs = List[(String, String)]
  2. type Elem = Token
    Definition Classes
    Parser → Parsers
  3. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  4. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  5. type Input = Reader[Elem]
    Definition Classes
    Parsers
  6. type Keywords = List[(String, Spec)]
  7. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  8. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  9. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  10. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  11. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  12. case class ~[+a, +b] extends Product with Serializable
    Definition Classes
    Parsers

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. def $(name: String): Parser[String]
    Definition Classes
    Parser
  4. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  5. val ABBREVS: String
  6. val AND: String
  7. val BEGIN: String
  8. val CHAPTER: String
  9. val IMPORTS: String
  10. val KEYWORDS: String
  11. val ML_BOOTSTRAP: String
  12. def ML_source: Parser[String]
    Definition Classes
    Parser
  13. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  14. val PARAGRAPH: String
  15. val PURE: String
  16. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  17. val SECTION: String
  18. val SUBPARAGRAPH: String
  19. val SUBSECTION: String
  20. val SUBSUBSECTION: String
  21. val TEXT: String
  22. val TEXT_RAW: String
  23. val THEORY: String
  24. val TXT: String
  25. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  26. def accept[ES](es: ES)(implicit f: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  27. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  28. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  29. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  30. def acceptSeq[ES](es: ES)(implicit f: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  31. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  32. def atom(s: String, pred: (Elem) ⇒ Boolean): Parser[String]
    Definition Classes
    Parser
  33. val bootstrap_global_theories: List[(String, String)]
  34. val bootstrap_header: Keywords
  35. def bootstrap_name(theory: String): String
  36. val bootstrap_syntax: Outer_Syntax
  37. val bootstrap_thys: List[(String, String)]
  38. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  39. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  40. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  41. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  42. def command(name: String): Parser[String]
    Definition Classes
    Parser
  43. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  44. def document_source: Parser[String]
    Definition Classes
    Parser
  45. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  46. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  47. def embedded: Parser[String]
    Definition Classes
    Parser
  48. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  49. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  50. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  51. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  52. def file_name(s: String): Option[String]
  53. def filter_proper: Boolean
    Definition Classes
    Parser
  54. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  55. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  56. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  57. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  58. val header: Parser[Thy_Header]
  59. def import_name(s: String): String
  60. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  61. def is_base_name(s: String): Boolean
  62. def is_bootstrap(theory: String): Boolean
  63. def is_ml_root(theory: String): Boolean
  64. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  65. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  66. val ml_roots: List[(String, String)]
  67. def name: Parser[String]
    Definition Classes
    Parser
  68. def nat: Parser[Int]
    Definition Classes
    Parser
  69. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  70. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  71. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  72. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  73. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  74. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  75. def parse_all[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  76. def path: Parser[String]
    Definition Classes
    Parser
  77. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    Parsers
  78. def position[A](parser: Parser[A]): Parser[(A, T)]
    Definition Classes
    Parser
  79. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  80. def read(reader: Reader[Char], start: Pos, strict: Boolean = true): Thy_Header
  81. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  82. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
    Annotations
    @migration
    Migration

    (Changed in version 2.9.0) The p0 call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.

  83. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  84. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  85. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  86. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  87. def session_name: Parser[String]
    Definition Classes
    Parser
  88. def string: Parser[String]
    Definition Classes
    Parser
  89. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  90. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  91. def tags: Parser[List[String]]
    Definition Classes
    Parser
  92. def text: Parser[String]
    Definition Classes
    Parser
  93. def theory_name(s: String): String
  94. def theory_name: Parser[String]
    Definition Classes
    Parser
  95. def toString(): String
    Definition Classes
    AnyRef → Any
  96. def token(s: String, pred: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parser
  97. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  98. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  99. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  100. object NoSuccess
    Definition Classes
    Parsers

Inherited from Serializable

Inherited from Serializable

Inherited from Parse.Parser

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped