moduleceylon.language1.1.0
Source Code
ceylon.language.meta.model
interfaceIntersectionType<out Intersection = Anything>
satisfies Type<Intersection>
OverviewPackageAttributesMethods

A closed intersection type.

no type hierarchy

no subtypes hierarchy

Attributes
satisfiedTypesSource Codeshared formal List<Type<Anything>> satisfiedTypes

The list of closed satisfied types of this intersection.

Inherited Attributes
Attributes inherited from: Object
Object.hash, Object.string
Inherited Methods
Methods inherited from: Object
Object.equals()
Methods inherited from: Type<Type>
Type.exactly(), Type.subtypeOf(), Type.supertypeOf(), Type.typeOf()