FormulaParserCombinators

Value Members

1. final def !=(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

2. final def ##(): Int

   

   Definition Classes

   AnyRef → Any

3. final def ==(arg0: Any): Boolean

   

   Definition Classes

   AnyRef → Any

4. def OnceParser[T](f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

   

   Definition Classes

   Parsers

5. def Parser[T](f: (Input) ⇒ ParseResult[T]): Parser[T]

   

   Definition Classes

   Parsers

6. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

   

   Definition Classes

   Parsers

7. def accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

   

   Definition Classes

   Parsers

8. implicit def accept(e: Elem): Parser[Elem]

   

   Definition Classes

   Parsers

9. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

   

   Definition Classes

   Parsers

10. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]

    

    Definition Classes

    Parsers

11. def acceptSeq[ES](es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

    

    Definition Classes

    Parsers

12. def alphabet: Parser[Set[String]]

    

    Definition Classes

    AlphabetParserCombinators

13. def array[A](parser: Parser[A]): Parser[List[A]]

    

    Definition Classes

    AffHelperParserCombinators

14. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

15. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

    

    Definition Classes

    Parsers

16. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

    

    Definition Classes

    Parsers

17. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

    

    Definition Classes

    Parsers

18. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

19. def commit[T](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    Parsers

20. def decimalNumber: Parser[String]

    

    Definition Classes

    JavaTokenParsers

21. def elem(e: Elem): Parser[Elem]

    

    Definition Classes

    Parsers

22. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

    

    Definition Classes

    Parsers

23. final def eq(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

24. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

25. def err(msg: String): Parser[Nothing]

    

    Definition Classes

    Parsers

26. def failure(msg: String): Parser[Nothing]

    

    Definition Classes

    Parsers

27. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

28. def floatingPointNumber: Parser[String]

    

    Definition Classes

    JavaTokenParsers

29. def formula: Parser[Formula]

    

30. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

31. def guard[T](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    Parsers

32. def handleWhiteSpace(source: CharSequence, offset: Int): Int

    

    Attributes

    protected

    Definition Classes

    RegexParsers

33. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

34. def ident: Parser[String]

    

    Definition Classes

    JavaTokenParsers

35. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

36. def klass[A](name: Parser[String], parser: Parser[A]): Parser[A]

    

    Definition Classes

    AffHelperParserCombinators

37. implicit def literal(s: String): Parser[String]

    

    Definition Classes

    RegexParsers

38. def log[T](p: ⇒ Parser[T])(name: String): Parser[T]

    

    Definition Classes

    Parsers

39. def ltl: Parser[LtlExpression]

    

    Definition Classes

    LtlParserCombinators

40. def member[A](name: Parser[String], parser: Parser[A]): Parser[A]

    

    Definition Classes

    AffHelperParserCombinators

41. def mkList[T]: (~[T, List[T]]) ⇒ List[T]

    

    Definition Classes

    Parsers

42. final def ne(arg0: AnyRef): Boolean

    

    Definition Classes

    AnyRef

43. def not[T](p: ⇒ Parser[T]): Parser[Unit]

    

    Definition Classes

    Parsers

44. final def notify(): Unit

    

    Definition Classes

    AnyRef

45. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

46. def omegaregex: Parser[OmegaregexExpression]

    

    Definition Classes

    OmegaRegexParserCombinators

47. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]

    

    Definition Classes

    Parsers

48. def parse[T](p: Parser[T], in: Reader): ParseResult[T]

    

    Definition Classes

    RegexParsers

49. def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

    

    Definition Classes

    RegexParsers

50. def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    

    Definition Classes

    RegexParsers

51. def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

    

    Definition Classes

    RegexParsers

52. def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

    

    Definition Classes

    RegexParsers

53. def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]

    

    Definition Classes

    RegexParsers

54. def phrase[T](p: Parser[T]): Parser[T]

    

    Definition Classes

    RegexParsers → Parsers

55. def posBool[A](parser: Parser[A]): Parser[PosBool[A]]

    

    Definition Classes

    AffHelperParserCombinators

56. def positioned[T <: Positional](p: ⇒ Parser[T]): Parser[T]

    

    Definition Classes

    RegexParsers → Parsers

57. def regex: Parser[RegexExpression]

    

    Definition Classes

    RegexParserCombinators

58. implicit def regex(r: Regex): Parser[String]

    

    Definition Classes

    RegexParsers

59. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

60. 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.

61. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

62. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    

    Definition Classes

    Parsers

63. def repN[T](num: Int, p: ⇒ Parser[T]): Parser[List[T]]

    

    Definition Classes

    Parsers

64. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

    

    Definition Classes

    Parsers

65. def rltl: Parser[RltlExpression]

    

    Definition Classes

    RltlParserCombinators

66. def skipWhitespace: Boolean

    

    Definition Classes

    RegexParsers

67. def stringLiteral: Parser[String]

    

    Definition Classes

    JavaTokenParsers

    Annotations

    @migration

    Migration

    (Changed in version 2.10.0) stringLiteral allows escaping single and double quotes, but not forward slashes any longer.

68. def success[T](v: T): Parser[T]

    

    Definition Classes

    Parsers

69. def symbol: Parser[Sign]

    

    Definition Classes

    AlphabetParserCombinators

70. final def synchronized[T0](arg0: ⇒ T0): T0

    

    Definition Classes

    AnyRef

71. def toString(): String

    

    Definition Classes

    AnyRef → Any

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

    @throws( ... )

75. val whiteSpace: Regex

    

    Attributes

    protected

    Definition Classes

    RegexParsers

76. def wholeNumber: Parser[String]

    

    Definition Classes

    JavaTokenParsers