final object Uniques

Defines operation unique for hash-consing types. Also defines specialized hash sets for hash consing uniques of a specific type. All sets offer a enterIfNew method which checks whether a type with the given parts exists already and creates a new one if not.

Constructors

Members

[+] final class NamedTypeUniques
[+] final class RefinedUniques
[+] final class TypeAliasUniques
[+] private def recordCaching ( tp: Type ) : Unit
[+] private def recordCaching ( h: Int , clazz: Class [ Nothing <: Any ] ) : Unit
[+] def unique ( tp: T ) ( implicit ctx: Context ) : T