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.UninferredParameterType
IntersectionTypeConstructor
JetTypeImpl
JetTypeInfo
PackageType	This is a fake type assigned to package expressions.
SubstitutionUtils
TypeConstructorImpl
TypeProjectionBase
TypeProjectionImpl
TypeReconstructionResult
TypeSubstitutor
TypeSubstitutor.MapToTypeSubstitutionAdapter
TypeUnifier
TypeUtils
TypeUtils.SpecialType

Enum Summary

Variance