Type Members
-
type
Elem = Token
-
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
$(name: String): Parser[String]
-
final
def
==(arg0: Any): Boolean
-
def
ML_source: Parser[String]
-
object
NoSuccess
-
-
-
def
accept[U](expected: String, f: PartialFunction[Elem, U]): Parser[U]
-
def
accept[ES](es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[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 arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]
-
final
def
asInstanceOf[T0]: T0
-
def
atom(s: String, pred: (Elem) ⇒ Boolean): Parser[String]
-
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
command(name: String): Parser[String]
-
def
comment_marker: Parser[String]
-
def
commit[T](p: ⇒ Parser[T]): Parser[T]
-
def
document_source: Parser[String]
-
-
def
elem(kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
err(msg: String): Parser[Nothing]
-
def
failure(msg: String): Parser[Nothing]
-
def
filter_proper: Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
guard[T](p: ⇒ Parser[T]): Parser[T]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
def
log[T](p: ⇒ Parser[T])(name: String): Parser[T]
-
def
mkList[T]: (~[T, List[T]]) ⇒ List[T]
-
def
name: Parser[String]
-
def
nat: Parser[Int]
-
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]]
-
-
val
option_name: Parser[String]
-
val
option_type: Parser[String]
-
val
option_value: Parser[String]
-
-
-
-
def
path: Parser[String]
-
def
phrase[T](p: Parser[T]): Parser[T]
-
def
position[A](parser: Parser[A]): Parser[(A, T)]
-
def
positioned[T <: Positional](p: ⇒ Parser[T]): Parser[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
string: Parser[String]
-
def
success[T](v: T): Parser[T]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
tags: Parser[List[String]]
-
def
text: Parser[String]
-
def
theory_name: Parser[String]
-
def
toString(): String
-
def
token(s: String, pred: (Elem) ⇒ Boolean): Parser[Elem]
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from Parsers
Inherited from AnyRef
Inherited from Any
