Interface | Description |
---|---|
InstType<Formal extends Param,Actual extends TypeObject> |
A parameterized type instantiated on actual arguments.
|
MuPClass<Formal extends Param,Actual extends TypeObject> | |
Param |
Interface tagging any type-system object that can be used as a parameter
to a parameterized type.
|
ParamTypeSystem<Formal extends Param,Actual extends TypeObject> |
Type system for parameterized types.
|
PClass<Formal extends Param,Actual extends TypeObject> |
Parametric class.
|
Subst<Formal extends Param,Actual extends TypeObject> |
Utility class that performs substitutions on type objects.
|
SubstType<Formal extends Param,Actual extends TypeObject> |
A type on which substitutions have been applied.
|
Class | Description |
---|---|
MuPClass_c<Formal extends Param,Actual extends TypeObject> |
A base implementation for mutable parametric classes.
|
ParamTypeSystem_c<Formal extends Param,Actual extends TypeObject> |
Implementation of type system for parameterized types.
|
PClass_c<Formal extends Param,Actual extends TypeObject> |
A base implementation for parametric classes.
|
Subst_c<Formal extends Param,Actual extends TypeObject> |
Utility class that performs substitutions on type objects using a
map.
|
SubstClassType_c<Formal extends Param,Actual extends TypeObject> |
Implementation of a ClassType that performs substitutions using a
map.
|
Type objects for the param extension.