Public Static Methods
Public Instance Properties
AnyHint
|
|
|
CanBeNull
|
|
|
CurrentSolver
|
|
|
FixedValue
|
|
|
Hint
|
|
|
IsFixed
|
|
|
IsFree
|
|
|
IsFresh
|
|
|
IsFromNull
|
|
|
LowerBound
|
|
|
UpperBound
|
Public Instance Methods
CompareTo
|
|
|
Equals
|
Overloaded. |
|
Fix
|
|
|
Fixate
|
Fix the type to be [LowerBound], so it won't change anymore. |
|
GetHashCode
|
|
|
GetType (inherited from Object) |
|
|
Provide
|
Overloaded. Provide type [t] as the maximal type for [this]. |
|
Require
|
Overloaded. Require [this] to be at least [t]. |
|
ToString
|
|
|
TryProvide
|
|
|
TryRequire
|
|
|
TryUnify
|
|
|
Unify
|
Overloaded. Make sure [t] and [this] will from now on always represent the same type. |
Protected Instance Fields
Protected Instance Properties
Protected Instance Methods
Finalize (inherited from Object) |
|
|
MemberwiseClone (inherited from Object) |
See Also
TyVar Class | Nemerle.Compiler Namespace