scala3-compiler-bootstrapped
API
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL
scala3-compiler-bootstrapped/dotty.tools/dotty.tools.dotc/dotty.tools.dotc.core/NameKinds/NumberedInfo

NumberedInfo

dotty.tools.dotc.core.NameKinds$.NumberedInfo
trait NumberedInfo extends NameInfo

A base trait for infos that contain a number

Attributes

Graph
Supertypes
class NameInfo
class Object
trait Matchable
class Any
Known subtypes
class NumberedInfo

Members list

Value members

Abstract methods

def num: Int

Inherited methods

def kind: NameKind

Attributes

Inherited from:
NameInfo
def map(f: SimpleName => SimpleName): NameInfo

Attributes

Inherited from:
NameInfo
def mkString(underlying: TermName): String

Attributes

Inherited from:
NameInfo
Generated with
Copyright (c) 2002-2023, LAMP/EPFL
Copyright (c) 2002-2023, LAMP/EPFL