abstract
class
TypeProxy
extends
Type
A marker trait for type proxies.
Each implementation is expected to redefine the underlying
method.
Constructors
TypeProxy
(
)
Members
def
superType
(
implicit
ctx:
Context
)
: Type
The closest supertype of this type. This is the same as underlying
,
except that
- instead of a TyperBounds type it returns its upper bound, and
- for HKA...
The closest supertype of this type. This is the same as underlying
,
except that
- instead of a TyperBounds type it returns its upper bound, and
- for HKApplys it returns the upper bound of the constructor re-applied to the arguments.
def
underlying
(
implicit
ctx:
Context
)
: Type
The type to which this proxy forwards operations.
The type to which this proxy forwards operations.