Packages

trait Parser extends Parsers

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

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

Inherited from Parsers

Inherited from AnyRef

Inherited from Any

Ungrouped