Packages

t

info.kwarc.mmt.api.utils

CompParser

trait CompParser extends AnyRef

Source
CompRegexParsers.scala
Linear Supertypes
AnyRef, Any
Known Subclasses
Action, CompRegexParsers
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CompParser
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. case class CompletionResult(results: List[List[Elem]]) extends Product with Serializable
  2. abstract type Elem
  3. case class Error(msg: String, next: Input) extends NoSuccess with Product with Serializable
  4. case class Failure(msg: String, next: Input) extends NoSuccess with Product with Serializable
  5. type Input = Reader[Elem]
  6. sealed abstract class NoSuccess extends ParseResult[Nothing]
  7. sealed abstract class ParseResult[+T] extends AnyRef
  8. abstract class Parser[+T] extends (Input) ⇒ ParseResult[T]
  9. case class Success[+T](result: T, next: Input) extends ParseResult[T] with Product with Serializable
  10. case class ~[+a, +b](_1: a, _2: b) extends Product with Serializable

Abstract Value Members

  1. abstract val separator: Elem
    Attributes
    protected

Concrete 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 Parser[T](f: (Input) ⇒ ParseResult[T], g: (Input, Boolean) ⇒ CompletionResult): Parser[T]
  5. def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
  6. implicit def accept(e: Elem): Parser[Elem]
  7. def acceptIf(p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]
  8. def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
  9. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  10. def chainl1[T, U](first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]
  11. def chainl1[T](p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]
  12. def chainr1[T, U](p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]
  13. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  14. def elem(e: Elem): Parser[Elem]
  15. def elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
  16. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  17. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  18. def err[T](msg: String): Parser[T]
  19. def failure[T](msg: String): Parser[T]
  20. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  21. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  22. def handleSeparators(source: CharSequence, offset: Int): Int
    Attributes
    protected
  23. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  24. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  25. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  26. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  27. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  28. def opt[T](p: ⇒ Parser[T]): Parser[Option[T]]
  29. def phrase[T](p: Parser[T]): Parser[T]
  30. def rep[T](p: ⇒ Parser[T]): Parser[List[T]]
  31. def rep1[T](first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]
  32. def rep1[T](p: ⇒ Parser[T]): Parser[List[T]]
  33. def rep1sep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
  34. def repsep[T](p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]
  35. def success[T](v: T): Parser[T]
  36. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  37. def toString(): String
    Definition Classes
    AnyRef → Any
  38. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  39. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  40. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  41. object CompletionResult extends Serializable
  42. object NoSuccess

Inherited from AnyRef

Inherited from Any

Ungrouped