hlt.language.design.types

Interfaces

• Bindable
• Collection
• GoalProver
• Valuable

Classes

• ArrayIndexTypeGoal
• ArrayType
• BagType
• BaseTypeGoal
• BoxableTypeConstant
• BuiltinEntry
• CheckExitableGoal
• ChoicePoint
• ClassInfo
• ClassType
• CodeEntry
• CodeEntry.CodeId
• CollectionType
• CollectionTypeConstant
• ConstructedType
• DefinedEntry
• DefinedType
• EmptyGoal
• FieldInfo
• FunctionType
• GlobalTypingGoal
• Goal
• ListType
• NamedTupleType
• NamedType
• NoVoidTypeGoal
• PopExitableGoal
• ProtoType
• PruningGoal
• PushExitableGoal
• ResiduatedGoal
• SetType
• ShadowUnifyGoal
• StaticType
• Symbol
• Tables
• TimeStamp
• TupleType
• Type
• TypeChecker
• TypeConstant
• TypeDefinition
• TypeParameter
• TypeTerm
• TypeTermScheme
• TypingGoal
• TypingState
• UnifyBaseTypeGoal
• UnifyGoal

Exceptions

• ClassDeclarationException
• DuplicateCodeEntryException
• FailedUnificationException
• NoSuchTypeComponentException
• ObjectInitializationException
• StaticSemanticsErrorException
• TypeClashException
• TypeDefinitionException
• TypingErrorException