moduleceylon.language1.2.2
Source Code
ceylon.language.meta.model
objectnothingType
extends Basic
satisfies Type<Nothing>
OverviewPackageAttributesMethodsSingleton object declaration

The singleton closed type for Nothing.

no subtypes hierarchy

Attributes
stringSource Codeshared actual String string

A developer-friendly string representing the instance. Concatenates the name of the concrete class of the instance with the hash of the instance. Subclasses are encouraged to refine this implementation to produce a more meaningful representation.

Refines Object.string
Inherited Attributes
Attributes inherited from: Object
hash, string
Methods
exactlySource Codeshared actual Boolean exactly(Type<Anything> type)

True if the given type is a exactly this type.

Refines Type.exactly
intersectionSource Codeshared actual Type<Nothing> intersection<Other>(Type<Other> type)

The intersection of this type with the other type.

Refines Type.intersection
subtypeOfSource Codeshared actual Boolean subtypeOf(Type<Anything> type)

True if this type is a subtype of the given type, or if both types are the same.

Refines Type.subtypeOf
supertypeOfSource Codeshared actual Boolean supertypeOf(Type<Anything> type)

True if this type is a supertype of the given type, or if both types are the same.

Refines Type.supertypeOf
typeOfSource Codeshared actual Boolean typeOf(Anything instance)

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

Refines Type.typeOf
unionSource Codeshared actual Type<Other> union<Other>(Type<Other> type)

The union of this type with the other type.

Refines Type.union
Inherited Methods
Methods inherited from: Object
equals()
Methods inherited from: Type<Target>
exactly(), intersection(), subtypeOf(), supertypeOf(), typeOf(), union()