abstract
case class
SkolemType
extends
UncachedProxyType
with
ValueType
with
SingletonType
A skolem type reference with underlying type binder
.
Constructors
SkolemType
(
info:
Type
)
Members
val
info
: Type
private
var
myRepr
: String
def
_1
: T1
def
derivedSkolemType
(
info:
Type
)
(
implicit
ctx:
Context
)
: SkolemType
override
def
equals
(
that:
Any
)
: Boolean
override
def
hashCode
: Int
private
def
myRepr_=
(
x$1:
String
)
: Unit
def
repr
(
implicit
ctx:
Context
)
: String
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.