Packages

object Parser extends Parse.Parser with Parser

Linear Supertypes
Options.Parser, Parse.Parser, Parsers, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parser
  2. Parser
  3. Parser
  4. Parsers
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Elem = Token
    Definition Classes
    Parser → Parsers
  2. case class Error extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  3. case class Failure extends NoSuccess with Product with Serializable
    Definition Classes
    Parsers
  4. type Input = Reader[Elem]
    Definition Classes
    Parsers
  5. sealed abstract class NoSuccess extends ParseResult[Nothing]
    Definition Classes
    Parsers
  6. trait OnceParser[+T] extends Parser[T]
    Definition Classes
    Parsers
  7. sealed abstract class ParseResult[+T] extends AnyRef
    Definition Classes
    Parsers
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
    Definition Classes
    Parsers
  9. case class Success[+T] extends ParseResult[T] with Product with Serializable
    Definition Classes
    Parsers
  10. 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. def ML_source: Parser[String]
    Definition Classes
    Parser
  6. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]
    Definition Classes
    Parsers
  7. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]
    Definition Classes
    Parsers
  8. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  9. def accept[ES](es: ES)(implicit f: (ES) ⇒ List[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  10. implicit def accept(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  11. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
    Definition Classes
    Parsers
  12. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
    Definition Classes
    Parsers
  13. def acceptSeq[ES](es: ES)(implicit f: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
    Definition Classes
    Parsers
  14. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  15. def atom(s: String, pred: (Elem) ⇒ Boolean): Parser[String]
    Definition Classes
    Parser
  16. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  17. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
    Definition Classes
    Parsers
  18. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
    Definition Classes
    Parsers
  19. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  20. def command(name: String): Parser[String]
    Definition Classes
    Parser
  21. def comment_marker: Parser[String]
  22. def commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  23. def document_source: Parser[String]
    Definition Classes
    Parser
  24. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  25. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  26. def embedded: Parser[String]
    Definition Classes
    Parser
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  29. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  30. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  31. def filter_proper: Boolean
    Definition Classes
    Parser
  32. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  33. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  34. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  35. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  36. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  37. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  38. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  39. def name: Parser[String]
    Definition Classes
    Parser
  40. def nat: Parser[Int]
    Definition Classes
    Parser
  41. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  42. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  43. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  44. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  45. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  46. val option_entry: Parser[(Options) ⇒ Options]
  47. val option_name: Parser[String]
    Definition Classes
    Parser
  48. val option_type: Parser[String]
    Definition Classes
    Parser
  49. val option_value: Parser[String]
    Definition Classes
    Parser
  50. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  51. def parse_all[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  52. def parse_file(syntax: Outer_Syntax, parser: Parser[(Options) ⇒ Options], options: Options, file: Path): Options
  53. def path: Parser[String]
    Definition Classes
    Parser
  54. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    Parsers
  55. def position[A](parser: Parser[A]): Parser[(A, T)]
    Definition Classes
    Parser
  56. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  57. val prefs_entry: Parser[(Options) ⇒ Options]
  58. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  59. 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.

  60. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  61. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  62. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  63. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
    Definition Classes
    Parsers
  64. def string: Parser[String]
    Definition Classes
    Parser
  65. def success[T](v: T): Parser[T]
    Definition Classes
    Parsers
  66. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  67. def tags: Parser[List[String]]
    Definition Classes
    Parser
  68. def text: Parser[String]
    Definition Classes
    Parser
  69. def theory_name: Parser[String]
    Definition Classes
    Parser
  70. def toString(): String
    Definition Classes
    AnyRef → Any
  71. def token(s: String, pred: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parser
  72. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  73. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  74. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  75. object NoSuccess
    Definition Classes
    Parsers

Inherited from Options.Parser

Inherited from Parse.Parser

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped