at.logic.skeptik.parser.ProofParser

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

ProofParser
JavaTokenParsers
RegexParsers
Parsers
AnyRef
Any

Visibility

Public
All

Type Members

type Elem = Char

Definition Classes
RegexParsers → Parsers
type Input = Reader[Elem]

Definition Classes
Parsers

Value Members

def != (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def != (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def ## (): Int

Attributes
final
Definition Classes
AnyRef → Any
def == (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def == (arg0: Any): Boolean

Attributes
final
Definition Classes
Any
def OnceParser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T] with OnceParser[T]

Definition Classes
Parsers
def Parser [T] (f: (Input) ⇒ ParseResult[T]): Parser[T]

Definition Classes
Parsers
def accept [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def accept [ES] (es: ES)(implicit arg0: (ES) ⇒ List[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
implicit def accept (e: Elem): Parser[Elem]

Attributes
implicit
Definition Classes
Parsers
def acceptIf (p: (Elem) ⇒ Boolean)(err: (Elem) ⇒ String): Parser[Elem]

Definition Classes
Parsers
def acceptMatch [U] (expected: String, f: PartialFunction[Elem, U]): Parser[U]

Definition Classes
Parsers
def acceptSeq [ES] (es: ES)(implicit arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

Definition Classes
Parsers
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
def atom : Parser[Atom]
def chainl1 [T, U] (first: ⇒ Parser[T], p: ⇒ Parser[U], q: ⇒ Parser[(T, U) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainl1 [T] (p: ⇒ Parser[T], q: ⇒ Parser[(T, T) ⇒ T]): Parser[T]

Definition Classes
Parsers
def chainr1 [T, U] (p: ⇒ Parser[T], q: ⇒ Parser[(T, U) ⇒ U], combine: (T, U) ⇒ U, first: U): Parser[U]

Definition Classes
Parsers
def clone (): AnyRef

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def commit [T] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def decimalNumber : Parser[String]

Definition Classes
JavaTokenParsers
def elem (e: Elem): Parser[Elem]

Definition Classes
Parsers
def elem (kind: String, p: (Elem) ⇒ Boolean): Parser[Elem]

Definition Classes
Parsers
def eq (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def equals (arg0: Any): Boolean

Definition Classes
AnyRef → Any
def err (msg: String): Parser[Nothing]

Definition Classes
Parsers
def failure (msg: String): Parser[Nothing]

Definition Classes
Parsers
def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def floatingPointNumber : Parser[String]

Definition Classes
JavaTokenParsers
def getClass (): java.lang.Class[_]

Attributes
final
Definition Classes
AnyRef → Any
def getProofFromFile (filename: String): Proof
def guard [T] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
Parsers
def handleWhiteSpace (source: CharSequence, offset: Int): Int

Attributes
protected
Definition Classes
RegexParsers
def hashCode (): Int

Definition Classes
AnyRef → Any
def ident : Parser[String]

Definition Classes
JavaTokenParsers
def input : Parser[Proof]
def isInstanceOf [T0] : Boolean

Attributes
final
Definition Classes
Any
var lastNoSuccess : NoSuccess

Definition Classes
Parsers
def leftChain : Parser[Proof]
def line : Parser[(Any, Proof)]
def literal : Parser[Literal]
implicit def literal (s: String): Parser[String]

Attributes
implicit
Definition Classes
RegexParsers
def log [T] (p: ⇒ Parser[T])(name: String): Parser[T]

Definition Classes
Parsers
def mkList [T] : (~[T, List[T]]) ⇒ List[T]

Definition Classes
Parsers
def ne (arg0: AnyRef): Boolean

Attributes
final
Definition Classes
AnyRef
def not [T] (p: ⇒ Parser[T]): Parser[Unit]

Definition Classes
Parsers
def notify (): Unit

Attributes
final
Definition Classes
AnyRef
def notifyAll (): Unit

Attributes
final
Definition Classes
AnyRef
def opt [T] (p: ⇒ Parser[T]): Parser[Option[T]]

Definition Classes
Parsers
def parse [T] (p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parse [T] (p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parse [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: CharSequence): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: Reader): ParseResult[T]

Definition Classes
RegexParsers
def parseAll [T] (p: Parser[T], in: Reader[Char]): ParseResult[T]

Definition Classes
RegexParsers
def phrase [T] (p: Parser[T]): Parser[T]

Definition Classes
RegexParsers → Parsers
def positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

Definition Classes
RegexParsers → Parsers
def proof : Parser[Any]
def proofName : Parser[Int]
implicit def regex (r: Regex): Parser[String]

Attributes
implicit
Definition Classes
RegexParsers
def rep [T] (p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1 [T] (first: ⇒ Parser[T], p0: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
Annotations
@migration
Migration
def rep1 [T] (p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def rep1sep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def repN [T] (num: Int, p: ⇒ Parser[T]): Parser[List[T]]

Definition Classes
Parsers
def repsep [T] (p: ⇒ Parser[T], q: ⇒ Parser[Any]): Parser[List[T]]

Definition Classes
Parsers
def resolvent : Parser[Proof]
def skipWhitespace : Boolean

Definition Classes
RegexParsers
def stringLiteral : Parser[String]

Definition Classes
JavaTokenParsers
def subproof : Parser[Proof]
def success [T] (v: T): Parser[T]

Definition Classes
Parsers
def synchronized [T0] (arg0: ⇒ T0): T0

Attributes
final
Definition Classes
AnyRef
def toString (): String

Definition Classes
AnyRef → Any
def wait (): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long, arg1: Int): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
def wait (arg0: Long): Unit

Attributes
final
Definition Classes
AnyRef
Annotations
@throws()
val whiteSpace : Regex

Attributes
protected
Definition Classes
RegexParsers
def wholeNumber : Parser[String]

Definition Classes
JavaTokenParsers

ProofParser

object ProofParser extends JavaTokenParsers with RegexParsers

Type Members

type Elem = Char

type Input = Reader[Elem]

Value Members

def != (arg0: AnyRef): Boolean

def != (arg0: Any): Boolean

def ## (): Int

def == (arg0: AnyRef): Boolean

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 arg0: (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 arg0: (ES) ⇒ Iterable[Elem]): Parser[List[Elem]]

def asInstanceOf [T0] : T0

def atom : Parser[Atom]

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 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 eq (arg0: AnyRef): Boolean

def equals (arg0: Any): Boolean

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

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

def finalize (): Unit

def floatingPointNumber : Parser[String]

def getClass (): java.lang.Class[_]

def getProofFromFile (filename: String): Proof

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

def handleWhiteSpace (source: CharSequence, offset: Int): Int

def hashCode (): Int

def ident : Parser[String]

def input : Parser[Proof]

def isInstanceOf [T0] : Boolean

var lastNoSuccess : NoSuccess

def leftChain : Parser[Proof]

def line : Parser[(Any, Proof)]

def literal : Parser[Literal]

implicit def literal (s: String): Parser[String]

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

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

def ne (arg0: AnyRef): Boolean

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

def notify (): Unit

def notifyAll (): Unit

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

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 positioned [T <: Positional] (p: ⇒ Parser[T]): Parser[T]

def proof : Parser[Any]

def proofName : Parser[Int]

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 resolvent : Parser[Proof]

def skipWhitespace : Boolean

def stringLiteral : Parser[String]

def subproof : Parser[Proof]

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

def synchronized [T0] (arg0: ⇒ T0): T0

def toString (): String

def wait (): Unit