Package org.jetbrains.jet.lang.types

Interface Summary

JetType
LazyType
TypeConstructor
TypeProjection
TypeSubstitution
TypeUnifier.UnificationResult

Class Summary

AbstractClassTypeConstructor
AbstractJetType
BoundsSubstitutor
CastDiagnosticsUtil
CommonSupertypes
CompositeTypeSubstitution
DeferredType
DelegatingType
DescriptorSubstitutor
ErrorUtils
ErrorUtils.ErrorScope
ErrorUtils.UninferredParameterTypeConstructor
IntersectionTypeConstructor
JetTypeImpl
JetTypeInfo
SubstitutionUtils
TypeConstructorImpl
TypeProjectionBase
TypeProjectionImpl
TypeReconstructionResult
TypeSubstitutor
TypeSubstitutor.MapToTypeSubstitutionAdapter
TypeUnifier
TypeUtils
TypeUtils.SpecialType

Enum Summary

Variance