class TermParser extends JavaTokenParsers
Instance Constructors
- new TermParser()
Type Members
- type Elem = Char
- case class Error extends NoSuccess with Product with Serializable
- case class Failure extends NoSuccess with Product with Serializable
- type Input = Reader[Elem]
- sealed abstract class NoSuccess extends ParseResult[Nothing]
- trait OnceParser[+T] extends Parser[T]
- sealed abstract class ParseResult[+T] extends AnyRef
- abstract class Parser[+T] extends (Input) => ParseResult[T]
- case class Success[+T] extends ParseResult[T] with Product with Serializable
- case class ~[+a, +b] extends Product with Serializable
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (TermParser, B)
- final def ==(arg0: Any): Boolean
- def OnceParser[T](f: (Input) => ParseResult[T]): Parser[T] with OnceParser[T]
- def Parser[T](f: (Input) => ParseResult[T]): Parser[T]
- def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def accept[ES](es: ES)(implicit f: (ES) => List[Elem]): Parser[List[Elem]]
- implicit def accept(e: Elem): Parser[Elem]
- def acceptIf(p: (Elem) => Boolean)(err: (Elem) => String): Parser[Elem]
- def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def acceptSeq[ES](es: ES)(implicit f: (ES) => Iterable[Elem]): Parser[List[Elem]]
- def appln: Parser[Term]
- def arrow: Parser[Any]
- def arrowTyp: Parser[Typ[Term]]
- final def asInstanceOf[T0]: T0
- def chainl1[T, U](first: => Parser[T], p: => Parser[U], q: => Parser[(T, U) => T]): Parser[T]
- def chainl1[T](p: => Parser[T], q: => Parser[(T, T) => T]): Parser[T]
- def chainr1[T, U](p: => Parser[T], q: => Parser[(T, U) => U], combine: (T, U) => U, first: U): Parser[U]
- def clone(): AnyRef
- def colon: Parser[String]
- def commit[T](p: => Parser[T]): Parser[T]
- def decimalNumber: Parser[String]
- def elem(e: Elem): Parser[Elem]
- def elem(kind: String, p: (Elem) => Boolean): Parser[Elem]
- def ensuring(cond: (TermParser) => Boolean, msg: => Any): TermParser
- def ensuring(cond: (TermParser) => Boolean): TermParser
- def ensuring(cond: Boolean, msg: => Any): TermParser
- def ensuring(cond: Boolean): TermParser
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def err(msg: String): Parser[Nothing]
- def failure(msg: String): Parser[Nothing]
- def floatingPointNumber: Parser[String]
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def guard[T](p: => Parser[T]): Parser[T]
- def handleWhiteSpace(source: CharSequence, offset: Int): Int
- def hashCode(): Int
- def ident: Parser[String]
- final def isInstanceOf[T0]: Boolean
- def lambdaTerm: Parser[Term]
- implicit def literal(s: String): Parser[String]
- def log[T](p: => Parser[T])(name: String): Parser[T]
- def makeSymbol(s: String): AnySym
- def mapsto: Parser[Any]
- def mkList[T]: (~[T, List[T]]) => List[T]
- def name: Parser[AnySym]
- final def ne(arg0: AnyRef): Boolean
- def not[T](p: => Parser[T]): Parser[Unit]
- final def notify(): Unit
- final def notifyAll(): Unit
- def opt[T](p: => Parser[T]): Parser[Option[T]]
- def pair: Parser[Term]
- def parse[T](p: Parser[T], in: Reader): ParseResult[T]
- def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
- def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
- def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
- def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
- def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
- def phrase[T](p: Parser[T]): Parser[T]
- def piTyp: Parser[Typ[Term]]
- def positioned[T <: Positional](p: => Parser[T]): Parser[T]
- def prod: Parser[Any]
- implicit def regex(r: Regex): Parser[String]
- def rep[T](p: => Parser[T]): Parser[List[T]]
- def rep1[T](first: => Parser[T], p0: => Parser[T]): Parser[List[T]]
- def rep1[T](p: => Parser[T]): Parser[List[T]]
- def rep1sep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def repN[T](num: Int, p: => Parser[T]): Parser[List[T]]
- def repsep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def sigma: Parser[Any]
- def sigmaTyp: Parser[Typ[Term]]
- def skipWhitespace: Boolean
- def stringLiteral: Parser[String]
- def success[T](v: T): Parser[T]
- def symbTerm: Parser[Term]
- def symbTyp: Parser[Typ[Term]]
- final def synchronized[T0](arg0: => T0): T0
- def term: Parser[Term]
- def toString(): String
- def typ: Parser[Typ[Term]]
- def uni: Parser[Typ[Typ[Term]]]
- def univ: Parser[Any]
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- val whiteSpace: Regex
- def wholeNumber: Parser[String]
Deprecated Value Members
- def finalize(): Unit
- def →[B](y: B): (TermParser, B)
Inherited from JavaTokenParsers
Value Members
- def decimalNumber: Parser[String]
- def floatingPointNumber: Parser[String]
- def ident: Parser[String]
- def stringLiteral: Parser[String]
- def wholeNumber: Parser[String]
Inherited from RegexParsers
Inherited from Parsers
Value Members
- def OnceParser[T](f: (Input) => ParseResult[T]): Parser[T] with OnceParser[T]
- def Parser[T](f: (Input) => ParseResult[T]): Parser[T]
- def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def accept[ES](es: ES)(implicit f: (ES) => List[Elem]): Parser[List[Elem]]
- implicit def accept(e: Elem): Parser[Elem]
- def acceptIf(p: (Elem) => Boolean)(err: (Elem) => String): Parser[Elem]
- def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def acceptSeq[ES](es: ES)(implicit f: (ES) => Iterable[Elem]): Parser[List[Elem]]
- def chainl1[T, U](first: => Parser[T], p: => Parser[U], q: => Parser[(T, U) => T]): Parser[T]
- def chainl1[T](p: => Parser[T], q: => Parser[(T, T) => T]): Parser[T]
- def chainr1[T, U](p: => Parser[T], q: => Parser[(T, U) => U], combine: (T, U) => U, first: U): Parser[U]
- def commit[T](p: => Parser[T]): Parser[T]
- def elem(e: Elem): Parser[Elem]
- def elem(kind: String, p: (Elem) => Boolean): Parser[Elem]
- def err(msg: String): Parser[Nothing]
- def failure(msg: String): Parser[Nothing]
- def guard[T](p: => Parser[T]): Parser[T]
- def log[T](p: => Parser[T])(name: String): Parser[T]
- def mkList[T]: (~[T, List[T]]) => List[T]
- def not[T](p: => Parser[T]): Parser[Unit]
- def opt[T](p: => Parser[T]): Parser[Option[T]]
- def rep[T](p: => Parser[T]): Parser[List[T]]
- def rep1[T](first: => Parser[T], p0: => Parser[T]): Parser[List[T]]
- def rep1[T](p: => Parser[T]): Parser[List[T]]
- def rep1sep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def repN[T](num: Int, p: => Parser[T]): Parser[List[T]]
- def repsep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def success[T](v: T): Parser[T]
Inherited from AnyRef
Value Members
- final def !=(arg0: Any): Boolean
- final def ##: Int
- final def ==(arg0: Any): Boolean
- def clone(): AnyRef
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- final def getClass(): Class[_ <: AnyRef]
- def hashCode(): Int
- final def ne(arg0: AnyRef): Boolean
- final def notify(): Unit
- final def notifyAll(): Unit
- final def synchronized[T0](arg0: => T0): T0
- def toString(): String
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- def finalize(): Unit
Inherited from Any
Value Members
- final def asInstanceOf[T0]: T0
- final def isInstanceOf[T0]: Boolean
Inherited by implicit conversion any2stringadd fromTermParser to any2stringadd[TermParser]
Value Members
- def +(other: String): String
Inherited by implicit conversion StringFormat fromTermParser to StringFormat[TermParser]
Value Members
- def formatted(fmtstr: String): String
Ungrouped
- type Elem = Char
- case class Error extends NoSuccess with Product with Serializable
- case class Failure extends NoSuccess with Product with Serializable
- type Input = Reader[Elem]
- sealed abstract class NoSuccess extends ParseResult[Nothing]
- trait OnceParser[+T] extends Parser[T]
- sealed abstract class ParseResult[+T] extends AnyRef
- abstract class Parser[+T] extends (Input) => ParseResult[T]
- case class Success[+T] extends ParseResult[T] with Product with Serializable
- case class ~[+a, +b] extends Product with Serializable
- final def !=(arg0: Any): Boolean
- final def ##: Int
- def +(other: String): String
- def ->[B](y: B): (TermParser, B)
- final def ==(arg0: Any): Boolean
- def OnceParser[T](f: (Input) => ParseResult[T]): Parser[T] with OnceParser[T]
- def Parser[T](f: (Input) => ParseResult[T]): Parser[T]
- def accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def accept[ES](es: ES)(implicit f: (ES) => List[Elem]): Parser[List[Elem]]
- implicit def accept(e: Elem): Parser[Elem]
- def acceptIf(p: (Elem) => Boolean)(err: (Elem) => String): Parser[Elem]
- def acceptMatch[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
- def acceptSeq[ES](es: ES)(implicit f: (ES) => Iterable[Elem]): Parser[List[Elem]]
- def appln: Parser[Term]
- def arrow: Parser[Any]
- def arrowTyp: Parser[Typ[Term]]
- final def asInstanceOf[T0]: T0
- def chainl1[T, U](first: => Parser[T], p: => Parser[U], q: => Parser[(T, U) => T]): Parser[T]
- def chainl1[T](p: => Parser[T], q: => Parser[(T, T) => T]): Parser[T]
- def chainr1[T, U](p: => Parser[T], q: => Parser[(T, U) => U], combine: (T, U) => U, first: U): Parser[U]
- def clone(): AnyRef
- def colon: Parser[String]
- def commit[T](p: => Parser[T]): Parser[T]
- def decimalNumber: Parser[String]
- def elem(e: Elem): Parser[Elem]
- def elem(kind: String, p: (Elem) => Boolean): Parser[Elem]
- def ensuring(cond: (TermParser) => Boolean, msg: => Any): TermParser
- def ensuring(cond: (TermParser) => Boolean): TermParser
- def ensuring(cond: Boolean, msg: => Any): TermParser
- def ensuring(cond: Boolean): TermParser
- final def eq(arg0: AnyRef): Boolean
- def equals(arg0: AnyRef): Boolean
- def err(msg: String): Parser[Nothing]
- def failure(msg: String): Parser[Nothing]
- def floatingPointNumber: Parser[String]
- def formatted(fmtstr: String): String
- final def getClass(): Class[_ <: AnyRef]
- def guard[T](p: => Parser[T]): Parser[T]
- def handleWhiteSpace(source: CharSequence, offset: Int): Int
- def hashCode(): Int
- def ident: Parser[String]
- final def isInstanceOf[T0]: Boolean
- def lambdaTerm: Parser[Term]
- implicit def literal(s: String): Parser[String]
- def log[T](p: => Parser[T])(name: String): Parser[T]
- def makeSymbol(s: String): AnySym
- def mapsto: Parser[Any]
- def mkList[T]: (~[T, List[T]]) => List[T]
- def name: Parser[AnySym]
- final def ne(arg0: AnyRef): Boolean
- def not[T](p: => Parser[T]): Parser[Unit]
- final def notify(): Unit
- final def notifyAll(): Unit
- def opt[T](p: => Parser[T]): Parser[Option[T]]
- def pair: Parser[Term]
- def parse[T](p: Parser[T], in: Reader): ParseResult[T]
- def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]
- def parse[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
- def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]
- def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]
- def parseAll[T](p: Parser[T], in: Reader[Char]): ParseResult[T]
- def phrase[T](p: Parser[T]): Parser[T]
- def piTyp: Parser[Typ[Term]]
- def positioned[T <: Positional](p: => Parser[T]): Parser[T]
- def prod: Parser[Any]
- implicit def regex(r: Regex): Parser[String]
- def rep[T](p: => Parser[T]): Parser[List[T]]
- def rep1[T](first: => Parser[T], p0: => Parser[T]): Parser[List[T]]
- def rep1[T](p: => Parser[T]): Parser[List[T]]
- def rep1sep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def repN[T](num: Int, p: => Parser[T]): Parser[List[T]]
- def repsep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]
- def sigma: Parser[Any]
- def sigmaTyp: Parser[Typ[Term]]
- def skipWhitespace: Boolean
- def stringLiteral: Parser[String]
- def success[T](v: T): Parser[T]
- def symbTerm: Parser[Term]
- def symbTyp: Parser[Typ[Term]]
- final def synchronized[T0](arg0: => T0): T0
- def term: Parser[Term]
- def toString(): String
- def typ: Parser[Typ[Term]]
- def uni: Parser[Typ[Typ[Term]]]
- def univ: Parser[Any]
- final def wait(arg0: Long, arg1: Int): Unit
- final def wait(arg0: Long): Unit
- final def wait(): Unit
- val whiteSpace: Regex
- def wholeNumber: Parser[String]
- def finalize(): Unit
- def →[B](y: B): (TermParser, B)