A closed type.
A closed type is a type which is fully resolved and bound and contains no open type variables. All instance types are closed at runtime.
You have only four sorts of types:
no type hierarchy
no supertypes hierarchy
Methods | |
exactly | Source Codeshared formal Boolean exactly(AppliedType<Anything> type) True if the given type is a exactly this type. |
intersection | Source Codeshared formal AppliedType<Target&Other> intersection<Other>(AppliedType<Other> other) The intersection of this type with the other type. |
subtypeOf | Source Codeshared default Boolean subtypeOf(AppliedType<Anything> type) True if this type is a subtype of the given type, or if both types are the same. |
supertypeOf | Source Codeshared formal Boolean supertypeOf(AppliedType<Anything> type) True if this type is a supertype of the given type, or if both types are the same. |
typeOf | Source Codeshared formal Boolean typeOf(Anything instance) True if the given instance is of this type, or is of a subtype of this type. |
union | Source Codeshared formal AppliedType<Target|Other> union<Other>(AppliedType<Other> other) The union of this type with the other type. |
Inherited Methods |
Methods inherited from: Object |