List of all items
Structs
- CheckOutput
- CheckingData
- FunctionId
- ModuleData
- SmallMap
- SourceId
- TypeCheckOptions
- TypeMappings
- VariableId
- VariablesToTypes
- context::Context
- context::ContextId
- context::Names
- context::VariableRegisterArguments
- context::environment::Syntax
- context::information::LocalInformation
- context::invocation::CheckThings
- context::invocation::InvocationContext
- diagnostics::CannotFindTypeError
- diagnostics::CannotRedeclareVariable
- diagnostics::DiagnosticsContainer
- diagnostics::NotInLoopOrCouldNotFindLabel
- diagnostics::TDZ
- diagnostics::TypeIsNotIndexable
- 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::variables::VariableWithValue
- range_map::RangeMap
- synthesis::EznoParser
- synthesis::interactive::State
- synthesis::statements::StatementInformation
- types::BasicEquality
- types::StructureGenerics
- types::TypeId
- types::calling::CallingInput
- types::calling::FunctionCallResult
- types::calling::InfoDiagnostic
- types::calling::UnsynthesisedArgument
- types::classes::ClassValue
- types::classes::RegisterClassPropertiesEvent
- types::classes::SynthesisedClassValue
- types::functions::FunctionType
- types::functions::SynthesisedArgument
- types::functions::SynthesisedParameter
- types::functions::SynthesisedParameters
- types::functions::SynthesisedRestParameter
- types::poly_types::ClosureGenericType
- types::poly_types::contributions::Contributions
- types::poly_types::generics::generic_structure::GenericStructureTypeArgument
- types::poly_types::generics::generic_type_parameters::GenericTypeParameter
- types::poly_types::generics::generic_type_parameters::GenericTypeParameters
- types::store::TypeStore
Enums
- Decidable
- File
- Instance
- PredicateBound
- SpecialExpressions
- context::AssignmentError
- context::GeneralContext
- context::Logical
- context::Missing
- context::SetPropertyError
- context::environment::DynamicBoundaryKind
- context::environment::ExpectedReturnType
- context::environment::FunctionScope
- context::environment::Returnable
- context::environment::Scope
- context::information::Publicity
- diagnostics::Diagnostic
- diagnostics::DiagnosticKind
- diagnostics::PropertyRepresentation
- diagnostics::TypeStringRepresentation
- events::ApplicationResult
- events::CallingTiming
- events::Event
- events::FinalEvent
- events::PrototypeArgument
- events::RootReference
- 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::FunctionBehavior
- features::functions::FunctionRegisterBehavior
- features::functions::GetterSetter
- features::functions::ThisValue
- features::iteration::InitialVariablesInput
- features::iteration::IterationBehavior
- features::iteration::IterationKind
- features::modules::ImportKind
- features::modules::TypeOrVariable
- features::objects::SpecialObjects
- features::operations::CanonicalEqualityAndInequality
- features::operations::EqualityAndInequality
- features::operations::LogicalOperator
- features::operations::MathematicalAndBitwise
- features::operations::PureBinaryOperation
- features::operations::PureUnary
- features::template_literal::TemplateLiteralPart
- features::variables::VariableMutability
- features::variables::VariableOrImport
- types::ArgumentOrLookup
- types::Confirmation
- types::Constant
- types::Constructor
- types::GenericChainLink
- types::LookUpGeneric
- types::NonEqualityReason
- types::ObjectNature
- types::PolyNature
- types::PropertyError
- types::SubTypeResult
- types::Type
- types::TypeOperator
- types::TypeRelationOperator
- types::calling::CalledWithNew
- types::calling::FunctionCallingError
- types::classes::PropertyFunctionProperty
- types::functions::FunctionEffect
- types::functions::GetSet
- types::functions::InternalFunctionEffect
- types::poly_types::ParameterDependentType
- types::poly_types::generics::generic_structure::GenericStructureArgumentValue
- types::poly_types::generics::generic_type_arguments::StructureGenericArguments
- types::properties::PropertyKey
- types::properties::PropertyKind
- types::properties::PropertyValue
- types::subtyping::SubTypingMode
Traits
- ASTImplementation
- GenericTypeParameter
- ReadFromFS
- context::ContextType
- context::information::InformationChain
- context::invocation::CallCheckingBehavior
- features::functions::ClosureChain
- features::functions::SynthesisableFunction
- synthesis::StatementOrExpressionVariable
- types::SubTypeBehavior
- types::TypeCombinable
Functions
- check_project
- context::information::get_properties_on_type
- context::information::merge_info
- features::as_cast
- features::await_expression
- features::functions::function_to_property
- 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::iteration::synthesise_iteration
- features::modules::import_file
- features::modules::import_items
- features::operations::evaluate_equality_inequality_operation
- features::operations::evaluate_logical_operation_with_expression
- features::operations::evaluate_mathematical_operation
- features::operations::evaluate_pure_binary_operation_handle_errors
- features::operations::evaluate_pure_unary_operator
- features::template_literal::synthesise_template_literal_expression
- features::template_literal::synthesize_template_literal_type
- features::type_of_operator
- features::variables::check_variable_initialization
- features::variables::get_new_register_argument_under
- generate_cache
- types::calling::call_type_handle_errors
- types::is_primitive
- types::is_type_constant
- types::is_type_truthy_falsy
- types::printing::debug_effects
- types::printing::print_property_key
- types::printing::print_type
- types::printing::print_type_with_type_arguments
- types::subtyping::type_is_subtype
- types::subtyping::type_is_subtype_of_property
Type Aliases
- Span
- context::ClosedOverReferencesInScope
- context::Environment
- context::MutableRewrites
- context::PossibleLogical
- 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::GenericChain
- types::GenericChainParent
- types::LookUpGenericMap
- types::TypeArguments
- types::TypeRestrictions
- types::subtyping::AlreadyChecked