List of all items

Structs

• AnyPropagationRules
• ApplicationEvaluator
• AssignabilityFailureAnalysis
• CompatChecker
• ConstAssertionVisitor
• ConstraintSet
• ContextualTypeContext
• DefaultJudge
• DiagnosticBuilder
• DiagnosticCollector
• DiscriminantInfo
• InferenceCandidate
• InferenceContext
• InferenceInfo
• InferenceVar
• JudgeConfig
• NarrowingCache
• NarrowingContext
• NarrowingResult
• NoopOverrideProvider
• PendingDiagnostic
• PendingDiagnosticBuilder
• PrimitiveFlags
• QueryCache
• RecursiveTypeCollector
• RelationCacheStats
• RelationContext
• RelationPolicy
• RelationQueryInputs
• RelationResult
• SourceLocation
• SourceSpan
• SpannedDiagnosticBuilder
• SubtypeChecker
• TypeCollectorVisitor
• TypeEvaluator
• TypeFactory
• TypeFormatter
• TypeInstantiator
• TypeInterner
• TypeKindVisitor
• TypePredicateVisitor
• TypeSubstitution
• canonicalize::Canonicalizer
• classes::class_hierarchy::ClassTypeBuilder
• classes::inheritance::InheritanceGraph
• def::ContentAddressedDefIds
• def::DefId
• def::DefinitionInfo
• def::DefinitionStore
• judge::DefaultJudge
• judge::JudgeConfig
• judge::PrimitiveFlags
• objects::ObjectLiteralBuilder
• objects::apparent::ApparentMember
• objects::element_access::ElementAccessEvaluator
• objects::index_signatures::IndexSignatureResolver
• operations::CallEvaluator
• operations::binary_ops::BinaryOpEvaluator
• operations::iterators::IteratorInfo
• operations::property::PropertyAccessEvaluator
• recursion::DepthCounter
• recursion::RecursionGuard
• type_resolver::NoopResolver
• type_resolver::TypeEnvironment
• types::CallSignature
• types::CallableShape
• types::CallableShapeId
• types::ConditionalType
• types::ConditionalTypeId
• types::FunctionShape
• types::FunctionShapeId
• types::IndexInfo
• types::IndexSignature
• types::MappedType
• types::MappedTypeId
• types::ObjectFlags
• types::ObjectShape
• types::ObjectShapeId
• types::OrderedFloat
• types::ParamInfo
• types::PropertyInfo
• types::RelationCacheKey
• types::SymbolRef
• types::TemplateLiteralId
• types::TupleElement
• types::TupleListId
• types::TypeApplication
• types::TypeApplicationId
• types::TypeId
• types::TypeListId
• types::TypeParamInfo
• types::TypePredicate
• types::Variance
• unsoundness_audit::RuleImplementation
• unsoundness_audit::UnsoundnessAudit
• visitor::ConstAssertionVisitor
• visitor::RecursiveTypeCollector
• visitor::TypeCollectorVisitor
• visitor::TypeKindVisitor
• visitor::TypePredicateVisitor

Enums

• AnyPropagationMode
• ApplicationResult
• CallableKind
• ConditionalResult
• ConstraintConflict
• DiagnosticArg
• DiagnosticSeverity
• InferenceError
• IterableKind
• ObjectTypeKind
• PropertyResult
• RelationCacheProbe
• RelationKind
• SubtypeFailureReason
• SubtypeResult
• TruthinessKind
• TypeGuard
• TypeKind
• TypeofKind
• def::DefKind
• def::EnumMemberValue
• judge::CallableKind
• judge::IterableKind
• judge::PropertyResult
• judge::TruthinessKind
• objects::PropertyCollectionResult
• objects::apparent::ApparentMemberKind
• objects::element_access::ElementAccessResult
• objects::index_signatures::IndexKind
• operations::CallResult
• operations::binary_ops::BinaryOpResult
• operations::binary_ops::PrimitiveClass
• operations::generics::GenericInstantiationResult
• operations::property::PropertyAccessResult
• recursion::RecursionProfile
• recursion::RecursionResult
• type_queries::ConstraintTypeKind
• type_queries::ConstructableTypeKind
• type_queries::ConstructorTypeKind
• type_queries::EvaluationNeeded
• type_queries::PropertyLookupKind
• type_queries::SignatureTypeKind
• type_queries::StaticPropertySource
• type_queries::classifiers::AssignabilityEvalKind
• type_queries::classifiers::AugmentationTargetKind
• type_queries::classifiers::BindingElementTypeKind
• type_queries::classifiers::ConstructorAccessKind
• type_queries::classifiers::ExcessPropertiesKind
• type_queries::classifiers::InterfaceMergeKind
• type_queries::classifiers::SymbolResolutionTraversalKind
• type_queries::extended::ArrayLikeKind
• type_queries::extended::CallSignaturesKind
• type_queries::extended::ContextualLiteralAllowKind
• type_queries::extended::ElementIndexableKind
• type_queries::extended::IndexKeyKind
• type_queries::extended::KeyOfTypeKind
• type_queries::extended::LazyTypeKind
• type_queries::extended::LiteralKeyKind
• type_queries::extended::LiteralTypeKind
• type_queries::extended::MappedConstraintKind
• type_queries::extended::NamespaceMemberKind
• type_queries::extended::PrivateBrandKind
• type_queries::extended::PromiseTypeKind
• type_queries::extended::PropertyAccessResolutionKind
• type_queries::extended::SpreadPropertyKind
• type_queries::extended::SpreadTypeKind
• type_queries::extended::StringLiteralKeyKind
• type_queries::extended::SymbolRefKind
• type_queries::extended::TypeArgumentExtractionKind
• type_queries::extended::TypeContainsKind
• type_queries::extended::TypeDepthKind
• type_queries::extended::TypeParameterContentKind
• type_queries::extended::TypeParameterKind
• type_queries::extended::TypeQueryKind
• type_queries::extended::TypeResolutionKind
• type_queries::extended_constructors::AbstractClassCheckKind
• type_queries::extended_constructors::AbstractConstructorAnchor
• type_queries::extended_constructors::AbstractConstructorKind
• type_queries::extended_constructors::BaseInstanceMergeKind
• type_queries::extended_constructors::ClassDeclTypeKind
• type_queries::extended_constructors::ConstructSignatureKind
• type_queries::extended_constructors::ConstructorCheckKind
• type_queries::extended_constructors::ConstructorReturnMergeKind
• type_queries::extended_constructors::InstanceTypeKind
• type_queries::extended_constructors::NewExpressionTypeKind
• type_queries::flow::ConstructorInstanceKind
• type_queries::flow::FalsyComponentKind
• type_queries::flow::LiteralValueKind
• type_queries::flow::NonObjectKind
• type_queries::flow::PredicateSignatureKind
• type_queries::flow::PropertyPresenceKind
• type_queries::flow::TypeParameterConstraintKind
• type_queries::flow::UnionMembersKind
• type_queries::iterable::AsyncIterableTypeKind
• type_queries::iterable::ForOfElementKind
• type_queries::iterable::FullIterableTypeKind
• type_queries::iterable::IterableTypeKind
• type_queries::traversal::PropertyAccessClassification
• type_queries::traversal::PropertyTraversalKind
• type_queries::traversal::TypeTraversalKind
• types::InferencePriority
• types::IntrinsicKind
• types::LiteralValue
• types::MappedModifier
• types::PropertyLookup
• types::StringIntrinsicKind
• types::TemplateSpan
• types::TypeData
• types::TypePredicateTarget
• types::Visibility
• types::WellKnownSymbolKey
• unsoundness_audit::ImplementationPhase
• unsoundness_audit::ImplementationStatus
• visitor::ObjectTypeKind
• visitor::TypeKind

Traits

• AssignabilityOverrideProvider
• Judge
• QueryDatabase
• TypeDatabase
• TypeVisitor
• judge::Judge
• operations::AssignabilityChecker
• type_resolver::TypeResolver
• utils::TypeIdExt
• visitor::TypeVisitor

Functions

• analyze_assignability_failure_with_resolver
• application_id
• apply_contextual_type
• are_types_structurally_identical
• array_element_type
• bound_parameter_index
• callable_shape_id
• classes::class_hierarchy::would_create_inheritance_cycle
• classify_object_type
• collect_all_types
• collect_enum_def_ids
• collect_infer_bindings
• collect_lazy_def_ids
• collect_referenced_types
• collect_type_queries
• conditional_type_id
• contains_error_type
• contains_infer_types
• contains_this_type
• contains_type_matching
• contains_type_parameters
• enum_components
• evaluate_conditional
• evaluate_index_access
• evaluate_index_access_with_options
• evaluate_keyof
• evaluate_mapped
• evaluate_type
• find_discriminants
• for_each_child
• for_each_child_by_id
• function_shape_id
• index_access_parts
• instantiate_type
• intersection_list_id
• intrinsic_kind
• is_array_type
• is_conditional_type
• is_definitely_nullish
• is_empty_object_type
• is_empty_object_type_db
• is_enum_type
• is_error_type
• is_function_type
• is_function_type_db
• is_generic_application
• is_identity_comparable_type
• is_index_access_type
• is_intersection_type
• is_literal_type
• is_literal_type_db
• is_mapped_type
• is_module_namespace_type
• is_nullish_type
• is_object_like_type
• is_object_like_type_db
• is_primitive_type
• is_subtype_of
• is_template_literal_type
• is_this_type
• is_tuple_type
• is_type_kind
• is_type_parameter
• is_type_reference
• is_union_type
• keyof_inner_type
• lazy_def_id
• literal_number
• literal_string
• literal_value
• mapped_type_id
• module_namespace_symbol_ref
• narrow_by_discriminant
• narrow_by_typeof
• no_infer_inner_type
• object_shape_id
• object_with_index_shape_id
• objects::apparent::apparent_object_member_kind
• objects::apparent::apparent_primitive_member_kind
• objects::apparent::apparent_primitive_members
• objects::apparent::apparent_primitive_shape
• objects::collect_properties
• operations::compound_assignment::fallback_compound_assignment_result
• operations::compound_assignment::is_compound_assignment_operator
• operations::compound_assignment::map_compound_assignment_to_binary
• operations::compute_contextual_types_with_compat_checker
• operations::expression_ops::compute_best_common_type
• operations::expression_ops::compute_conditional_expression_type
• operations::expression_ops::compute_template_expression_type
• operations::generics::solve_generic_instantiation
• operations::get_contextual_signature_with_compat_checker
• operations::infer_call_signature
• operations::infer_generic_function
• operations::iterators::get_async_iterable_element_type
• operations::iterators::get_iterator_info
• operations::property::is_readonly_index_signature
• operations::property::property_is_readonly
• operations::resolve_call_with_checker
• operations::resolve_new_with_checker
• operations::widening::apply_const_assertion
• operations::widening::widen_type
• query_relation
• query_relation_with_overrides
• query_relation_with_resolver
• readonly_inner_type
• recursive_index
• ref_symbol
• relations::freshness::is_fresh_object_type
• relations::freshness::widen_freshness
• relations::variance::compute_variance
• remove_definitely_falsy_types
• remove_nullish
• split_nullish_type
• string_intrinsic_components
• substitute_this_type
• template_literal_id
• test_type
• tuple_list_id
• type_contains_undefined
• type_param_info
• type_queries::classifiers::classify_for_assignability_eval
• type_queries::classifiers::classify_for_augmentation
• type_queries::classifiers::classify_for_binding_element
• type_queries::classifiers::classify_for_constructor_access
• type_queries::classifiers::classify_for_excess_properties
• type_queries::classifiers::classify_for_interface_merge
• type_queries::classifiers::classify_for_symbol_resolution_traversal
• type_queries::classifiers::get_conditional_type_id
• type_queries::classifiers::get_enum_components
• type_queries::classifiers::get_keyof_type
• type_queries::classifiers::get_lazy_def_id
• type_queries::classifiers::get_mapped_type_id
• type_queries::classifiers::get_type_identity
• type_queries::classify_constructor_type
• type_queries::classify_for_constraint
• type_queries::classify_for_constructability
• type_queries::classify_for_evaluation
• type_queries::classify_for_property_lookup
• type_queries::classify_for_signatures
• type_queries::construct_to_call_callable
• type_queries::data::contains_error_type_db
• type_queries::data::contains_infer_types_db
• type_queries::data::contains_type_parameters_db
• type_queries::data::find_property_in_object
• type_queries::data::find_property_in_object_by_str
• type_queries::data::find_property_in_type_by_str
• type_queries::data::get_array_applicable_type
• type_queries::data::get_array_element_type
• type_queries::data::get_call_signatures
• type_queries::data::get_callable_shape
• type_queries::data::get_callable_shape_id
• type_queries::data::get_conditional_type
• type_queries::data::get_construct_return_type_union
• type_queries::data::get_construct_signatures
• type_queries::data::get_enum_def_id
• type_queries::data::get_function_shape
• type_queries::data::get_function_shape_id
• type_queries::data::get_index_access_types
• type_queries::data::get_intersection_members
• type_queries::data::get_mapped_type
• type_queries::data::get_object_shape
• type_queries::data::get_object_shape_id
• type_queries::data::get_private_brand_name
• type_queries::data::get_private_field_name
• type_queries::data::get_tuple_element_type_union
• type_queries::data::get_tuple_elements
• type_queries::data::get_type_application
• type_queries::data::get_type_parameter_constraint
• type_queries::data::get_type_parameter_info
• type_queries::data::get_type_shape_symbol
• type_queries::data::get_union_members
• type_queries::data::has_call_signatures
• type_queries::data::is_object_type_with_shape
• type_queries::data::keyof_object_properties
• type_queries::data::map_compound_members
• type_queries::data::map_compound_members_if_changed
• type_queries::data::replace_function_return_type
• type_queries::data::rewrite_function_error_slots_to_any
• type_queries::data::unpack_tuple_rest_parameter
• type_queries::data::unwrap_readonly
• type_queries::data::unwrap_readonly_deep
• type_queries::evaluate_contextual_structure_with
• type_queries::extended::classify_array_like
• type_queries::extended::classify_element_indexable
• type_queries::extended::classify_for_call_signatures
• type_queries::extended::classify_for_contains_traversal
• type_queries::extended::classify_for_contextual_literal
• type_queries::extended::classify_for_keyof
• type_queries::extended::classify_for_lazy_resolution
• type_queries::extended::classify_for_private_brand
• type_queries::extended::classify_for_property_access_resolution
• type_queries::extended::classify_for_spread_properties
• type_queries::extended::classify_for_string_literal_keys
• type_queries::extended::classify_for_type_argument_extraction
• type_queries::extended::classify_for_type_depth
• type_queries::extended::classify_for_type_parameter_content
• type_queries::extended::classify_for_type_resolution
• type_queries::extended::classify_index_key
• type_queries::extended::classify_literal_key
• type_queries::extended::classify_literal_type
• type_queries::extended::classify_mapped_constraint
• type_queries::extended::classify_namespace_member
• type_queries::extended::classify_promise_type
• type_queries::extended::classify_spread_type
• type_queries::extended::classify_symbol_ref
• type_queries::extended::classify_type_parameter
• type_queries::extended::classify_type_query
• type_queries::extended::create_boolean_literal_type
• type_queries::extended::create_number_literal_type
• type_queries::extended::create_string_literal_type
• type_queries::extended::get_application_base
• type_queries::extended::get_application_info
• type_queries::extended::get_boolean_literal_value
• type_queries::extended::get_callable_type_param_count
• type_queries::extended::get_function_return_type
• type_queries::extended::get_invalid_index_type_member
• type_queries::extended::get_iterable_element_type_from_db
• type_queries::extended::get_literal_property_name
• type_queries::extended::get_literal_value
• type_queries::extended::get_number_literal_value
• type_queries::extended::get_object_property_type
• type_queries::extended::get_string_literal_atom
• type_queries::extended::get_string_literal_value
• type_queries::extended::get_tuple_list_id
• type_queries::extended::get_type_param_default
• type_queries::extended::get_widened_literal_type
• type_queries::extended::is_boolean_literal
• type_queries::extended::is_direct_type_parameter
• type_queries::extended::is_invalid_index_type
• type_queries::extended::is_iterable_type_kind
• type_queries::extended::is_narrowable_type_key
• type_queries::extended::is_number_literal
• type_queries::extended::is_object_with_index_type
• type_queries::extended::is_string_literal
• type_queries::extended::unwrap_readonly_for_lookup
• type_queries::extended::widen_literal_to_primitive
• type_queries::extended_constructors::classify_for_abstract_check
• type_queries::extended_constructors::classify_for_abstract_constructor
• type_queries::extended_constructors::classify_for_base_instance_merge
• type_queries::extended_constructors::classify_for_class_decl
• type_queries::extended_constructors::classify_for_construct_signature
• type_queries::extended_constructors::classify_for_constructor_check
• type_queries::extended_constructors::classify_for_constructor_return_merge
• type_queries::extended_constructors::classify_for_instance_type
• type_queries::extended_constructors::classify_for_new_expression
• type_queries::extended_constructors::resolve_abstract_constructor_anchor
• type_queries::flow::classify_for_constructor_instance
• type_queries::flow::classify_for_falsy_component
• type_queries::flow::classify_for_literal_value
• type_queries::flow::classify_for_non_object
• type_queries::flow::classify_for_predicate_signature
• type_queries::flow::classify_for_property_presence
• type_queries::flow::classify_for_type_parameter_constraint
• type_queries::flow::classify_for_union_members
• type_queries::flow::extract_contextual_type_params
• type_queries::flow::extract_string_literal_keys
• type_queries::flow::get_return_type
• type_queries::flow::has_type_query_for_symbol
• type_queries::flow::instance_type_from_constructor
• type_queries::flow::is_narrowing_literal
• type_queries::flow::is_promise_like
• type_queries::flow::is_unit_type
• type_queries::flow::is_valid_for_in_target
• type_queries::flow::type_includes_undefined
• type_queries::flow::types_are_comparable
• type_queries::flow::union_contains
• type_queries::get_allowed_keys
• type_queries::get_function_parameter_types
• type_queries::get_function_return_type
• type_queries::get_static_property_source
• type_queries::get_symbol_ref_from_type
• type_queries::has_construct_signatures
• type_queries::is_any_type
• type_queries::is_array_type
• type_queries::is_bigint_type
• type_queries::is_boolean_type
• type_queries::is_callable_type
• type_queries::is_conditional_type
• type_queries::is_empty_object_type
• type_queries::is_error_type
• type_queries::is_function_type
• type_queries::is_generic_type
• type_queries::is_index_access_type
• type_queries::is_intersection_type
• type_queries::is_intrinsic_type
• type_queries::is_invokable_type
• type_queries::is_keyof_type
• type_queries::is_literal_type
• type_queries::is_mapped_type
• type_queries::is_never_type
• type_queries::is_null_type
• type_queries::is_number_type
• type_queries::is_object_like_type
• type_queries::is_object_type
• type_queries::is_primitive_type
• type_queries::is_readonly_type
• type_queries::is_string_type
• type_queries::is_symbol_type
• type_queries::is_template_literal_type
• type_queries::is_this_type
• type_queries::is_tuple_type
• type_queries::is_type_parameter_like
• type_queries::is_type_query
• type_queries::is_type_reference
• type_queries::is_type_usable_as_property_name
• type_queries::is_undefined_type
• type_queries::is_uninstantiated_type_parameter
• type_queries::is_union_type
• type_queries::is_unique_symbol_type
• type_queries::is_unknown_type
• type_queries::is_valid_spread_type
• type_queries::is_void_type
• type_queries::iterable::classify_async_iterable_type
• type_queries::iterable::classify_for_of_element_type
• type_queries::iterable::classify_full_iterable_type
• type_queries::iterable::classify_iterable_type
• type_queries::needs_evaluation_for_merge
• type_queries::traversal::classify_for_property_access
• type_queries::traversal::classify_for_traversal
• type_queries::traversal::classify_property_traversal
• type_queries::traversal::collect_accessible_property_names_for_suggestion
• type_queries::traversal::collect_property_name_atoms_for_diagnostics
• type_queries::traversal::get_lazy_if_def
• type_queries::traversal::is_only_null_or_undefined
• type_query_symbol
• types::is_compiler_managed_type
• types::process_template_escape_sequences
• union_list_id
• unique_symbol_ref
• utils::canonicalize_numeric_name
• utils::find_common_base_type
• utils::intersection_or_single
• utils::is_numeric_literal_name
• utils::is_numeric_property_name
• utils::lookup_property
• utils::optional_property_type
• utils::optional_property_write_type
• utils::union_or_single
• visitor::application_id
• visitor::array_element_type
• visitor::bound_parameter_index
• visitor::callable_shape_id
• visitor::classify_object_type
• visitor::collect_all_types
• visitor::collect_enum_def_ids
• visitor::collect_infer_bindings
• visitor::collect_lazy_def_ids
• visitor::collect_referenced_types
• visitor::collect_type_queries
• visitor::conditional_type_id
• visitor::contains_error_type
• visitor::contains_infer_types
• visitor::contains_this_type
• visitor::contains_type_matching
• visitor::contains_type_parameters
• visitor::enum_components
• visitor::for_each_child
• visitor::for_each_child_by_id
• visitor::for_each_child_type_id
• visitor::function_shape_id
• visitor::index_access_parts
• visitor::intersection_list_id
• visitor::intrinsic_kind
• visitor::is_array_type
• visitor::is_conditional_type
• visitor::is_empty_object_type
• visitor::is_empty_object_type_db
• visitor::is_enum_type
• visitor::is_error_type
• visitor::is_function_type
• visitor::is_function_type_db
• visitor::is_generic_application
• visitor::is_identity_comparable_type
• visitor::is_index_access_type
• visitor::is_intersection_type
• visitor::is_literal_type
• visitor::is_literal_type_db
• visitor::is_mapped_type
• visitor::is_module_namespace_type
• visitor::is_object_like_type
• visitor::is_object_like_type_db
• visitor::is_primitive_type
• visitor::is_template_literal_type
• visitor::is_this_type
• visitor::is_tuple_type
• visitor::is_type_kind
• visitor::is_type_parameter
• visitor::is_type_reference
• visitor::is_union_type
• visitor::keyof_inner_type
• visitor::lazy_def_id
• visitor::literal_number
• visitor::literal_string
• visitor::literal_value
• visitor::mapped_type_id
• visitor::module_namespace_symbol_ref
• visitor::no_infer_inner_type
• visitor::object_shape_id
• visitor::object_with_index_shape_id
• visitor::readonly_inner_type
• visitor::recursive_index
• visitor::ref_symbol
• visitor::string_intrinsic_components
• visitor::template_literal_id
• visitor::test_type
• visitor::tuple_list_id
• visitor::type_param_info
• visitor::type_query_symbol
• visitor::union_list_id
• visitor::unique_symbol_ref
• visitor::walk_referenced_types
• walk_referenced_types

Constants

• ARRAY_METHODS_RETURN_ANY
• ARRAY_METHODS_RETURN_BOOLEAN
• ARRAY_METHODS_RETURN_NUMBER
• ARRAY_METHODS_RETURN_STRING
• ARRAY_METHODS_RETURN_VOID
• MAX_CONSTRAINT_ITERATIONS
• MAX_INSTANTIATION_DEPTH
• MAX_TYPE_RECURSION_DEPTH
• MAX_VISITING_SET_SIZE
• operations::MAX_CONSTRAINT_RECURSION_DEPTH
• operations::MAX_CONSTRAINT_STEPS