Packages

trait Parser extends Parse.Parser

Linear Supertypes
Parse.Parser, Parsers, AnyRef, Any
Known Subclasses
Parser
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Parser
  2. Parser
  3. Parsers
  4. AnyRef
  5. 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 commit[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  22. def document_source: Parser[String]
    Definition Classes
    Parser
  23. def elem(e: Elem): Parser[Elem]
    Definition Classes
    Parsers
  24. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
    Definition Classes
    Parsers
  25. def embedded: Parser[String]
    Definition Classes
    Parser
  26. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  27. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  28. def err(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  29. def failure(msg: String): Parser[Nothing]
    Definition Classes
    Parsers
  30. def filter_proper: Boolean
    Definition Classes
    Parser
  31. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  32. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  33. def guard[T](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  34. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]
    Definition Classes
    Parsers
  37. def mkList[T]: (~[T, List[T]]) ⇒ List[T]
    Definition Classes
    Parsers
  38. def name: Parser[String]
    Definition Classes
    Parser
  39. def nat: Parser[Int]
    Definition Classes
    Parser
  40. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  41. def not[T](p: ⇒ Parser[T]): Parser[Unit]
    Definition Classes
    Parsers
  42. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  43. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  44. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
    Definition Classes
    Parsers
  45. val option_name: Parser[String]
  46. val option_type: Parser[String]
  47. val option_value: Parser[String]
  48. def parse[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  49. def parse_all[T](p: Parser[T], in: Reader): ParseResult[T]
    Definition Classes
    Parser
  50. def path: Parser[String]
    Definition Classes
    Parser
  51. def phrase[T](p: Parser[T]): Parser[T]
    Definition Classes
    Parsers
  52. def position[A](parser: Parser[A]): Parser[(A, T)]
    Definition Classes
    Parser
  53. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]
    Definition Classes
    Parsers
  54. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
    Definition Classes
    Parsers
  55. 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.

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

Inherited from Parse.Parser

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped