moduleceylon.language1.3.3
Source Code
ceylon.language.meta.model
interfaceType<out Target = Anything>
OverviewPackageAttributesMethods

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

Inherited Attributes
Attributes inherited from: Object
hash, string
Methods
exactlySource Codeshared formal Boolean exactly(AppliedType<Anything> type)

True if the given type is a exactly this type.

intersectionSource Codeshared formal AppliedType<Target&Other> intersection<Other>(AppliedType<Other> other)

The intersection of this type with the other type.

Since 1.2.0
subtypeOfSource 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.

supertypeOfSource 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.

typeOfSource Codeshared formal Boolean typeOf(Anything instance)

True if the given instance is of this type, or is of a subtype of this type.

unionSource Codeshared formal AppliedType<Target|Other> union<Other>(AppliedType<Other> other)

The union of this type with the other type.

Since 1.2.0
Inherited Methods
Methods inherited from: Object
equals()