trait
BaseTypeSeqs extends AnyRef
Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
val
CyclicInheritance: Throwable
-
final
def
asInstanceOf[T0]: T0
-
def
baseTypeSingletonSeq(tp: Type): BaseTypeSeq
-
def
clone(): AnyRef
-
def
compoundBaseTypeSeq(tp: Type): BaseTypeSeq
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): java.lang.Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toString(): String
-
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
A base type sequence (BaseTypeSeq) is an ordered sequence spanning all the base types of a type. It characterized by the following two laws:
(1) Each element of
tp.baseTypeSeq' is a basetype of
tp' (2) For each basetypebt1' of
tp' there is an elementbt' in
tp.baseTypeSeq' such thatbt.typeSymbol = bt1.typeSymbol bt <: bt1
(3) The type symbols of different elements are different.
Elements in the sequence are ordered by Symbol.isLess.
base type sequences were called closures up to 2.7.1. The name has been changed to avoid confusion with function closures.