Preparing search index...
The search index is not available
Documentation - v0.0.1
Documentation
typir
Names
Type Alias Names
Names
:
string
|
string
[]
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
Documentation - v0.0.1
typir
Module
merge
BottomKind
BottomType
ClassKind
ClassType
ClassTypeInitializer
CompositeTypeInferenceRule
DefaultKindRegistry
DefaultLanguageNodeInferenceCaching
DefaultOperatorFactory
DefaultSubType
DefaultTypeAssignability
DefaultTypeConflictPrinter
DefaultTypeConversion
DefaultTypeEquality
DefaultTypeInferenceCollector
DefaultTypeRelationshipCaching
DefaultTypeResolver
DefaultValidationCollector
DefaultValidationConstraints
FixedParameterKind
FixedParameterType
FunctionKind
FunctionType
FunctionTypeInitializer
MapListConverter
MultiplicityKind
MultiplicityType
Parameter
ParameterValue
PrimitiveKind
PrimitiveType
TopClassKind
TopClassType
TopKind
TopType
Type
TypeGraph
TypeInitializer
TypeReference
UniqueClassValidation
UniqueFunctionValidation
UniqueMethodValidation
WaitingForIdentifiableAndCompletedTypeReferences
WaitingForInvalidTypeReferences
AnnotatedTypeAfterValidation
AnyOperatorDetails
AssignabilityProblem
BinaryOperatorDetails
BinaryOperatorSignature
BottomFactoryService
BottomKindOptions
BottomTypeDetails
ClassFactoryService
ClassKindOptions
ClassTypeDetails
ConversionEdge
CreateClassTypeDetails
CreateFieldDetails
CreateFunctionTypeDetails
CreateParameterDetails
EqualityEdge
FieldDetails
FixedParameterKindOptions
FixedParameterTypeDetails
FunctionFactoryService
FunctionInferenceRules
FunctionKindOptions
FunctionTypeDetails
GenericOperatorDetails
IndexedTypeConflict
InferenceProblem
Kind
KindRegistry
LanguageNodeInferenceCaching
MethodDetails
MultiplicityKindOptions
MultiplicityTypeDetails
OperatorFactoryService
OverloadedFunctionDetails
ParameterDetails
PreconditionsForInitializationState
PrimitiveFactoryService
PrimitiveKindOptions
PrimitiveTypeDetails
ProblemPrinter
SingleFunctionDetails
SubType
SubTypeEdge
SubTypeProblem
TernaryOperatorDetails
TernaryOperatorSignature
TopClassKindOptions
TopClassTypeDetails
TopFactoryService
TopKindOptions
TopTypeDetails
TypeAssignability
TypeConversion
TypeDetails
TypeEdge
TypeEquality
TypeEqualityProblem
TypeGraphListener
TypeInferenceCollector
TypeInferenceCollectorListener
TypeInferenceRuleWithInferringChildren
TypeReferenceListener
TypeRelationshipCaching
TypeResolvingService
TypeStateListener
TypirProblem
UnaryOperatorDetails
UnaryOperatorSignature
UniqueMethodValidationEntry
ValidationCollector
ValidationConstraints
ValidationMessageDetails
ValidationProblem
ValidationRuleWithBeforeAfter
ValueConflict
WaitingForIdentifiableAndCompletedTypeReferencesListener
BasicTypeSelector
CachePending
ConversionMode
ConversionModeForSpecification
DeepPartial
EdgeCachingInformation
FunctionCallValidationRule
InferBottomType
InferClassLiteral
InferenceRuleNotApplicable
InferFunctionCall
InferOperatorWithMultipleOperands
InferOperatorWithSingleOperand
InferPrimitiveType
InferTopClassType
InferTopType
Module
Names
NameTypePair
OperatorValidationRule
PartialTypirServices
Severity
TypeCheckStrategy
TypeInferenceResultWithoutInferringChildren
TypeInferenceRule
TypeInferenceRuleWithoutInferringChildren
TypeInitializationState
TypeInitializerListener
TypeInitializers
Types
TypeSelector
TypeToCheck
TypirServices
ValidationMessageProvider
ValidationRule
WaitingForInvalidTypeReferencesListener
AssignabilityProblem
BottomKindName
CachePending
ClassKindName
ConversionEdge
DefaultTypirServiceModule
EqualityEdge
FixedParameterKindName
FunctionKindName
IndexedTypeConflict
InferenceProblem
InferenceRuleNotApplicable
MULTIPLICITY_UNLIMITED
MultiplicityKindName
NO_FUNCTION_NAME
NO_PARAMETER_NAME
PrimitiveKindName
SubTypeEdge
SubTypeProblem
TopClassKindName
TopKindName
TypeEqualityProblem
ValidationProblem
ValueConflict
assertKind
assertTrue
assertType
assertUnreachable
checkNameTypesMap
checkTypeArrays
checkTypes
checkValueForConflict
createKindConflict
createNoSuperClassCyclesValidation
createTypeCheckStrategy
createTypirServices
eagerLoad
expectTypirTypes
inject
isAssignabilityProblem
isBottomKind
isBottomType
isClassKind
isClassType
isConversionEdge
isEqualityEdge
isFixedParametersKind
isFixedParameterType
isFunctionKind
isFunctionType
isIndexedTypeConflict
isInferenceProblem
isKind
isMultiplicityKind
isMultiplicityType
isNameTypePair
isPrimitiveKind
isPrimitiveType
isSpecificTypirProblem
isSubTypeEdge
isSubTypeProblem
isTopClassKind
isTopClassType
isTopKind
isTopType
isType
isTypeEdge
isTypeEqualityProblem
isValidationProblem
isValueConflict
toArray
typir-langium
AbstractLangiumTypeCreator
DefaultLangiumTypirValidator
LangiumLanguageNodeInferenceCaching
LangiumProblemPrinter
PlaceholderLangiumTypeCreator
LangiumTypeCreator
LangiumTypirValidator
LangiumServicesForTypirBinding
PartialTypirLangiumServices
TypirLangiumServices
createDefaultTypirLangiumServices
createLangiumModuleForTypirBinding
createLangiumSpecificTypirServicesModule
deleteAllDocuments
getDocumentKey
getDocumentKeyForDocument
getDocumentKeyForURI
initializeLangiumTypirServices
registerTypirValidationChecks
M
M
N
E
P
V
F
C
I
C
P
M
F
P
C
P
T
T
A
A
A
T
R