Dotty Documentation

0.5.0-bin-SNAPSHOT

object Designators
extends Object

Defines a common superclass of Name and Symbol and its Term/Type variants Designators are used in reference type to identity what is referred to.

[-] Constructors

[-] Members

[+] abstract class Designator
[+] case class LocalName

Names that come with the namespace where they are defined. Used to give a stable reference to private names, and also to Scala 2x inner classes.

[+] object LocalName

Names that come with the namespace where they are defined. Used to give a stable reference to private names, and also to Scala 2x inner classes.

[+] type TermDesignator = Designator
[+] type TypeDesignator = Designator
[+] def localName ( name: N , nameSpace: TypeRef ) : Designator

Introduced to overcome shortcoming with refined type inference of case classes: LocalName's result type is always Designator, without a refinement.