List of all items

Structs

• cfgir::ast::Constant
• cfgir::ast::Function
• cfgir::ast::LoopInfo
• cfgir::ast::ModuleDefinition
• cfgir::ast::Program
• cfgir::ast::Script
• command_line::compiler::Compiler
• command_line::compiler::FullyCompiledProgram
• command_line::compiler::SteppedCompiler
• compiled_unit::AnnotatedCompiledModule
• compiled_unit::AnnotatedCompiledScript
• compiled_unit::FunctionInfo
• compiled_unit::NamedCompiledModule
• compiled_unit::NamedCompiledScript
• compiled_unit::SpecInfo
• compiled_unit::VarInfo
• diagnostics::Diagnostic
• diagnostics::Diagnostics
• diagnostics::codes::DiagnosticInfo
• expansion::ast::AbilitySet
• expansion::ast::AbilitySetIntoIter
• expansion::ast::AbilitySetIter
• expansion::ast::Constant
• expansion::ast::Friend
• expansion::ast::Function
• expansion::ast::FunctionSignature
• expansion::ast::ModuleDefinition
• expansion::ast::ModuleIdent_
• expansion::ast::PragmaProperty_
• expansion::ast::Program
• expansion::ast::Script
• expansion::ast::SpecBlock_
• expansion::ast::SpecId
• expansion::ast::StructDefinition
• expansion::ast::StructTypeParameter
• hlir::ast::Constant
• hlir::ast::Exp
• hlir::ast::Function
• hlir::ast::FunctionSignature
• hlir::ast::Label
• hlir::ast::ModuleCall
• hlir::ast::ModuleDefinition
• hlir::ast::Program
• hlir::ast::Script
• hlir::ast::StructDefinition
• naming::ast::Constant
• naming::ast::Function
• naming::ast::FunctionSignature
• naming::ast::ModuleDefinition
• naming::ast::Program
• naming::ast::Script
• naming::ast::StructDefinition
• naming::ast::StructTypeParameter
• naming::ast::TParam
• naming::ast::TParamID
• naming::ast::TVar
• parser::ast::AddressDefinition
• parser::ast::Constant
• parser::ast::ConstantName
• parser::ast::Field
• parser::ast::FriendDecl
• parser::ast::Function
• parser::ast::FunctionName
• parser::ast::FunctionSignature
• parser::ast::ModuleDefinition
• parser::ast::ModuleIdent_
• parser::ast::ModuleName
• parser::ast::PragmaProperty_
• parser::ast::Program
• parser::ast::Script
• parser::ast::SpecApplyPattern_
• parser::ast::SpecBlock_
• parser::ast::StructDefinition
• parser::ast::StructName
• parser::ast::StructTypeParameter
• parser::ast::UseDecl
• parser::ast::Var
• shared::AddressBytes
• shared::CompilationEnv
• shared::Counter
• shared::Flags
• shared::ast_debug::AstWriter
• shared::remembering_unique_map::IntoIter
• shared::remembering_unique_map::Iter
• shared::remembering_unique_map::IterMut
• shared::remembering_unique_map::RememberingUniqueMap
• shared::unique_map::IntoIter
• shared::unique_map::Iter
• shared::unique_map::IterMut
• shared::unique_map::UniqueMap
• shared::unique_set::IntoIter
• shared::unique_set::Iter
• shared::unique_set::UniqueSet
• typing::ast::Constant
• typing::ast::Exp
• typing::ast::Function
• typing::ast::ModuleCall
• typing::ast::ModuleDefinition
• typing::ast::Program
• typing::ast::Script
• unit_test::ModuleTestPlan
• unit_test::TestCase
• unit_test::TestPlan

Enums

• cfgir::ast::BlockInfo
• cfgir::ast::FunctionBody_
• cfgir::ast::LoopEnd
• compiled_unit::CompiledUnitEnum
• diagnostics::codes::AbilitySafety
• diagnostics::codes::Attributes
• diagnostics::codes::Bug
• diagnostics::codes::BytecodeGeneration
• diagnostics::codes::Category
• diagnostics::codes::Declarations
• diagnostics::codes::MoveSafety
• diagnostics::codes::NameResolution
• diagnostics::codes::ReferenceSafety
• diagnostics::codes::Severity
• diagnostics::codes::Syntax
• diagnostics::codes::Tests
• diagnostics::codes::TypeSafety
• diagnostics::codes::Uncategorized
• diagnostics::codes::UnusedItem
• expansion::ast::Address
• expansion::ast::AttributeValue_
• expansion::ast::Attribute_
• expansion::ast::ExpDotted_
• expansion::ast::Exp_
• expansion::ast::FunctionBody_
• expansion::ast::LValue_
• expansion::ast::ModuleAccess_
• expansion::ast::Neighbor
• expansion::ast::PragmaValue
• expansion::ast::SequenceItem_
• expansion::ast::SpecBlockMember_
• expansion::ast::SpecBlockTarget_
• expansion::ast::SpecConditionKind_
• expansion::ast::StructFields
• expansion::ast::Type_
• expansion::ast::Value_
• hlir::ast::BaseType_
• hlir::ast::BuiltinFunction_
• hlir::ast::Command_
• hlir::ast::ExpListItem
• hlir::ast::FunctionBody_
• hlir::ast::LValue_
• hlir::ast::SingleType_
• hlir::ast::Statement_
• hlir::ast::StructFields
• hlir::ast::TypeName_
• hlir::ast::Type_
• hlir::ast::UnannotatedExp_
• hlir::ast::UnitCase
• naming::ast::BuiltinFunction_
• naming::ast::BuiltinTypeName_
• naming::ast::ExpDotted_
• naming::ast::Exp_
• naming::ast::FunctionBody_
• naming::ast::LValue_
• naming::ast::SequenceItem_
• naming::ast::StructFields
• naming::ast::TypeName_
• naming::ast::Type_
• parser::ast::Ability_
• parser::ast::AttributeValue_
• parser::ast::Attribute_
• parser::ast::BinOp_
• parser::ast::Bind_
• parser::ast::Definition
• parser::ast::Exp_
• parser::ast::FunctionBody_
• parser::ast::LeadingNameAccess_
• parser::ast::ModuleMember
• parser::ast::NameAccessChain_
• parser::ast::PragmaValue
• parser::ast::QuantKind_
• parser::ast::SequenceItem_
• parser::ast::SpecApplyFragment_
• parser::ast::SpecBlockMember_
• parser::ast::SpecBlockTarget_
• parser::ast::SpecConditionKind_
• parser::ast::StructFields
• parser::ast::Type_
• parser::ast::UnaryOp_
• parser::ast::Use
• parser::ast::Value_
• parser::ast::Visibility
• shared::known_attributes::TestingAttributes
• typing::ast::BuiltinFunction_
• typing::ast::ExpListItem
• typing::ast::FunctionBody_
• typing::ast::LValue_
• typing::ast::SequenceItem_
• typing::ast::UnannotatedExp_
• unit_test::ExpectedFailure

Traits

• compiled_unit::TargetModule
• compiled_unit::TargetScript
• diagnostics::codes::DiagnosticCode
• shared::Identifier
• shared::TName
• shared::ast_debug::AstDebug

Macros

• diag

Functions

• cfgir::ast::remap_labels
• cfgir::optimize
• cfgir::refine_inference_and_verify
• command_line::compiler::construct_pre_compiled_lib
• command_line::compiler::generate_interface_files
• command_line::compiler::output_compiled_units
• command_line::compiler::sanity_check_compiled_units
• compiled_unit::verify_units
• diagnostics::report_diagnostics
• diagnostics::report_diagnostics_to_buffer
• diagnostics::report_diagnostics_to_color_buffer
• diagnostics::report_warnings
• diagnostics::unwrap_or_report_diagnostics
• expansion::ast::ability_constraints_ast_debug
• expansion::ast::ability_modifiers_ast_debug
• hlir::ast::exp
• interface_generator::write_file_to_string
• interface_generator::write_module_to_string
• ir_translation::fix_syntax_and_write
• parser::comments::verify_string
• shared::ast_debug::print
• shared::ast_debug::print_verbose
• shared::format_comma
• shared::format_delim
• shared::parse_named_address
• shared::parse_u128
• shared::parse_u64
• shared::parse_u8
• shared::shortest_cycle
• shared::verify_and_create_named_address_mapping
• typing::ast::exp
• typing::ast::single_item
• typing::ast::splat_item
• unit_test::filter_test_members::program
• unit_test::plan_builder::construct_test_plan

Type Definitions

• cfgir::ast::BasicBlock
• cfgir::ast::BasicBlocks
• cfgir::ast::FunctionBody
• command_line::compiler::Pass
• compiled_unit::AnnotatedCompiledUnit
• compiled_unit::CompiledUnit
• diagnostics::FileId
• diagnostics::FilesSourceText
• expansion::ast::Attribute
• expansion::ast::AttributeValue
• expansion::ast::Exp
• expansion::ast::ExpDotted
• expansion::ast::Fields
• expansion::ast::FunctionBody
• expansion::ast::LValue
• expansion::ast::LValueList
• expansion::ast::LValueList_
• expansion::ast::LValueWithRange
• expansion::ast::LValueWithRangeList
• expansion::ast::LValueWithRangeList_
• expansion::ast::LValueWithRange_
• expansion::ast::ModuleAccess
• expansion::ast::ModuleIdent
• expansion::ast::PragmaProperty
• expansion::ast::Sequence
• expansion::ast::SequenceItem
• expansion::ast::SpecBlock
• expansion::ast::SpecBlockMember
• expansion::ast::SpecBlockTarget
• expansion::ast::SpecConditionKind
• expansion::ast::Type
• expansion::ast::Value
• hlir::ast::BaseType
• hlir::ast::BasicBlock
• hlir::ast::BasicBlocks
• hlir::ast::Block
• hlir::ast::BuiltinFunction
• hlir::ast::Command
• hlir::ast::FunctionBody
• hlir::ast::LValue
• hlir::ast::SingleType
• hlir::ast::Statement
• hlir::ast::Type
• hlir::ast::TypeName
• hlir::ast::UnannotatedExp
• naming::ast::BuiltinFunction
• naming::ast::BuiltinTypeName
• naming::ast::Exp
• naming::ast::ExpDotted
• naming::ast::FunctionBody
• naming::ast::LValue
• naming::ast::LValueList
• naming::ast::LValueList_
• naming::ast::Sequence
• naming::ast::SequenceItem
• naming::ast::Type
• naming::ast::TypeName
• parser::ast::Ability
• parser::ast::Attribute
• parser::ast::AttributeValue
• parser::ast::Attributes
• parser::ast::BinOp
• parser::ast::Bind
• parser::ast::BindList
• parser::ast::BindWithRange
• parser::ast::BindWithRangeList
• parser::ast::Exp
• parser::ast::FunctionBody
• parser::ast::LeadingNameAccess
• parser::ast::ModuleIdent
• parser::ast::NameAccessChain
• parser::ast::PragmaProperty
• parser::ast::QuantKind
• parser::ast::ResourceLoc
• parser::ast::Sequence
• parser::ast::SequenceItem
• parser::ast::SpecApplyFragment
• parser::ast::SpecApplyPattern
• parser::ast::SpecBlock
• parser::ast::SpecBlockMember
• parser::ast::SpecBlockTarget
• parser::ast::SpecConditionKind
• parser::ast::Type
• parser::ast::UnaryOp
• parser::ast::Value
• parser::comments::CommentMap
• parser::comments::FileCommentMap
• parser::comments::MatchedFileCommentMap
• shared::Name
• typing::ast::BuiltinFunction
• typing::ast::FunctionBody
• typing::ast::LValue
• typing::ast::LValueList
• typing::ast::LValueList_
• typing::ast::Sequence
• typing::ast::SequenceItem
• typing::ast::UnannotatedExp
• unit_test::TestName

Constants

• command_line::COLOR_MODE_ENV_VAR
• command_line::COMPILED_NAMED_ADDRESS_MAPPING
• command_line::DEFAULT_OUTPUT_DIR
• command_line::DEPENDENCY
• command_line::DEPENDENCY_SHORT
• command_line::MOVE_COMPILED_INTERFACES_DIR
• command_line::NO_SHADOW
• command_line::NO_SHADOW_SHORT
• command_line::OUT_DIR
• command_line::OUT_DIR_SHORT
• command_line::SENDER
• command_line::SENDER_SHORT
• command_line::SOURCE_MAP
• command_line::SOURCE_MAP_SHORT
• command_line::TEST
• command_line::TEST_SHORT
• command_line::compiler::EMPTY_COMPILER
• command_line::compiler::PASS_CFGIR
• command_line::compiler::PASS_COMPILATION
• command_line::compiler::PASS_EXPANSION
• command_line::compiler::PASS_HLIR
• command_line::compiler::PASS_NAMING
• command_line::compiler::PASS_PARSER
• command_line::compiler::PASS_TYPING
• shared::ADDRESS_LENGTH