ExpressionParser

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. object NoSuccess

   

   Definition Classes

   Parsers

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

   

   Definition Classes

   Parsers

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

   

   Definition Classes

   Parsers

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

   

   Definition Classes

   Parsers

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

   

   Definition Classes

   Parsers

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

   

   Definition Classes

   Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

13. lazy val appliedType: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

14. def argumentTypes(open: Char, close: Char, allowNamed: Boolean = false): Parser[List[TypeIRs.TypeIR.Expression]]

    

    Definition Classes

    TypeParser

15. lazy val arguments: Parser[List[ExprIRs.ExprIR.Expression]]

    

16. lazy val arrow: Parser[Lexers.Lexer.Token]

    

    Definition Classes

    TypeParser

17. final def asInstanceOf[T0]: T0

    

    Definition Classes

    Any

18. lazy val assumeExpr: Parser[ExprIRs.ExprIR.Expression]

    

19. lazy val betweenArrows: Parser[List[TypeIRs.TypeIR.Expression]]

    

    Definition Classes

    TypeParser

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

23. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    Parsers

25. lazy val defaultMap: Parser[(ExprIRs.ExprIR.Expression, Option[Type])]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

28. def endOfGroup(c: Char): Parser[Lexers.Lexer.Token]

    

    Definition Classes

    TypeParser

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

    

    Definition Classes

    AnyRef

30. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

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

    

    Definition Classes

    Parsers

32. lazy val exprEllipsis: Parser[List[ExprIRs.ExprIR.Expression]]

    

33. lazy val expression: Parser[ExprIRs.ExprIR.Expression]

    

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

    

    Definition Classes

    Parsers

35. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

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

    

    Definition Classes

    AnyRef → Any

37. def getFromSC[A](sc: StringContext, args: Seq[Any])(parser: Parser[A]): A

    

    Definition Classes

    StringContextParsers

38. lazy val greedyRight: Parser[ExprIRs.ExprIR.Expression]

    

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

    

    Definition Classes

    Parsers

40. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

41. lazy val holeExpr: Parser[ExprIRs.ExprIR.Expression]

    

42. lazy val holeExprSeq: Parser[ExprIRs.ExprIR.Expression]

    

43. def ident: Parser[String]

    

    Definition Classes

    StdTokenParsers

44. lazy val identifier: Parser[ExprIRs.ExprIR.Identifier]

    

45. lazy val ifExpr: Parser[ExprIRs.ExprIR.Expression]

    

46. lazy val inoxValDef: Parser[(Identifier, Type)]

    

47. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

48. implicit def keyword(chars: String): Parser[String]

    

    Definition Classes

    StdTokenParsers

49. val keywordCache: HashMap[String, Parser[String]]

    

    Attributes

    protected

    Definition Classes

    StdTokenParsers

50. def kw(s: String): Parser[Lexers.Lexer.Token]

    

    Definition Classes

    TypeParser

51. lazy val lambdaExpr: Parser[ExprIRs.ExprIR.Expression]

    

52. lazy val letExpr: Parser[ExprIRs.ExprIR.Expression]

    

53. val lexical: Parsers.Lexer.type

    

    Definition Classes

    TypeParser → TokenParsers

54. lazy val literalExpr: Parser[ExprIRs.ExprIR.Expression]

    

55. lazy val literalSetLikeExpr: Parser[ExprIRs.ExprIR.Expression]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

58. lazy val name: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

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

    

    Definition Classes

    AnyRef

60. lazy val nonOperatorExpr: Parser[ExprIRs.ExprIR.Expression]

    

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

    

    Definition Classes

    Parsers

62. final def notify(): Unit

    

    Definition Classes

    AnyRef

63. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

64. def numericLit: Parser[String]

    

    Definition Classes

    StdTokenParsers

65. lazy val operatorExpr: Parser[ExprIRs.ExprIR.Expression]

    

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

    

    Definition Classes

    Parsers

67. def p(c: Char): Parser[Lexers.Lexer.Token]

    

    Definition Classes

    TypeParser

68. lazy val parensExpr: Parser[ExprIRs.ExprIR.Expression]

    

69. lazy val parensType: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

72. lazy val prefix: Parser[(ExprIRs.ExprIR.Expression) ⇒ ExprIRs.ExprIR.Expression]

    

73. lazy val quantifier: Parser[Quantifier]

    

74. lazy val quantifierExpr: Parser[ExprIRs.ExprIR.Expression]

    

75. lazy val refinementType: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

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

    

    Definition Classes

    Parsers

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

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

80. def rep1sepOnce[A, B](parser: Parser[A], sep: Parser[Any], once: Parser[B]): Parser[(Option[B], Seq[A])]

    

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    Parsers

83. def repsepOnce[A, B](parser: Parser[A], sep: Parser[Any], once: Parser[B]): Parser[(Option[B], Seq[A])]

    

84. lazy val selectableExpr: Parser[ExprIRs.ExprIR.Expression]

    

85. lazy val selectionExpr: Parser[ExprIRs.ExprIR.Expression]

    

86. lazy val selectorIdentifier: Parser[Field]

    

87. def stringLit: Parser[String]

    

    Definition Classes

    StdTokenParsers

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

    

    Definition Classes

    Parsers

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

    

    Definition Classes

    AnyRef

90. def toString(): String

    

    Definition Classes

    AnyRef → Any

91. lazy val tupleOrParensExpr: Parser[ExprIRs.ExprIR.Expression]

    

92. lazy val typeArguments: Parser[List[Type]]

    

93. lazy val typeBinding: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

94. lazy val typeEllipsis: Parser[List[TypeIRs.TypeIR.Expression]]

    

    Definition Classes

    TypeParser

95. lazy val typeExpression: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

96. lazy val typeHole: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

97. lazy val typeSeqHole: Parser[TypeIRs.TypeIR.Expression]

    

    Definition Classes

    TypeParser

98. lazy val uniqueType: Parser[List[TypeIRs.TypeIR.Expression]]

    

    Definition Classes

    TypeParser

99. lazy val valDef: Parser[(ExprIRs.ExprIR.Identifier, Option[Type])]

    

100. lazy val variableExpr: Parser[ExprIRs.ExprIR.Expression]

     

101. final def wait(): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

102. final def wait(arg0: Long, arg1: Int): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

103. final def wait(arg0: Long): Unit

     

     Definition Classes

     AnyRef

     Annotations

     @throws( ... )

104. def withApplication(exprParser: Parser[ExprIRs.ExprIR.Expression]): Parser[ExprIRs.ExprIR.Expression]

     

105. def withPos(error: String, pos: Position): String

     

     Definition Classes

     TypeParser

106. def withPrefix(exprParser: Parser[ExprIRs.ExprIR.Expression]): Parser[ExprIRs.ExprIR.Expression]

     

107. def withTypeAnnotation(exprParser: Parser[ExprIRs.ExprIR.Expression]): Parser[ExprIRs.ExprIR.Expression]

     

108. def withTypeApplication(exprParser: Parser[ExprIRs.ExprIR.Expression]): Parser[ExprIRs.ExprIR.Expression]