esmeta
API
Generated with
esmeta/esmeta/esmeta.state/esmeta.state.util/Parsers

Parsers

esmeta.state.util.Parsers
trait Parsers extends Parsers

state parsers

Attributes

Graph
Supertypes
trait Parsers
trait Parsers
trait BasicParsers
trait JavaTokenParsers
trait RegexParsers
trait Parsers
class Object
trait Matchable
class Any
Show all
Known subtypes
trait Parsers
class Parser
class Parser

Members list

Type members

Inherited classlikes

case class Error(msg: String, next: Input)

Attributes

Inherited from:
Parsers
Supertypes
trait Serializable
trait Product
trait Equals
class NoSuccess
class ParseResult[Nothing]
class Object
trait Matchable
class Any
Show all
case class Failure(msg: String, next: Input)

Attributes

Inherited from:
Parsers
Supertypes
trait Serializable
trait Product
trait Equals
class NoSuccess
class ParseResult[Nothing]
class Object
trait Matchable
class Any
Show all
trait From[T](parser: Parser[T])

Attributes

Inherited from:
BasicParsers
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Intrinsics
object Model
object PropKey
object Template
object BOp
object BranchInst
object COp
object Expr
object Func
object FuncKind
object Inst
object MOp
object NormalInsts
object Param
object Program
object Ref
object Type
object UOp
object VOp
object Block
object Condition
object Expression
object Intrinsic
object Literal
object Reference
object Step
object Type
object BuiltinPath
object Grammar
object Lhs
object Param
object Production
object Condition
object Rhs
object Summary
object Symbol
object AstTy
object Binding
object BoolTy
object CloTy
object FieldMap
object InfinityTy
object ListTy
object MapTy
object MathTy
object NumberTy
object RecordTy
object Ty
object Elem
object TyDecl
object TyModel
object UnknownTy
object ValueTy
Show all
object NoSuccess

Attributes

Inherited from:
Parsers
Supertypes
class Object
trait Matchable
class Any
object RomanNumeralDecoder extends BasicParsers

Attributes

Inherited from:
BasicParsers
Supertypes
trait BasicParsers
trait JavaTokenParsers
trait RegexParsers
trait Parsers
class Object
trait Matchable
class Any
Show all
case class Success[+T](result: T, next: Input)

Attributes

Inherited from:
Parsers
Supertypes
trait Serializable
trait Product
trait Equals
class ParseResult[T]
class Object
trait Matchable
class Any
Show all
protected object given_Conversion_Input_Pos extends Conversion[Input, Pos]

implicit conversion from scala parser's Input to util.Pos

implicit conversion from scala parser's Input to util.Pos

Attributes

Inherited from:
BasicParsers
Supertypes
class Conversion[Input, Pos]
trait Input => Pos
class Object
trait Matchable
class Any
case class ~[+a, +b](_1: a, _2: b)

Attributes

Inherited from:
Parsers
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Inherited and Abstract classlikes

abstract class LocationalParser[+T <: Locational] extends Parser[T]

Attributes

Inherited from:
BasicParsers
Supertypes
class Parser[T]
trait Input => ParseResult[T]
class Object
trait Matchable
class Any
sealed abstract class NoSuccess(msg: String, next: Input)

Attributes

Inherited from:
Parsers
Supertypes
class ParseResult[Nothing]
class Object
trait Matchable
class Any
abstract trait OnceParser[+T]()

Attributes

Inherited from:
Parsers
Supertypes
class Parser[T]
trait Input => ParseResult[T]
class Object
trait Matchable
class Any
sealed abstract class ParseResult[+T]()

Attributes

Inherited from:
Parsers
Supertypes
class Object
trait Matchable
class Any
abstract class Parser[+T]()

Attributes

Inherited from:
Parsers
Supertypes
trait Input => ParseResult[T]
class Object
trait Matchable
class Any
Known subtypes
class LocationalParser[T]
class EPackratParser[T]
object EMPTY

Inherited types

type Elem = Char

Attributes

Inherited from:
RegexParsers
type Input = Reader[Elem]

Attributes

Inherited from:
Parsers

Value members

Inherited methods

def OnceParser[T](f: Input => ParseResult[T]): Parser[T] & OnceParser[T]

Attributes

Inherited from:
Parsers
def Parser[T](f: Input => ParseResult[T]): Parser[T]

Attributes

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

Attributes

Inherited from:
Parsers
def accept[ES](es: ES)(implicit f: ES => List[Elem]): Parser[List[Elem]]

Attributes

Inherited from:
Parsers
def acceptIf(p: Elem => Boolean)(err: Elem => String): Parser[Elem]

Attributes

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

Attributes

Inherited from:
Parsers
def acceptSeq[ES](es: ES)(implicit f: ES => Iterable[Elem]): Parser[List[Elem]]

Attributes

Inherited from:
Parsers
def asite(parser: Parser[AllocExpr]): Parser[AllocExpr]

Attributes

Inherited from:
Parsers
def chainl1[T, U](first: => Parser[T], p: => Parser[U], q: => Parser[(T, U) => T]): Parser[T]

Attributes

Inherited from:
Parsers
def chainl1[T](p: => Parser[T], q: => Parser[(T, T) => T]): Parser[T]

Attributes

Inherited from:
Parsers
def chainr1[T, U](p: => Parser[T], q: => Parser[(T, U) => U], combine: (T, U) => U, first: U): Parser[U]

Attributes

Inherited from:
Parsers
def commit[T](p: => Parser[T]): Parser[T]

Attributes

Inherited from:
Parsers
def decimalNumber: Parser[String]

Attributes

Inherited from:
JavaTokenParsers
def elem(e: Elem): Parser[Elem]

Attributes

Inherited from:
Parsers
def elem(kind: String, p: Elem => Boolean): Parser[Elem]

Attributes

Inherited from:
Parsers
override def err(msg: String): Parser[Nothing]

Attributes

Definition Classes
RegexParsers -> Parsers
Inherited from:
RegexParsers
def errHandle[T](parser: Parser[T], result: ParseResult[T]): T

Attributes

Inherited from:
BasicParsers
def failure(msg: String): Parser[Nothing]

Attributes

Inherited from:
Parsers
def floatingPointNumber: Parser[String]

Attributes

Inherited from:
JavaTokenParsers
def fromFileWithParser[T](f: String, parser: Parser[T]): T

Attributes

Inherited from:
BasicParsers
def guard[T](p: => Parser[T]): Parser[T]

Attributes

Inherited from:
Parsers
protected def handleWhiteSpace(source: CharSequence, offset: Int): Int

Attributes

Inherited from:
RegexParsers
def ident: Parser[String]

Attributes

Inherited from:
JavaTokenParsers
def locationed[T <: Locational](p: => Parser[T]): Parser[T]

Attributes

Inherited from:
BasicParsers
def log[T](p: => Parser[T])(name: String): Parser[T]

Attributes

Inherited from:
Parsers
def mkList[T]: (T ~ List[T]) => List[T]

Attributes

Inherited from:
Parsers
def not[T](p: => Parser[T]): Parser[Unit]

Attributes

Inherited from:
Parsers
def opt[T](p: => Parser[T]): Parser[Option[T]]

Attributes

Inherited from:
Parsers
def parse[T](str: String)(using parser: Parser[T]): T

Attributes

Inherited from:
BasicParsers
def parse[T](p: Parser[T], in: Reader): ParseResult[T]

Attributes

Inherited from:
RegexParsers
def parse[T](p: Parser[T], in: CharSequence): ParseResult[T]

Attributes

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

Attributes

Inherited from:
RegexParsers
def parseAll[T](p: Parser[T], in: CharSequence): ParseResult[T]

Attributes

Inherited from:
RegexParsers
def parseAll[T](p: Parser[T], in: Reader): ParseResult[T]

Attributes

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

Attributes

Inherited from:
RegexParsers
def parseBy[T](parser: Parser[T])(str: String): T

Attributes

Inherited from:
BasicParsers
override def phrase[T](p: Parser[T]): Parser[T]

Attributes

Definition Classes
RegexParsers -> Parsers
Inherited from:
RegexParsers
override def positioned[T <: Positional](p: => Parser[T]): Parser[T]

Attributes

Definition Classes
RegexParsers -> Parsers
Inherited from:
RegexParsers
def rep[T](p: => Parser[T]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def rep1[T](first: => Parser[T], p0: => Parser[T]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def rep1[T](p: => Parser[T]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def rep1sep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def repN[T](num: Int, p: => Parser[T]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def repNM[T](n: Int, m: Int, p: Parser[T], sep: Parser[Any]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def repsep[T](p: => Parser[T], q: => Parser[Any]): Parser[List[T]]

Attributes

Inherited from:
Parsers
def scala$util$parsing$combinator$RegexParsers$$super$err(msg: String): Parser[Nothing]

Attributes

Inherited from:
RegexParsers
def scala$util$parsing$combinator$RegexParsers$$super$phrase[T](p: Parser[T]): Parser[T]

Attributes

Inherited from:
RegexParsers
def scala$util$parsing$combinator$RegexParsers$$super$positioned[T <: Positional](p: => Parser[T]): Parser[T]

Attributes

Inherited from:
RegexParsers
def skipWhitespace: Boolean

Attributes

Inherited from:
RegexParsers
def stringLiteral: Parser[String]

Attributes

Inherited from:
JavaTokenParsers
def success[T](v: T): Parser[T]

Attributes

Inherited from:
Parsers
protected def trimInput[T](in: Input): Input

trim unused whitespace for position

trim unused whitespace for position

Attributes

Inherited from:
BasicParsers
def wholeNumber: Parser[String]

Attributes

Inherited from:
JavaTokenParsers

Abstract fields

val cfg: CFG

Concrete fields

val captured: Parser[Map[Name, Value]]

Inherited fields

lazy val allocExpr: Parser[AllocExpr]

Attributes

Inherited from:
Parsers
lazy val astExpr: Parser[AstExpr]

Attributes

Inherited from:
Parsers
lazy val bigInt: Parser[BigInt]

Attributes

Inherited from:
BasicParsers
lazy val bool: Parser[Boolean]

Attributes

Inherited from:
BasicParsers
lazy val callInst: Parser[CallInst]

Attributes

Inherited from:
Parsers
lazy val camel: Regex

Attributes

Inherited from:
BasicParsers
lazy val codeUnit: Parser[Char]

Attributes

Inherited from:
BasicParsers
lazy val decimal: Parser[BigDecimal]

Attributes

Inherited from:
BasicParsers
lazy val double: Parser[Double]

Attributes

Inherited from:
BasicParsers
lazy val fields: Parser[List[(String, Expr)]]

Attributes

Inherited from:
Parsers
lazy val funcName: Parser[String]

Attributes

Inherited from:
Parsers
lazy val int: Parser[Int]

Attributes

Inherited from:
BasicParsers
lazy val integer: Regex

Attributes

Inherited from:
BasicParsers
lazy val literal: Parser[LiteralExpr]

Attributes

Inherited from:
Parsers
lazy val loc: Parser[Loc]

Attributes

Inherited from:
BasicParsers
lazy val local: Parser[Local]

Attributes

Inherited from:
Parsers
lazy val long: Parser[Long]

Attributes

Inherited from:
BasicParsers
lazy val main: Parser[Boolean]

Attributes

Inherited from:
Parsers
lazy val name: Parser[Name]

Attributes

Inherited from:
Parsers
lazy val newline: Regex

Attributes

Inherited from:
BasicParsers
lazy val normalInst: Parser[NormalInst]

Attributes

Inherited from:
Parsers
lazy val number: Regex

Attributes

Inherited from:
BasicParsers
lazy val pairs: Parser[List[(Expr, Expr)]]

Attributes

Inherited from:
Parsers
lazy val params: Parser[List[Param]]

Attributes

Inherited from:
Parsers
lazy val parseParams: Parser[List[Boolean]]

Attributes

Inherited from:
Parsers
lazy val pos: Parser[Pos]

Attributes

Inherited from:
BasicParsers
lazy val retTy: Parser[Type]

Attributes

Inherited from:
Parsers
lazy val simpleBool: Parser[Boolean]

Attributes

Inherited from:
Parsers
lazy val string: Parser[String]

Attributes

Inherited from:
BasicParsers
lazy val temp: Parser[Temp]

Attributes

Inherited from:
Parsers
lazy val unknownTy: Parser[UnknownTy]

Attributes

Inherited from:
Parsers
lazy val valueTy: Parser[ValueTy]

Attributes

Inherited from:
Parsers
override protected val whiteSpace: Regex

Attributes

Inherited from:
Parsers
lazy val whiteSpaceWithComment: Regex

white spaces with comments

white spaces with comments

Attributes

Inherited from:
BasicParsers
lazy val word: Regex

Attributes

Inherited from:
BasicParsers
lazy val x: Parser[Var]

Attributes

Inherited from:
Parsers

Givens

Givens

given addr: Parser[Addr]
given clo: Parser[Clo]
given cont: Parser[Cont]
given given_CFG: CFG
given math: Parser[Math]
given value: Parser[Value]

Inherited givens

given astTy: Parser[AstTy]

AST value types

AST value types

Attributes

Inherited from:
Parsers
given binding: Parser[Binding]

Attributes

Inherited from:
Parsers
given boolTy: Parser[BoolTy]

Attributes

Inherited from:
Parsers
given bop: Parser[BOp]

Attributes

Inherited from:
Parsers
given branchInst: Parser[BranchInst]

Attributes

Inherited from:
Parsers
given cloTy: Parser[CloTy]

closure types

closure types

Attributes

Inherited from:
Parsers
given cop: Parser[COp]

Attributes

Inherited from:
Parsers
given expr: Parser[Expr]

Attributes

Inherited from:
Parsers
given fieldMap: Parser[FieldMap]

Attributes

Inherited from:
Parsers
given func: Parser[Func]

Attributes

Inherited from:
Parsers
given funcKind: Parser[FuncKind]

Attributes

Inherited from:
Parsers
protected given given_Conversion_Input_Pos: given_Conversion_Input_Pos

implicit conversion from scala parser's Input to util.Pos

implicit conversion from scala parser's Input to util.Pos

Attributes

Inherited from:
BasicParsers
given infTy: Parser[InfinityTy]

infinity types

infinity types

Attributes

Inherited from:
Parsers
given inst: Parser[Inst]

Attributes

Inherited from:
Parsers
given irType: Parser[Type]

Attributes

Inherited from:
Parsers
given listTy: Parser[ListTy]

list types

list types

Attributes

Inherited from:
Parsers
given mapTy: Parser[MapTy]

map types

map types

Attributes

Inherited from:
Parsers
given mathTy: Parser[MathTy]

mathematical value types

mathematical value types

Attributes

Inherited from:
Parsers
given mop: Parser[MOp]

Attributes

Inherited from:
Parsers
given normalInsts: Parser[List[NormalInst]]

Attributes

Inherited from:
Parsers
given numberTy: Parser[NumberTy]

number types

number types

Attributes

Inherited from:
Parsers
given param: Parser[Param]

Attributes

Inherited from:
Parsers
given program: Parser[Program]

Attributes

Inherited from:
Parsers
given recordTy: Parser[RecordTy]

record types

record types

Attributes

Inherited from:
Parsers
given ref: Parser[Ref]

Attributes

Inherited from:
Parsers
given sign: Parser[Sign]

Attributes

Inherited from:
Parsers
given ty: Parser[Ty]

Attributes

Inherited from:
Parsers
given tyDecl: Parser[TyDecl]

Attributes

Inherited from:
Parsers
given tyDeclElem: Parser[Elem]

Attributes

Inherited from:
Parsers
given tyModel: Parser[TyModel]

Attributes

Inherited from:
Parsers
given uop: Parser[UOp]

Attributes

Inherited from:
Parsers
given vop: Parser[VOp]

Attributes

Inherited from:
Parsers

Extensions

Inherited extensions

extension [T](p: Parser[T])
def ^^![S](v: => S): Parser[S]

Attributes

Inherited from:
BasicParsers

Implicits

Inherited implicits

implicit def accept(e: Elem): Parser[Elem]

Attributes

Inherited from:
Parsers
implicit def literal(s: String): Parser[String]

Attributes

Inherited from:
RegexParsers
implicit def regex(r: Regex): Parser[String]

Attributes

Inherited from:
RegexParsers
Generated with