Public Static Methods
AccessibilityIntersect
|
|
|
ConstructFunctionType
|
Overloaded. |
Public Instance Properties
AnyHint (inherited from TyVar) |
|
|
CanBeNull
|
|
|
CurrentSolver (inherited from TyVar) |
|
|
FixedValue (inherited from TyVar) |
|
|
Hint (inherited from TyVar) |
|
|
IsEnum
|
|
|
IsFixed (inherited from TyVar) |
|
|
IsFree (inherited from TyVar) |
|
|
IsFresh (inherited from TyVar) |
|
|
IsFromNull (inherited from TyVar) |
|
|
IsInterface
|
|
|
IsPrimitive
|
|
|
IsSeparated
|
Check if given type cannot be supertyped by a plain type constructor. |
|
IsSystemObject
|
|
|
IsValueType
|
|
|
LowerBound (inherited from TyVar) |
|
|
TypeInfo
|
|
|
UpperBound (inherited from TyVar) |
Public Instance Methods
|
_N_GetVariantCode
|
Represent top-level type constructor for a given type. |
|
CheckAccessibility
|
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
|
Overloaded. Check for type equality, taking intersection types into account. |
|
Equals (inherited from TyVar) |
Overloaded. |
|
Expand
|
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
|
|
|
GetHashCode (inherited from TyVar) |
|
|
GetSystemType
|
|
|
GetType (inherited from Object) |
|
|
Provide
|
Overloaded. |
|
Require
|
Overloaded. Enforce [this] to be subtype of [t]. |
|
ToString
|
|
|
TryEnforcingEquality
|
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
|
Get type of member when referenced on value of the current type, which has to be fixed. |
|
TypeOfMethod
|
|
|
Unify
|
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 Fields
flags (inherited from TyVar) |
|
|
lower_bound (inherited from TyVar) |
|
|
serial (inherited from TyVar) |
|
|
upper_bound (inherited from TyVar) |
Protected Instance Properties
Self (inherited from TyVar) |
Protected Instance Methods
Finalize (inherited from Object) |
|
|
MemberwiseClone (inherited from Object) |
See Also
MType Class | Nemerle.Compiler Namespace