abstract
case class
TypeBounds
extends
CachedProxyType
with
TypeType
Type bounds >: lo <: hi
Constructors
TypeBounds
(
lo:
Type
,
hi:
Type
)
Members
val
hi
: Type
val
lo
: Type
def
&
(
that:
TypeBounds
)
(
implicit
ctx:
Context
)
: TypeBounds
override
def
&
(
that:
Type
)
(
implicit
ctx:
Context
)
: Type
def
_1
: T1
def
_2
: T2
def
boundsInterval
(
implicit
ctx:
Context
)
: TypeBounds
The implied bounds, where aliases are mapped to intervals from Nothing/Any
The implied bounds, where aliases are mapped to intervals from Nothing/Any
final
def
commonVariance
(
that:
TypeBounds
)
: Int
If this type and that type have the same variance, this variance, otherwise 0
If this type and that type have the same variance, this variance, otherwise 0
override
def
computeHash
: Int
def
contains
(
tp:
Type
)
(
implicit
ctx:
Context
)
: Boolean
def
derivedTypeBounds
(
lo:
Type
,
hi:
Type
)
(
implicit
ctx:
Context
)
: TypeBounds
The non-alias type bounds type with given bounds
The non-alias type bounds type with given bounds
override
def
equals
(
that:
Any
)
: Boolean
override
def
toString
: String
override
def
underlying
(
implicit
ctx:
Context
)
: Type
The type to which this proxy forwards operations.
The type to which this proxy forwards operations.
def
variance
: Int
def
withVariance
(
variance:
Int
)
(
implicit
ctx:
Context
)
: TypeBounds
If this is an alias, a derived alias with the new variance, Otherwise the type itself.
If this is an alias, a derived alias with the new variance, Otherwise the type itself.
def
|
(
that:
TypeBounds
)
(
implicit
ctx:
Context
)
: TypeBounds
override
def
|
(
that:
Type
)
(
implicit
ctx:
Context
)
: Type