List of all items
Structs
- Context
- PatternCondition
- linear_check::LinearCtx
- linear_check::linear_state::LinearState
- linear_check::linear_state::LinearTree
- monomorphisation::MirOutput
- monomorphisation::MonoItem
- monomorphisation::MonoState
- name_map::NameSourceMap
- passes::disallow_inout_bindings::InOutChecks
- passes::disallow_zero_size::DisallowZeroSize
- passes::flatten_regs::FlattenRegs
- passes::lower_lambda_defs::LambdaReplacement
- passes::lower_lambda_defs::LowerLambdaDefs
- passes::lower_methods::LowerMethods
- passes::lower_type_level_if::LowerTypeLevelIf
- pattern::DeconstructedPattern
- pipelines::PipelineContext
- statement_list::StatementList
- substitution::SubRegister
- substitution::Substitutions
- usefulness::Matrix
- usefulness::PatStack
- usefulness::Usefulness
- usefulness::Witness
Enums
- linear_check::linear_state::ItemReference
- linear_check::linear_state::LinearTreeKind
- linear_check::linear_state::MutWireWitness
- linear_check::linear_state::UsageInfo
- name_map::NameSource
- name_map::NamedValue
- pattern::Constructor
- pipelines::MaybeConst
- pipelines::MaybePipelineContext
- substitution::Substitution
Traits
- ExprLocal
- Manglable
- MirLowerable
- NameIDExt
- PatternLocal
- StatementLocal
- UnitNameExt
- attributes::AttributeListExt
- attributes::LocAttributeExt
- const_generic::ConstGenericExt
- passes::pass::Pass
- passes::pass::Passable
- pipelines::OptionExt
- pipelines::PipelineAvailability
Functions
- all_conditions
- bits_str
- do_wal_trace_lowering
- error::expect_entity
- error::expect_function
- error::expect_pipeline
- error::format_witnesses
- error::refutable_pattern_diagnostic
- error::undefined_variable
- error::use_before_ready
- expr_to_mir
- generate_unit
- linear_check::check_linear_types
- linear_check::linear_state::build_linear_tree
- linear_check::linear_state::is_linear
- linear_check::visit_expression
- linear_check::visit_statement
- lower_wal_trace
- monomorphisation::compile_items
- pattern::group_missing_constructors
- pattern::split_int_range
- pattern::split_wildcard
- pipelines::constexpr_and
- pipelines::constexpr_inv
- pipelines::constexpr_select
- pipelines::handle_pattern
- pipelines::handle_statement
- pipelines::lower_pipeline
- pipelines::try_compute_availability
- usefulness::is_useful