List of all items

Structs

• AnyPropagationRules
• ApplicationEvaluator
• ClassTypeBuilder
• ConstraintSet
• ContextualTypeContext
• DiagnosticBuilder
• DiagnosticCollector
• DiscriminantInfo
• FlowFacts
• FlowTypeEvaluator
• IndexSignatureResolver
• InferenceCandidate
• InferenceContext
• InferenceInfo
• InferenceVar
• NarrowingCache
• NarrowingContext
• NarrowingResult
• ObjectLiteralBuilder
• PendingDiagnostic
• PendingDiagnosticBuilder
• QueryCache
• RelationCacheStats
• SourceLocation
• SourceSpan
• SpannedDiagnosticBuilder
• SubtypeChecker
• TypeEvaluator
• TypeFactory
• TypeFormatter
• TypeInstantiator
• TypeInterner
• TypeSubstitution
• binary_ops::BinaryOpEvaluator
• canonicalize::Canonicalizer
• compat::CompatChecker
• compat::NoopOverrideProvider
• def::ContentAddressedDefIds
• def::DefId
• def::DefinitionInfo
• def::DefinitionStore
• element_access::ElementAccessEvaluator
• inheritance::InheritanceGraph
• judge::DefaultJudge
• judge::JudgeConfig
• judge::PrimitiveFlags
• operations::CallEvaluator
• operations_iterators::IteratorInfo
• operations_property::PropertyAccessEvaluator
• recursion::DepthCounter
• recursion::RecursionGuard
• relation_queries::AssignabilityFailureAnalysis
• relation_queries::RelationContext
• relation_queries::RelationPolicy
• relation_queries::RelationQueryInputs
• relation_queries::RelationResult
• sound::SoundDiagnostic
• sound::SoundLawyer
• sound::SoundModeConfig
• tracer::TracerSubtypeChecker
• 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
• ApparentMemberKind
• ApplicationResult
• ConditionalResult
• ConstraintConflict
• DiagnosticArg
• DiagnosticSeverity
• IndexKind
• InferenceError
• RelationCacheProbe
• SubtypeFailureReason
• SubtypeResult
• TypeGuard
• TypeofKind
• binary_ops::BinaryOpResult
• binary_ops::PrimitiveClass
• def::DefKind
• def::EnumMemberValue
• element_access::ElementAccessResult
• judge::CallableKind
• judge::IterableKind
• judge::PropertyResult
• judge::TruthinessKind
• objects::PropertyCollectionResult
• operations::CallResult
• operations_generics::GenericInstantiationResult
• operations_property::PropertyAccessResult
• recursion::RecursionProfile
• recursion::RecursionResult
• relation_queries::RelationKind
• sound::SoundDiagnosticCode
• type_queries::AsyncIterableTypeKind
• type_queries::ConstraintTypeKind
• type_queries::ConstructableTypeKind
• type_queries::ConstructorTypeKind
• type_queries::EvaluationNeeded
• type_queries::ForOfElementKind
• type_queries::FullIterableTypeKind
• type_queries::IterableTypeKind
• type_queries::PropertyAccessClassification
• type_queries::PropertyLookupKind
• type_queries::PropertyTraversalKind
• type_queries::SignatureTypeKind
• type_queries::StaticPropertySource
• type_queries::TypeTraversalKind
• 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::AbstractClassCheckKind
• type_queries_extended::AbstractConstructorAnchor
• type_queries_extended::AbstractConstructorKind
• type_queries_extended::ArrayLikeKind
• type_queries_extended::BaseInstanceMergeKind
• type_queries_extended::CallSignaturesKind
• type_queries_extended::ClassDeclTypeKind
• type_queries_extended::ConstructSignatureKind
• type_queries_extended::ConstructorCheckKind
• type_queries_extended::ConstructorReturnMergeKind
• type_queries_extended::ContextualLiteralAllowKind
• type_queries_extended::ElementIndexableKind
• type_queries_extended::IndexKeyKind
• type_queries_extended::InstanceTypeKind
• 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::NewExpressionTypeKind
• 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_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
• 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

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

Functions

• apparent_object_member_kind
• apparent_primitive_member_kind
• apparent_primitive_members
• apply_contextual_type
• are_types_structurally_identical
• can_be_nullish
• compound_assignment::fallback_compound_assignment_result
• compound_assignment::is_compound_assignment_operator
• compound_assignment::map_compound_assignment_to_binary
• evaluate_conditional
• evaluate_index_access
• evaluate_index_access_with_options
• evaluate_keyof
• evaluate_mapped
• evaluate_type
• expression_ops::compute_best_common_type
• expression_ops::compute_conditional_expression_type
• expression_ops::compute_template_expression_type
• find_discriminants
• freshness::is_fresh_object_type
• freshness::widen_freshness
• instantiate_type
• is_definitely_nullish
• is_nullish_type
• is_subtype_of
• narrow_by_discriminant
• narrow_by_typeof
• objects::collect_properties
• operations::compute_contextual_types_with_compat_checker
• operations::get_contextual_signature_with_compat_checker
• operations::infer_call_signature
• operations::infer_generic_function
• operations::resolve_call_with_checker
• operations::resolve_new_with_checker
• operations_generics::solve_generic_instantiation
• operations_iterators::get_async_iterable_element_type
• operations_iterators::get_iterator_info
• operations_property::is_readonly_index_signature
• operations_property::property_is_readonly
• relation_queries::analyze_assignability_failure_with_resolver
• relation_queries::query_relation
• relation_queries::query_relation_with_overrides
• relation_queries::query_relation_with_resolver
• remove_definitely_falsy_types
• remove_nullish
• split_nullish_type
• substitute_this_type
• type_contains_nullish
• type_contains_undefined
• type_queries::classify_async_iterable_type
• type_queries::classify_constructor_type
• type_queries::classify_for_constraint
• type_queries::classify_for_constructability
• type_queries::classify_for_evaluation
• type_queries::classify_for_of_element_type
• type_queries::classify_for_property_access
• type_queries::classify_for_property_lookup
• type_queries::classify_for_signatures
• type_queries::classify_for_traversal
• type_queries::classify_full_iterable_type
• type_queries::classify_iterable_type
• type_queries::classify_property_traversal
• type_queries::collect_accessible_property_names_for_suggestion
• type_queries::collect_property_name_atoms_for_diagnostics
• type_queries::construct_to_call_callable
• type_queries::evaluate_contextual_structure_with
• type_queries::get_allowed_keys
• type_queries::get_function_parameter_types
• type_queries::get_function_return_type
• type_queries::get_keyof_type
• type_queries::get_lazy_if_def
• 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_only_null_or_undefined
• 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
• 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::needs_evaluation_for_merge
• 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_def_id
• type_queries_classifiers::get_enum_components
• type_queries_classifiers::get_keyof_inner
• type_queries_classifiers::get_lazy_def_id
• type_queries_classifiers::get_mapped_type_id
• type_queries_classifiers::get_type_identity
• 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_keyof_type
• type_queries_data::get_lazy_def_id
• 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_extended::classify_array_like
• type_queries_extended::classify_element_indexable
• type_queries_extended::classify_for_abstract_check
• type_queries_extended::classify_for_abstract_constructor
• type_queries_extended::classify_for_base_instance_merge
• type_queries_extended::classify_for_call_signatures
• type_queries_extended::classify_for_class_decl
• type_queries_extended::classify_for_construct_signature
• type_queries_extended::classify_for_constructor_check
• type_queries_extended::classify_for_constructor_return_merge
• type_queries_extended::classify_for_contains_traversal
• type_queries_extended::classify_for_contextual_literal
• type_queries_extended::classify_for_instance_type
• type_queries_extended::classify_for_keyof
• type_queries_extended::classify_for_lazy_resolution
• type_queries_extended::classify_for_new_expression
• 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_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::resolve_abstract_constructor_anchor
• type_queries_extended::unwrap_readonly_for_lookup
• type_queries_extended::widen_literal_to_primitive
• 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
• types::is_compiler_managed_type
• types::process_template_escape_sequences
• utils::canonicalize_numeric_name
• utils::intersection_or_single
• utils::is_numeric_literal_name
• utils::is_numeric_property_name
• utils::lookup_property
• utils::union_or_single
• variance::compute_variance
• 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_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::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_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_module_namespace_type_db
• 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::is_unit_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
• widening::apply_const_assertion
• widening::widen_type
• would_create_inheritance_cycle

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