Packages

o

gapt.formats.babel

BabelParserCombinators

object BabelParserCombinators

Source
BabelParser.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. BabelParserCombinators
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

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 BoundVar[_](implicit arg0: P[Any]): P[Ident]
  5. def Const[_](implicit arg0: P[Any]): P[Const]
  6. def ConstLiteral[_](implicit arg0: P[Any]): P[Expr]
  7. def Expr[_](implicit arg0: P[Any]): P[Expr]
  8. def ExprAndNothingElse[_](implicit arg0: P[Any]): P[Expr]
  9. def FlatOps[_](implicit arg0: P[Any]): P[Expr]
  10. def FlatOpsElem[_](implicit arg0: P[Any]): P[Seq[FlatOpsChild]]
  11. def Fn[_](implicit arg0: P[Any]): P[Expr]
  12. def Ident[_](implicit arg0: P[Any]): P[Expr]
  13. def LabelledFormula[_](implicit arg0: P[Any]): P[(Option[String], Expr)]
  14. def LabelledSequent[_](implicit arg0: P[Any]): P[Sequent[(Option[String], Expr)]]
  15. def LabelledSequentAndNothingElse[_](implicit arg0: P[Any]): P[Sequent[(Option[String], Expr)]]
  16. def Lam[_](implicit arg0: P[Any]): P[Expr]
  17. def MarkPos[_](p: => P[Expr])(implicit arg0: P[Any]): P[Expr]
  18. def Parens[_](implicit arg0: P[Any]): P[Expr]
  19. def Sequent[_](implicit arg0: P[Any]): P[Sequent[Expr]]
  20. def SequentAndNothingElse[_](implicit arg0: P[Any]): P[Sequent[Expr]]
  21. def Tuple[_](implicit arg0: P[Any]): P[Seq[Expr]]
  22. def TyParams[_](implicit arg0: P[Any]): P[Seq[Type]]
  23. def Type[_](implicit arg0: P[Any]): P[Type]
  24. def TypeAndNothingElse[_](implicit arg0: P[Any]): P[Type]
  25. def TypeAnnotation[_](implicit arg0: P[Any]): P[Expr]
  26. def TypeAtom[_](implicit arg0: P[Any]): P[Type]
  27. def TypeBase[_](implicit arg0: P[Any]): P[Type]
  28. def TypeParens[_](implicit arg0: P[Any]): P[Type]
  29. def TypeVar[_](implicit arg0: P[Any]): P[Type]
  30. def Var[_](implicit arg0: P[Any]): P[Var]
  31. def VarLiteral[_](implicit arg0: P[Any]): P[Expr]
  32. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  33. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  34. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  35. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  36. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  37. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  40. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  41. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  42. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  43. def toString(): String
    Definition Classes
    AnyRef → Any
  44. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  45. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  46. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated @deprecated
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

Inherited from AnyRef

Inherited from Any

Ungrouped