List of all items

Structs

• CheckOutput
• CheckingData
• Chronometer
• FunctionId
• ModuleData
• SourceId
• TypeCheckOptions
• TypeMappings
• VariableId
• VariablesToTypes
• context::Boundary
• context::Context
• context::ContextId
• context::Names
• context::VariableRegisterArguments
• context::environment::AlreadyExists
• context::environment::Syntax
• context::information::LocalInformation
• context::information::ModuleInformation
• context::invocation::CheckThings
• context::invocation::InvocationContext
• diagnostics::CannotFindTypeError
• diagnostics::CannotRedeclareVariable
• diagnostics::DiagnosticsContainer
• diagnostics::InfoDiagnostic
• diagnostics::InvalidRegExp
• diagnostics::NotInLoopOrCouldNotFindLabel
• diagnostics::TypeIsNotIndexable
• diagnostics::TypeStringRepresentation
• diagnostics::VariableUsedInTDZ
• events::Trapped
• features::assignments::AssignableSpread
• features::functions::ClassPropertiesToRegister
• features::functions::ClosedOverVariables
• features::functions::ClosureId
• features::functions::PartialFunction
• features::functions::ReturnType
• features::iteration::LoopStructure
• features::modules::CouldNotOpenFile
• features::modules::Exported
• features::modules::InvalidModule
• features::modules::NamePair
• features::modules::SynthesisedModule
• features::objects::ObjectBuilder
• features::objects::Proxy
• features::regexp::RegExp
• features::variables::VariableWithValue
• synthesis::EznoParser
• synthesis::interactive::State
• synthesis::interfaces::IsDefined
• synthesis::interfaces::PropertiesList
• synthesis::interfaces::Writable
• synthesis::statements::StatementInformation
• types::PartiallyAppliedGenerics
• types::TypeExtends
• types::TypeId
• types::calling::BadCallOutput
• types::calling::CallingDiagnostics
• types::calling::CallingInput
• types::calling::CallingOutput
• types::calling::FunctionLike
• types::calling::SynthesisedArgument
• types::calling::UnsynthesisedArgument
• types::classes::ClassValue
• types::classes::RegisterClassPropertiesEvent
• types::classes::SynthesisedClassValue
• types::functions::FunctionType
• types::functions::SynthesisedParameter
• types::functions::SynthesisedParameters
• types::functions::SynthesisedRestParameter
• types::generics::ExplicitTypeArguments
• types::generics::contributions::Contributions
• types::generics::generic_type_parameters::GenericTypeParameter
• types::generics::generic_type_parameters::GenericTypeParameters
• types::generics::substitution::SubstitutionArguments
• types::helpers::AndCondition
• types::helpers::OrCase
• types::helpers::TemplatelLiteralExpansion
• types::logical::Invalid
• types::logical::PropertyOn
• types::properties::Descriptor
• types::store::TypeStore
• types::subtyping::MappedKey
• types::subtyping::State
• types::subtyping::SubTypingOptions
• utilities::float_range::FloatRange
• utilities::map::Map
• utilities::modulo_class::ModuloClass
• utilities::range_map::RangeMap

Enums

• Decidable
• File
• Instance
• PredicateBound
• SpecialExpressions
• context::AssignmentError
• context::GeneralContext
• context::environment::DeclareInterfaceResult
• context::environment::DynamicBoundaryKind
• context::environment::ExpectedReturnType
• context::environment::FunctionScope
• context::environment::Returnable
• context::environment::Scope
• context::information::ObjectProtectionState
• diagnostics::Diagnostic
• diagnostics::DiagnosticKind
• diagnostics::PropertyKeyRepresentation
• diagnostics::TypeCheckWarning
• events::ApplicationResult
• events::CallingTiming
• events::Event
• events::FinalEvent
• events::MiscellaneousEvents
• events::PrototypeArgument
• events::RootReference
• features::CannotDeleteFromError
• features::assignments::Assignable
• features::assignments::AssignableArrayDestructuringField
• features::assignments::AssignableObjectDestructuringField
• features::assignments::AssignmentKind
• features::assignments::AssignmentReturnStatus
• features::assignments::IncrementOrDecrement
• features::assignments::Reference
• features::constant_functions::ConstantFunctionError
• features::functions::FunctionRegisterBehavior
• features::functions::GetterSetter
• features::iteration::InitialVariablesInput
• features::iteration::IterationBehavior
• features::iteration::IterationKind
• features::iteration::RunBehavior
• features::modules::ImportKind
• features::objects::SpecialObject
• features::operations::CanonicalEqualityAndInequality
• features::operations::EqualityAndInequality
• features::operations::EqualityAndInequalityResultKind
• features::operations::LogicalOperator
• features::operations::MathematicalOrBitwiseOperation
• features::operations::UnaryOperation
• features::variables::VariableMutability
• features::variables::VariableOrImport
• types::ArgumentOrLookup
• types::Constant
• types::Constructor
• types::LookUpGeneric
• types::NonEqualityReason
• types::ObjectNature
• types::PolyNature
• types::PropertyError
• types::Type
• types::TypeOperator
• types::calling::Callable
• types::calling::CalledWithNew
• types::calling::CallingContext
• types::calling::FunctionCallingError
• types::calling::ThisValue
• types::classes::PropertyFunctionProperty
• types::functions::FunctionBehavior
• types::functions::FunctionEffect
• types::functions::InternalFunctionEffect
• types::generics::chain::GenericChainLink
• types::generics::chain::SpecialGenericChainLink
• types::generics::contributions::CovariantContribution
• types::generics::generic_type_arguments::GenericArguments
• types::helpers::ArrayItem
• types::helpers::Counter
• types::intrinsics::Intrinsic
• types::intrinsics::PureNumberIntrinsic
• types::logical::BasedOnKey
• types::logical::Logical
• types::logical::LogicalOrValid
• types::logical::NeedsCalculation
• types::properties::PropertyKey
• types::properties::PropertyKind
• types::properties::PropertyValue
• types::properties::Publicity
• types::properties::access::AccessMode
• types::properties::assignment::SetPropertyError
• types::subtyping::SubTypeResult
• types::subtyping::SubTypingMode
• utilities::float_range::InclusiveExclusive

Traits

• ASTImplementation
• GenericTypeParameter
• ReadFromFS
• context::ContextType
• context::information::InformationChain
• context::invocation::CallCheckingBehavior
• features::functions::ClosureChain
• features::functions::SynthesisableFunction
• synthesis::StatementOrExpressionVariable
• types::TypeCombinable

Functions

• check_project
• context::information::merge_info
• diagnostics::get_possibles_message
• events::printing::debug_effects
• features::await_expression
• features::conditional::new_conditional_context
• features::delete_operator
• features::exceptions::new_try_context
• features::extends_prototype
• features::functions::class_generics_to_function_generics
• features::functions::extract_name
• features::functions::function_to_property
• features::functions::new_name_expected_object
• features::functions::register_arrow_function
• features::functions::register_expression_function
• features::functions::synthesise_declare_statement_function
• features::functions::synthesise_function_default_value
• features::functions::synthesise_hoisted_statement_function
• features::in_operator
• features::instance_of_operator
• features::iteration::synthesise_iteration
• features::modules::import_file
• features::modules::import_items
• features::narrowing::generate_new_type_with_property
• features::narrowing::generate_new_type_with_prototype
• features::narrowing::narrow_based_on_expression
• features::narrowing::narrow_based_on_expression_into_vec
• features::operations::evaluate_equality_inequality_operation
• features::operations::evaluate_logical_operation_with_expression
• features::operations::evaluate_mathematical_operation
• features::operations::evaluate_unary_operator
• features::operations::is_null_or_undefined
• features::template_literal::synthesise_template_literal_expression
• features::tsc::as_cast
• features::tsc::check_satisfies
• features::tsc::non_null_assertion
• features::type_of_operator
• features::variables::check_variable_initialization
• features::variables::get_new_register_argument_under
• generate_cache
• get_closest
• synthesis::type_annotations::synthesise_type_annotation
• types::as_logical_and
• types::as_logical_not
• types::as_logical_or
• types::calling::application_result_to_return_type
• types::calling::call_type_handle_errors
• types::disjoint::types_are_disjoint
• types::helpers::_type_is_error
• types::helpers::get_array_length
• types::helpers::get_constraint_or_alias
• types::helpers::get_larger_type
• types::helpers::get_origin
• types::helpers::get_type_as_conditional
• types::helpers::into_cases
• types::helpers::into_conditions
• types::helpers::is_inferrable_type
• types::helpers::is_not_of_constant
• types::helpers::is_pseudo_continous
• types::helpers::references_key_of
• types::helpers::simple_subtype
• types::helpers::type_equal
• types::intrinsics::get_greater_than
• types::intrinsics::get_less_than
• types::intrinsics::get_multiple
• types::intrinsics::get_range_and_mod_class
• types::intrinsics::is_ezno_number_intrinsic
• types::intrinsics::is_intrinsic
• types::intrinsics::is_not_not_a_number
• types::intrinsics::is_tsc_string_intrinsic
• types::intrinsics::modulo_to_type
• types::intrinsics::new_intrinsic
• types::intrinsics::range_to_type
• types::is_type_truthy_falsy
• types::printing::print_property_key
• types::printing::print_type
• types::printing::print_type_into_buf
• types::printing::print_type_with_type_arguments
• types::properties::assignment::set_property
• types::properties::get_property_as_string
• types::properties::list::get_properties_on_single_type
• types::properties::list::get_properties_on_single_type2
• types::properties::list::get_property_key_names_on_a_single_type
• types::subtyping::type_is_subtype
• types::subtyping::type_is_subtype_object
• types::subtyping::type_is_subtype_of_property
• types::subtyping::type_is_subtype_of_property_mapped_key
• types::type_is_assert_is_type
• utilities::shorten

Type Aliases

• Span
• context::ClosedOverReferencesInScope
• context::Environment
• context::MutableRewrites
• context::RootContext
• context::environment::ContextLocation
• context::environment::Label
• events::InitialVariables
• features::modules::ExportedVariable
• features::modules::FinalModule
• synthesis::statements::ExportedItems
• synthesis::statements::ReturnResult
• types::ExplicitTypeArgument
• types::LookUpGenericMap
• types::TypeArguments
• types::TypeRestrictions
• types::generics::chain::GenericChain
• types::generics::chain::GenericChainParent
• types::generics::contributions::ContributionDepth
• types::generics::contributions::TriMap
• types::logical::PossibleLogical
• types::properties::Properties
• types::properties::assignment::SetPropertyResult
• types::subtyping::AlreadyChecked
• types::subtyping::SliceArguments
• types::subtyping::StateSavePoint

Constants

• INTERNAL_DEFINITION_FILE
• INTERNAL_DEFINITION_FILE_PATH