esmeta
API
Generated with
esmeta/esmeta/esmeta.ty/esmeta.ty.util/Walker

Walker

esmeta.ty.util.Walker
trait Walker extends BasicWalker

a walker for types

Attributes

Graph
Supertypes
trait BasicWalker
class Object
trait Matchable
class Any
Known subtypes
object TyCompiler

Members list

Value members

Concrete methods

def walk(ty: TyElem): TyElem

type elements

type elements

Attributes

def walk(ty: TyModel): TyModel

type models

type models

Attributes

def walk(ty: TyDecl): TyDecl

type declarations

type declarations

Attributes

def walk(parent: (String, Boolean)): (String, Boolean)

parent of a type declaration

parent of a type declaration

Attributes

def walk(ty: Elem): Elem

type declaration elements

type declaration elements

Attributes

def walk(fieldMap: FieldMap): FieldMap

field type map

field type map

Attributes

def walk(binding: Binding): Binding

field binding

field binding

Attributes

def walk(ty: Ty): Ty

types

types

Attributes

def walk(ty: UnknownTy): UnknownTy

unknown types

unknown types

Attributes

def walk(ty: ValueTy): ValueTy

value types

value types

Attributes

def walk(grammarSymbol: GrammarSymbol): GrammarSymbol

grammar symbols

grammar symbols

Attributes

def walk(math: Math): Math
def walk(number: Number): Number
def walk(ty: RecordTy): RecordTy

record types

record types

Attributes

def walk(ty: ListTy): ListTy

list types

list types

Attributes

def walk(ty: MapTy): MapTy

map types

map types

Attributes

def walkAst(ast: AstTy): AstTy

AST value types

AST value types

Attributes

def walkBigInt(bigInt: Boolean): Boolean

big integer types

big integer types

Attributes

def walkBool(bool: BoolTy): BoolTy

boolean types

boolean types

Attributes

def walkClo(clo: CloTy): CloTy

closure types

closure types

Attributes

def walkCodeUnit(codeUnit: Boolean): Boolean

code unit types

code unit types

Attributes

def walkCont(cont: BSet[Int]): BSet[Int]

continuation types

continuation types

Attributes

def walkEnum(enumv: BSet[String]): BSet[String]

enum types

enum types

Attributes

def walkGrammarSymbol(grammarSymbol: BSet[GrammarSymbol]): BSet[GrammarSymbol]

grammar symbol types

grammar symbol types

Attributes

def walkInfinity(infinity: InfinityTy): InfinityTy

infinity types

infinity types

Attributes

def walkMath(math: MathTy): MathTy

mathematical value types

mathematical value types

Attributes

def walkNull(nullv: Boolean): Boolean

null types

null types

Attributes

def walkNumber(number: NumberTy): NumberTy

number types

number types

Attributes

def walkStr(str: BSet[String]): BSet[String]

string types

string types

Attributes

def walkUndef(undef: Boolean): Boolean

undefined types

undefined types

Attributes

Inherited methods

def walk(int: Int): Int

Attributes

Inherited from:
BasicWalker
def walk(bool: Boolean): Boolean

Attributes

Inherited from:
BasicWalker
def walk(str: String): String

Attributes

Inherited from:
BasicWalker
def walkBSet[T](set: BSet[T], tWalk: T => T): BSet[T]

Attributes

Inherited from:
BasicWalker
def walkFlat[T](flat: Flat[T], tWalk: T => T): Flat[T]

Attributes

Inherited from:
BasicWalker
def walkIterable[T](set: Iterable[T], tWalk: T => T): Iterable[T]

Attributes

Inherited from:
BasicWalker
def walkList[T](list: List[T], tWalk: T => T): List[T]

Attributes

Inherited from:
BasicWalker
def walkMMap[K, V](map: Map[K, V], kWalk: K => K, vWalk: V => V): Map[K, V]

Attributes

Inherited from:
BasicWalker
def walkMap[K, V](map: Map[K, V], kWalk: K => K, vWalk: V => V): Map[K, V]

Attributes

Inherited from:
BasicWalker
def walkOpt[T](opt: Option[T], tWalk: T => T): Option[T]

Attributes

Inherited from:
BasicWalker
def walkPair[K, V](pair: (K, V), kWalk: K => K, vWalk: V => V): (K, V)

Attributes

Inherited from:
BasicWalker
def walkSet[T](set: Set[T], tWalk: T => T): Set[T]

Attributes

Inherited from:
BasicWalker
def walkVector[T](vec: Vector[T], tWalk: T => T): Vector[T]

Attributes

Inherited from:
BasicWalker
Generated with