None
A stub to introduce null
s.
Instances of this class are never emitted from actual code. Instead, they can be used as intermediate placeholders during code generation or markers of erroneous code paths. In particular, they can be used to skip null checks.
Attributes
Members list
Type members
Inherited types
The names of the product elements
The names of the product elements
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
The name of the type
The name of the type
Attributes
- Inherited from:
- Mirror
The mirrored *-type
The mirrored *-type
Attributes
- Inherited from:
- Singleton
Attributes
- Inherited from:
- Singleton
Value members
Concrete methods
Returns a member of this
with the given signature.
Returns a member of this
with the given signature.
- Requires:
this
is a top-level symbol.
Attributes
- Definition Classes
Inherited methods
Create a new instance of type T
with elements taken from product p
.
Create a new instance of type T
with elements taken from product p
.
Attributes
- Inherited from:
- Singleton
Returns true
iff this
is a top-level symbol.
Returns the mangled representation of this
.
Returns a member of this
with the given signature.
Returns a member of this
with the given signature.
- Requires:
this
is a top-level symbol.
Attributes
- Inherited from:
- Global
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product