abstract
case class
RefinedType
extends
RefinedOrRecType
A refined type parent { refinement }
Constructors
RefinedType
(
parent:
Type
,
refinedName:
Name
,
refinedInfo:
Type
)
Members
val
parent
: Type
val
refinedInfo
: Type
val
refinedName
: Name
def
_1
: T1
def
_2
: T2
def
_3
: T3
private
def
badInst
: Nothing
def
checkInst
(
implicit
ctx:
Context
)
: RefinedType
override
def
computeHash
: Int
def
derivedRefinedType
(
parent:
Type
,
refinedName:
Name
,
refinedInfo:
Type
)
(
implicit
ctx:
Context
)
: Type
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
wrapIfMember
(
parent:
Type
)
(
implicit
ctx:
Context
)
: Type
Add this refinement to parent
, provided If refinedName
is a member of parent
.
Add this refinement to parent
, provided If refinedName
is a member of parent
.