List of all items
Structs
- Config
- DepInfo
- Id
- ModuleTypeData
- Specifier
- analyzer::Analyzer
- analyzer::AnalyzerData
- analyzer::Ctx
- analyzer::InnerConfig
- analyzer::NoopLoader
- analyzer::PerModuleData
- analyzer::WithCtx
- analyzer::assign::AssignData
- analyzer::assign::AssignOpts
- analyzer::class::ClassState
- analyzer::class::order::AnalysisResult
- analyzer::class::order::MethodAnalyzer
- analyzer::class::type_param::StaticTypeParamValidator
- analyzer::control_flow::CondFacts
- analyzer::control_flow::Facts
- analyzer::control_flow::PatAssignOpts
- analyzer::enums::Evaluator
- analyzer::enums::LitValidator
- analyzer::expr::AccessPropertyOpts
- analyzer::expr::array::GetIteratorOpts
- analyzer::expr::call_new::CallCandidate
- analyzer::expr::call_new::CallOpts
- analyzer::expr::call_new::ReturnTypeGeneralizer
- analyzer::expr::call_new::ReturnTypeSimplifier
- analyzer::expr::call_new::SelectOpts
- analyzer::expr::object::AppendTypeOpts
- analyzer::expr::type_cast::CastableOpts
- analyzer::function::TypeParamHandler
- analyzer::function::return_type::FnReturnTypeHandler
- analyzer::generalize::Simplifier
- analyzer::generic::InferData
- analyzer::generic::MappedIndexTypeReplacer
- analyzer::generic::MappedIndexedSimplifier
- analyzer::generic::MappedKeyReplacer
- analyzer::generic::MappedReverser
- analyzer::generic::SingleTypeParamReplacer
- analyzer::generic::expander::ExtendsOpts
- analyzer::generic::inference::InferTypeOpts
- analyzer::generic::inference::InferenceInfo
- analyzer::generic::inference::InferencePriority
- analyzer::hoisting::TypeParamDepFinder
- analyzer::import::ImportFinder
- analyzer::props::ValidKeyChecker
- analyzer::relation::IsRelatedData
- analyzer::scope::ExpandOpts
- analyzer::scope::Expander
- analyzer::scope::Scope
- analyzer::scope::ShallowNormalizer
- analyzer::scope::VarInfo
- analyzer::scope::this::ThisReplacer
- analyzer::scope::type_param::TypeParamEscapeHandler
- analyzer::scope::type_param::TypeParamEscapeVisitor
- analyzer::scope::vars::DeclareVarsOpts
- analyzer::stmt::return_type::KeyInliner
- analyzer::stmt::return_type::LoopBreakerFinder
- analyzer::stmt::return_type::ReturnValues
- analyzer::stmt::var_decl::TypeParamFinder
- analyzer::types::NormalizeTypeOpts
- analyzer::types::mapped::IndexedAccessTypeFinder
- analyzer::types::mapped::IndexedAccessTypeReplacer
- analyzer::types::type_param::TypeParamUsageFinder
- analyzer::util::Comparator
- analyzer::util::Generalizer
- analyzer::util::VarVisitor
- loader::ModuleInfo
- ty::Accessor
- ty::Alias
- ty::AliasMetadata
- ty::Array
- ty::ArrayMetadata
- ty::CallSignature
- ty::Class
- ty::ClassDef
- ty::ClassDefMetadata
- ty::ClassMetadata
- ty::ClassProperty
- ty::CommonTypeMetadata
- ty::ComputedKey
- ty::Conditional
- ty::ConditionalMetadata
- ty::Constructor
- ty::ConstructorMetadata
- ty::ConstructorSignature
- ty::Enum
- ty::EnumMember
- ty::EnumMetadata
- ty::EnumVariant
- ty::EnumVariantMetadata
- ty::FnParam
- ty::Freezed
- ty::Function
- ty::FunctionMetadata
- ty::Id
- ty::ImportType
- ty::ImportTypeMetadata
- ty::Index
- ty::IndexSignature
- ty::IndexedAccessType
- ty::IndexedAccessTypeMetadata
- ty::InferType
- ty::InferTypeMetadata
- ty::Instance
- ty::InstanceMetadata
- ty::Interface
- ty::InterfaceMetadata
- ty::Intersection
- ty::IntersectionMetadata
- ty::KeywordType
- ty::KeywordTypeMetadata
- ty::LitType
- ty::LitTypeMetadata
- ty::Mapped
- ty::MappedMetadata
- ty::Method
- ty::MethodSignature
- ty::Module
- ty::ModuleId
- ty::ModuleTypeData
- ty::ModuleTypeMetadata
- ty::Namespace
- ty::NamespaceTypeMetadata
- ty::OperatorMetadata
- ty::OptionalType
- ty::OptionalTypeMetadata
- ty::Predicate
- ty::PredicateMetadata
- ty::PrivateName
- ty::PropertySignature
- ty::QueryType
- ty::QueryTypeMetadata
- ty::Readonly
- ty::Ref
- ty::RefMetadata
- ty::RestType
- ty::RestTypeMetadata
- ty::StaticThis
- ty::StaticThisMetadata
- ty::StringMapping
- ty::StringMappingMetadata
- ty::Symbol
- ty::SymbolMetadata
- ty::ThisType
- ty::ThisTypeMetadata
- ty::TplElem
- ty::TplType
- ty::TplTypeMetadata
- ty::TsExpr
- ty::Tuple
- ty::TupleElement
- ty::TupleMetadata
- ty::TypeElMetadata
- ty::TypeLit
- ty::TypeLitMetadata
- ty::TypeOrSpread
- ty::TypeParam
- ty::TypeParamDecl
- ty::TypeParamInstantiation
- ty::TypeParamMetadata
- ty::Union
- ty::UnionMetadata
- ty::Unique
- ty::ValidityChecker
- ty::module_id::ModuleId
- ty::module_id::ModuleIdGenerator
- ty::name::Name
- ty::type_facts::TypeFactsHandler
- ty::type_id::ClassId
- ty::type_id::DestructureId
- ty::type_id::SymbolId
- type_facts::TypeFacts
- util::graph::Inliner
- util::graph::NodeId
Enums
- analyzer::assign::Variance
- analyzer::class::order::MemberKey
- analyzer::expr::IdCtx
- analyzer::expr::TypeOfMode
- analyzer::expr::call_new::ArgCheckResult
- analyzer::expr::call_new::ExtractKind
- analyzer::expr::call_new::ReEvalMode
- analyzer::expr::jsx::ResolvedJsxName
- analyzer::pat::PatMode
- analyzer::props::ComputedPropMode
- analyzer::relation::Relation
- analyzer::scope::ItemRef
- analyzer::scope::ScopeKind
- analyzer::scope::vars::VarKind
- analyzer::stmt::loops::ForHeadKind
- analyzer::types::mapped::PropertyName
- ty::ClassMember
- ty::IdCtx
- ty::IntrinsicKind
- ty::Key
- ty::QueryExpr
- ty::Type
- ty::TypeElement
Traits
- analyzer::control_flow::Merge
- analyzer::util::ResultExt
- env::BuiltInGen
- env::EnvFactory
- loader::Load
- ty::TypeExt
- ty::TypeIterExt
- ty::TypeMetadata
- ty::Valid
- util::EndsWithRet
- util::ModuleItemOrStmt
- util::RemoveTypes
- util::dashmap::DashMapExt
- util::type_ext::TypeExt
- util::type_ext::TypeIterExt
- validator::Unit
- validator::Validate
- validator::ValidateInDeclOrder
- validator::ValidateWith
Macros
- analyzer::scope::no_ref
- analyzer::try_opt
- analyzer::visit_mut::forward
- ty::fold_helper
- ty::macros::fold_helper
- ty::macros::visit_helper
- ty::visit_helper
Functions
- analyzer::_assert_types
- analyzer::assign::get_tuple_subtract_count
- analyzer::control_flow::is_expr_correct_binding_pat
- analyzer::enums::non_str_nor_plus
- analyzer::expr::bin::extract_name_for_assignment
- analyzer::expr::bin::is_str_like_for_addition
- analyzer::expr::call_new::is_fn_expr
- analyzer::expr::constraint_reducer::reduce
- analyzer::expr::function::add_destructure_sign
- analyzer::expr::function_has_this
- analyzer::expr::is_valid_lhs
- analyzer::expr::object::remove_readonly
- analyzer::expr::optional_chaining::is_obj_opt_chaining
- analyzer::expr::unary::negate
- analyzer::generic::array_elem_type
- analyzer::generic::calc_true_plus_minus_in_param
- analyzer::generic::handle_optional_for_element
- analyzer::generic::inference::should_prevent_generalization
- analyzer::generic::is_literals
- analyzer::hoisting::type_decl_id
- analyzer::make_module_ty
- analyzer::props::is_valid_computed_key
- analyzer::scope::vars::add_destructure_sign
- analyzer::scope::vars::remove_readonly
- analyzer::stmt::return_type::should_preserve_ref
- analyzer::stmt::var_decl::contains_type_param
- analyzer::types::apply_string_mapping
- analyzer::types::left_of_expr
- analyzer::util::is_lit_eq_ignore_span
- analyzer::util::is_prop_name_eq
- analyzer::util::make_instance_type
- analyzer::util::opt_union
- ty::replace::replace_type
- ty::rprop_name_to_expr
- ty::type_facts::facts_to_union
- util::contains_infer_type
- util::is_str_or_union
- util::should_instantiate_type_ann
- util::unwrap_builtin_with_single_arg