Public Instance Constructors
Public Instance Fields
Public Instance Properties
AnyHint (inherited from TyVar) |
|
|
CanBeNull (inherited from MType) |
|
|
CurrentSolver (inherited from TyVar) |
|
|
FixedValue (inherited from TyVar) |
|
|
Hint (inherited from TyVar) |
|
|
IsEnum (inherited from MType) |
|
|
IsFixed (inherited from TyVar) |
|
|
IsFree (inherited from TyVar) |
|
|
IsFresh (inherited from TyVar) |
|
|
IsFromNull (inherited from TyVar) |
|
|
IsInterface (inherited from MType) |
|
|
IsPrimitive (inherited from MType) |
|
|
IsSeparated (inherited from MType) |
Check if given type cannot be supertyped by a plain type constructor. |
|
IsSystemObject (inherited from MType) |
|
|
IsValueType (inherited from MType) |
|
|
LowerBound (inherited from TyVar) |
|
|
TypeInfo (inherited from MType) |
|
|
UpperBound (inherited from TyVar) |
Public Instance Methods
_N_GetVariantCode
|
|
|
CheckAccessibility (inherited from MType) |
Check if [access] doesn't grant more access than any of tycons in [this]. The [what] parameter is used only for error messages. |
|
CompareTo (inherited from TyVar) |
|
|
Equals (inherited from MType) |
Overloaded. Check for type equality, taking intersection types into account. |
|
Equals (inherited from TyVar) |
Overloaded. |
|
Expand (inherited from MType) |
This is a hack used in external/Codec.n to expand type aliases in imported types. NTE won't generate aliases there, so it shouldn't be needed later. |
|
Fix (inherited from TyVar) |
|
|
Fixate (inherited from TyVar) |
Fix the type to be [LowerBound], so it won't change anymore. |
|
GetFunctionArguments (inherited from MType) |
|
|
GetHashCode (inherited from TyVar) |
|
|
GetSystemType (inherited from MType) |
|
|
GetType (inherited from Object) |
|
|
Provide (inherited from MType) |
Overloaded. |
|
Require (inherited from MType) |
Overloaded. Enforce [this] to be subtype of [t]. |
|
ToString (inherited from MType) |
|
|
TryEnforcingEquality (inherited from MType) |
Check for type equality, taking intersection types into account. If it's possible that types are equal -- enforce that. Assume non-seperated types. |
|
TryProvide (inherited from TyVar) |
|
|
TryRequire (inherited from TyVar) |
|
|
TryUnify (inherited from TyVar) |
|
|
TypeOfMember (inherited from MType) |
Get type of member when referenced on value of the current type, which has to be fixed. |
|
TypeOfMethod (inherited from MType) |
|
|
Unify (inherited from MType) |
Overloaded. Enforce [this] to be equal [t]. |
|
Unify (inherited from TyVar) |
Overloaded. Make sure [t] and [this] will from now on always represent the same type. |
Protected Instance Properties
Self (inherited from TyVar) |
See Also
MType.Intersection Class | Nemerle.Compiler Namespace