org.kiama.example.lambda.Lambda

Ordering

Alphabetic
By inheritance

Inherited

Hide All
Show all

Lambda
Evaluator
Parser
ParserUtilities
PackratParsers
ParsingREPL
RegexParsers
Parsers
REPL
AnyRef
Any

Visibility

Public
All

Type Members

type Elem = Char

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

Definition Classes
Parsers
type _$4

Attributes
abstract
Definition Classes
PackratParsers
type _$4

Attributes
abstract
Definition Classes
PackratParsers
type _$4

Attributes
abstract
Definition Classes
PackratParsers
type _$5

Attributes
abstract
Definition Classes
PackratParsers
type _$5

Attributes
abstract
Definition Classes
PackratParsers
type _$5

Attributes
abstract
Definition Classes
PackratParsers
type _$6

Attributes
abstract
Definition Classes
PackratParsers
type _$6

Attributes
abstract
Definition Classes
PackratParsers
type _$6

Attributes
abstract
Definition Classes
PackratParsers
type _$7

Attributes
abstract
Definition Classes
PackratParsers
type _$7

Attributes
abstract
Definition Classes
PackratParsers
type _$7

Attributes
abstract
Definition Classes
PackratParsers
type _$8

Attributes
abstract
Definition Classes
PackratParsers
type _$8

Attributes
abstract
Definition Classes
PackratParsers
type _$8

Attributes
abstract
Definition Classes
PackratParsers
type _$9

Attributes
abstract
Definition Classes
PackratParsers
type _$9

Attributes
abstract
Definition Classes
PackratParsers
type _$9

Attributes
abstract
Definition Classes
PackratParsers

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 any : PackratParser[Char]

Definition Classes
ParserUtilities
def asInstanceOf [T0] : T0

Attributes
final
Definition Classes
Any
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
implicit def constToTupleFunction2 [A, B, R] (r: (A, B) ⇒ R): (~[A, B]) ⇒ R

Attributes
implicit
Definition Classes
ParserUtilities
implicit def constToTupleFunction3 [A, B, C, R] (r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

Attributes
implicit
Definition Classes
ParserUtilities
implicit def constToTupleFunction4 [A, B, C, D, R] (r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

Attributes
implicit
Definition Classes
ParserUtilities
implicit def constToTupleFunction5 [A, B, C, D, E, R] (r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

Attributes
implicit
Definition Classes
ParserUtilities
implicit def constToTupleFunction6 [A, B, C, D, E, F, R] (r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

Attributes
implicit
Definition Classes
ParserUtilities
lazy val constrainedInt : PackratParser[Int]

Definition Classes
ParserUtilities
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
ParserUtilities → Parsers
lazy val exp : PackratParser[Exp]

Definition Classes
Parser
lazy val factor : PackratParser[Exp]

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

Definition Classes
ParserUtilities → Parsers
def finalize (): Unit

Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws()
def fv (t: Exp): Set[Idn]

Free variables
Free variables

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

Attributes
final
Definition Classes
AnyRef → Any
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
lazy val idn : Regex

Definition Classes
Parser
lazy val integer : Parser[Num]

Definition Classes
Parser
def isInstanceOf [T0] : Boolean

Attributes
final
Definition Classes
Any
var lastNoSuccess : NoSuccess

Definition Classes
Parsers
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 main (args: Array[String]): Unit

Definition Classes
REPL
def memo [T] (p: Parser[T]): PackratParser[T]

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

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

Attributes
final
Definition Classes
AnyRef
val normal : Strategy

Normal-order reduction
Normal-order reduction

Definition Classes
Evaluator
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
implicit def parseResultToTuple2 [A, B] (p: Parser[~[A, B]]): PackratParser[(A, B)]

Attributes
implicit
Definition Classes
ParserUtilities
implicit def parseResultToTuple3 [A, B, C] (p: Parser[~[~[A, B], C]]): PackratParser[(A, B, C)]

Attributes
implicit
Definition Classes
ParserUtilities
implicit def parseResultToTuple4 [A, B, C, D] (p: Parser[~[~[~[A, B], C], D]]): PackratParser[(A, B, C, D)]

Attributes
implicit
Definition Classes
ParserUtilities
implicit def parseResultToTuple5 [A, B, C, D, E] (p: Parser[~[~[~[~[A, B], C], D], E]]): PackratParser[(A, B, C, D, E)]

Attributes
implicit
Definition Classes
ParserUtilities
implicit def parseResultToTuple6 [A, B, C, D, E, F] (p: Parser[~[~[~[~[~[A, B], C], D], E], F]]): PackratParser[(A, B, C, D, E, F)]

Attributes
implicit
Definition Classes
ParserUtilities
implicit def parser2packrat [T] (p: ⇒ Parser[T]): PackratParser[T]

Attributes
implicit
Definition Classes
PackratParsers
def phrase [T] (p: Parser[T]): PackratParser[T]

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

Definition Classes
RegexParsers → Parsers
def process (e: Exp): Unit

Definition Classes
Lambda → ParsingREPL
def processline (line: String): Unit

Definition Classes
ParsingREPL → REPL
def prompt (): String

Definition Classes
Lambda → REPL
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 result [T] (v: ⇒ T): Parser[T]

Definition Classes
ParserUtilities
def setup (args: Array[String]): Boolean

Definition Classes
Lambda → REPL
def skipWhitespace : Boolean

Definition Classes
RegexParsers
lazy val start : PackratParser[Exp]

Definition Classes
Parser
def stringToInt (s: String): Either[Int, String]

Definition Classes
ParserUtilities
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
lazy val variable : Parser[Var]

Definition Classes
Parser
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 wrap [T, U] (p: ⇒ Parser[T], f: (T) ⇒ Either[U, String]): Parser[U]

Definition Classes
ParserUtilities
val xgc_reduction : Strategy

\xgc-reduction
\xgc-reduction

Definition Classes
Evaluator

Lambda

object Lambda extends ParsingREPL[Exp] with Parser with Evaluator

Type Members

type Elem = Char

type Input = Reader[Elem]

type _$4

type _$4

type _$4

type _$5

type _$5

type _$5

type _$6

type _$6

type _$6

type _$7

type _$7

type _$7

type _$8

type _$8

type _$8

type _$9

type _$9

type _$9

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 any : PackratParser[Char]

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

implicit def constToTupleFunction2 [A, B, R] (r: (A, B) ⇒ R): (~[A, B]) ⇒ R

implicit def constToTupleFunction3 [A, B, C, R] (r: (A, B, C) ⇒ R): (~[~[A, B], C]) ⇒ R

implicit def constToTupleFunction4 [A, B, C, D, R] (r: (A, B, C, D) ⇒ R): (~[~[~[A, B], C], D]) ⇒ R

implicit def constToTupleFunction5 [A, B, C, D, E, R] (r: (A, B, C, D, E) ⇒ R): (~[~[~[~[A, B], C], D], E]) ⇒ R

implicit def constToTupleFunction6 [A, B, C, D, E, F, R] (r: (A, B, C, D, E, F) ⇒ R): (~[~[~[~[~[A, B], C], D], E], F]) ⇒ R

lazy val constrainedInt : PackratParser[Int]

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]

lazy val exp : PackratParser[Exp]

lazy val factor : PackratParser[Exp]

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

def finalize (): Unit

def fv (t: Exp): Set[Idn]

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

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

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

def hashCode (): Int

lazy val idn : Regex

lazy val integer : Parser[Num]

def isInstanceOf [T0] : Boolean

var lastNoSuccess : NoSuccess

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

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

def main (args: Array[String]): Unit

def memo [T] (p: Parser[T]): PackratParser[T]

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

def ne (arg0: AnyRef): Boolean

val normal : Strategy

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]