List of all items

Structs

• check::CheckedProgram
• check::FunctionSig
• check::LocalSymbol
• check::LocalSymbolOccurrence
• check::ParamSig
• cli::CliConfig
• cli::EmitConfig
• driver::BrowserArtifacts
• driver::BrowserDriver
• driver::HirOriginTable
• driver::MirOriginTable
• driver::NullDriver
• driver::passes::CheckProgramPass
• driver::passes::ElaborateProgramPass
• driver::passes::EmitRustPass
• driver::passes::EmitWasmPass
• driver::passes::ExpandProgramPass
• driver::passes::LowerHirPass
• driver::passes::LowerMirPass
• elab::bind_template_calls::BindTemplateCallArgsPass
• elab::instantiate_functions::InstantiateRuntimeFunctionPass
• elab::normalize_calls::NormalizeRuntimeCallsAndSpreadsPass
• elab::prelude::BTreeMap
• elab::prelude::BTreeSet
• elab::prelude::Block
• elab::prelude::Elaborator
• elab::prelude::EnumTemplate
• elab::prelude::FunctionDecl
• elab::prelude::FunctionSig
• elab::prelude::NamedTypeField
• elab::prelude::Param
• elab::prelude::Program
• elab::prelude::RuntimeFunctionTemplate
• elab::prelude::SpecializationKey
• elab::prelude::StructDecl
• elab::prelude::StructTemplate
• elab::prelude::TemplateCallBinding
• elab::prelude::TypeRef
• elab::validate_calls::ValidateRuntimeCallArgsPass
• hir::DuplicateExternFunction
• hir::ExprId
• hir::FuncId
• hir::HirEnumDecl
• hir::HirExternFunction
• hir::HirFunction
• hir::HirMatchArm
• hir::HirParam
• hir::HirProgram
• hir::HirStructDecl
• hir::HirType
• hir::StmtId
• meta::core::BTreeMap
• meta::core::Block
• meta::core::BuilderEnvCursor
• meta::core::FrontendNodeIndex
• meta::core::FunctionDecl
• meta::core::ItemId
• meta::core::MetaBlock
• meta::core::MetaExprSemanticEntry
• meta::core::MetaFunctionDecl
• meta::core::MetaStmtSemanticEntry
• meta::core::NamedExprField
• meta::core::Program
• meta::runtime_eval::MetaBlockOutcome
• meta_builtins::BuiltinMetaSpec
• mir::LocalInfo
• mir::MirAggregateArg
• mir::MirBlock
• mir::MirBlockId
• mir::MirCallArg
• mir::MirCallArgBinding
• mir::MirEnumDecl
• mir::MirEnumVariant
• mir::MirFuncId
• mir::MirFunction
• mir::MirLocalId
• mir::MirParamBinding
• mir::MirProgram
• mir::MirSourcePos
• mir::MirStructDecl
• mir::MirStructField
• mir::naming::FunctionNames
• mir::naming::ProgramNames
• modules::LoadedModule
• pass::OriginId
• pass::PassContext
• pass::PassId
• pass::PassSnapshot
• pass::PassSnapshotField
• pass::PassTiming
• pass::ProvenanceSummary
• pass::ProvenanceTables
• pass::SourceFileId
• pass::SpanId
• semantic::BuilderBindingInfo
• semantic::MetaCallInfo
• semantic::MetaMatchInfo
• semantic::SemanticAnalyzer
• semantic::StagedSemanticInfo
• syntax::FileId
• syntax::SourceLocation
• syntax::ast::AssignTarget
• syntax::ast::Binding
• syntax::ast::Block
• syntax::ast::BrowserGraph
• syntax::ast::BrowserGraphEdge
• syntax::ast::BrowserGraphNode
• syntax::ast::EnumDecl
• syntax::ast::ExprId
• syntax::ast::ExternFunctionDecl
• syntax::ast::ExternModuleDecl
• syntax::ast::FileId
• syntax::ast::FrontendNodeIndex
• syntax::ast::FunctionDecl
• syntax::ast::ImportDecl
• syntax::ast::IntrinsicSignature
• syntax::ast::ItemId
• syntax::ast::MatchArm
• syntax::ast::MetaBlock
• syntax::ast::MetaExprId
• syntax::ast::MetaFunctionDecl
• syntax::ast::MetaMatchArm
• syntax::ast::MetaParam
• syntax::ast::MetaStmtId
• syntax::ast::NamedExprField
• syntax::ast::NamedTypeField
• syntax::ast::NumberLiteral
• syntax::ast::Param
• syntax::ast::Program
• syntax::ast::SourceLocation
• syntax::ast::SourceSpan
• syntax::ast::SpannedIdent
• syntax::ast::StmtId
• syntax::ast::StructDecl
• syntax::ast::TypeId
• syntax::ast::TypeRef
• syntax::ast::VariantType
• syntax::syntax::SourceLocation
• syntax::syntax::cst::FunctionNode
• syntax::syntax::cst::ProgramNode
• syntax::syntax::lexer::Lexer
• syntax::syntax::token::LexError

Enums

• check::CheckError
• check::Ty
• cli::CliError
• driver::CompileError
• elab::ElabError
• elab::prelude::CallArg
• elab::prelude::ElabError
• elab::prelude::Expr
• elab::prelude::IntrinsicId
• elab::prelude::MatchPattern
• elab::prelude::OwnershipMode
• elab::prelude::PrefixOp
• elab::prelude::SpecializationValue
• elab::prelude::Stmt
• elab::prelude::Ty
• elab::prelude::TypeExpr
• hir::HirExpr
• hir::HirStmt
• meta::MetaEvalError
• meta::TemplateMetaBinding
• meta::core::CallArg
• meta::core::CodeValue
• meta::core::Expr
• meta::core::FrontendParent
• meta::core::MetaEvalError
• meta::core::MetaExpr
• meta::core::MetaMatchPattern
• meta::core::MetaStmt
• meta::core::MetaValue
• meta::core::QuotedCode
• meta::core::Stmt
• meta::core::TemplateMetaBinding
• meta::core::TypeExpr
• meta_builtins::TupleExprBuiltinError
• meta_builtins::TupleTypeBuiltinError
• mir::LocalKind
• mir::MirArgMode
• mir::MirHeapOwnership
• mir::MirInstr
• mir::MirIntrinsic
• mir::MirLocalRepr
• mir::MirOwnershipMode
• mir::MirStmt
• mir::MirTerminator
• mir::MirTypeExpr
• mir::lower::LowerError
• modules::ModuleError
• modules::ResolveMode
• modules::error::ModuleError
• pass::Origin
• pass::PassSnapshotKind
• pass::PassSnapshotValue
• semantic::BuiltinMetaCallKind
• semantic::MetaArgKind
• semantic::MetaPatternKind
• semantic::MetaType
• semantic::ResolvedName
• semantic::SemanticIssue
• syntax::SyntaxError
• syntax::ast::AssignMode
• syntax::ast::BinaryOp
• syntax::ast::CallArg
• syntax::ast::Expr
• syntax::ast::ExprKind
• syntax::ast::FrontendParent
• syntax::ast::IntrinsicId
• syntax::ast::ItemKind
• syntax::ast::MatchPattern
• syntax::ast::MetaExpr
• syntax::ast::MetaExprKind
• syntax::ast::MetaMatchPattern
• syntax::ast::MetaStmt
• syntax::ast::MetaStmtKind
• syntax::ast::OwnershipMode
• syntax::ast::PrefixOp
• syntax::ast::QuotedCode
• syntax::ast::RelationalOp
• syntax::ast::Stmt
• syntax::ast::StmtKind
• syntax::ast::TopItem
• syntax::ast::TypeExpr
• syntax::ast::TypeKind
• syntax::syntax::SyntaxError
• syntax::syntax::cst::RukaLanguage
• syntax::syntax::cst::SyntaxKind
• syntax::syntax::token::Token

Traits

• driver::Driver
• pass::Pass

Derive Macros

• elab::prelude::Error

Functions

• check::check_program
• cli::help_text
• cli::is_option_like
• cli::parse_emit_flags
• cli::parse_env
• cli::parse_from
• cli::version_text
• driver::compile_for_browser
• driver::compile_resolved_program
• driver::compile_with_driver
• driver::compile_with_driver_for_browser
• driver::mir_function_totals
• driver::mir_instr_source_pos_and_dst
• driver::record_hir_provenance_origins
• driver::record_mir_provenance_origins
• driver::source_pos_to_span
• elab::elaborate_meta_generated_expr
• elab::elaborate_program
• elab::elaborate_program_with_timings
• elab::helpers::canonical_nominal_name
• elab::helpers::has_meta_params
• elab::helpers::is_runtime_template
• elab::helpers::is_type_param
• elab::helpers::render_type_name
• elab::helpers::resolve_local
• elab::helpers::runtime_params
• elab::helpers::split_variant_path
• elab::helpers::ty_to_type_expr
• elab::helpers::type_param_names
• elab::helpers::variadic_param_name
• elab::prelude::can_safely_coerce_numeric
• elab::prelude::elaborate_meta_generated_expr
• elab::prelude::elaborate_program
• elab::prelude::elaborate_program_with_timings
• elab::prelude::is_truncation_cast
• elab::runtime_elab::infer_number_literal_ty
• elab::runtime_elab::integer_width
• elab::runtime_elab::is_signed_integer
• elab::runtime_elab::is_signed_numeric
• elab::runtime_elab::promote_numeric_types
• elab::runtime_elab::resolve_numeric_result_ty
• elab::runtime_elab::signed_ty_for_width
• elab::runtime_elab::split_numeric_suffix
• elab::runtime_elab::unsigned_ty_for_width
• hir::browser_graph::program_to_browser_graph
• hir::lower::lower_program
• meta::core::build_meta_function_table
• meta::core::expand_function
• meta::core::expand_function_template_instance
• meta::core::expand_function_with_env
• meta::core::expand_program
• meta::core::expand_runtime_block
• meta::core::expected_builder_type
• meta::core::first_semantic_issue_for_runtime_function
• meta::core::match_cannot_succeed
• meta::core::match_requires_code_but_cannot_have_code
• meta::core::meta_arg_kind_matches
• meta::core::meta_arg_kind_name
• meta::core::meta_eval_error_from_semantic_issue
• meta::core::meta_expr_belongs_to_item
• meta::core::meta_stmt_belongs_to_item
• meta::core::resolved_name_kind
• meta::core::should_defer_runtime_meta
• meta::core::staged_builtin_arg_mismatch
• meta::core::template_binding_to_meta_value
• meta::expand_function_template_instance
• meta::expand_program
• meta::meta_types_builder::builder_bindings_to_locals
• meta::meta_types_builder::coerce_meta_value_to_staged_meta_type
• meta::meta_types_builder::coerce_meta_value_to_type
• meta::meta_types_builder::eval_meta_expr_arg
• meta::meta_types_builder::eval_meta_int_arg
• meta::meta_types_builder::eval_meta_string_arg
• meta::meta_types_builder::eval_meta_type_arg
• meta::meta_types_builder::eval_meta_typed_expr_arg
• meta::meta_types_builder::expand_builder_block
• meta::meta_types_builder::expand_builder_expr
• meta::meta_types_builder::expand_builder_stmt
• meta::meta_types_builder::expect_meta_expr
• meta::meta_types_builder::expect_meta_int
• meta::meta_types_builder::expect_meta_string
• meta::meta_types_builder::expect_meta_type
• meta::meta_types_builder::expect_meta_typed_expr
• meta::meta_types_builder::expr_builder_locals
• meta::meta_types_builder::is_expr_meta_type
• meta::quote_expand::builder_value_to_expr
• meta::quote_expand::coerce_value_to_code_for_match
• meta::quote_expand::expand_builder_call_arg
• meta::quote_expand::expand_quoted_block
• meta::quote_expand::expand_quoted_call_arg
• meta::quote_expand::expand_quoted_expr
• meta::quote_expand::expand_quoted_stmt
• meta::quote_expand::match_quote_code
• meta::quote_expand::promote_splice_value
• meta::quote_expand::runtime_splice_value_to_expr
• meta::quote_expand::splice_value_to_expr
• meta::quote_match::format_meta_type
• meta::quote_match::kind_name
• meta::quote_match::match_quote_pattern_call_arg
• meta::quote_match::match_quote_pattern_expr
• meta::quote_match::match_quote_pattern_type
• meta::quote_match::match_stmt_pattern
• meta::quote_match::meta_value_type_name
• meta::quote_match::number_literal_to_i64
• meta::runtime_eval::eval_builtin_meta_call
• meta::runtime_eval::eval_meta_block
• meta::runtime_eval::eval_meta_expr
• meta::runtime_eval::eval_meta_stmt
• meta::runtime_eval::expand_runtime_call_arg
• meta::runtime_eval::expand_runtime_expr
• meta::runtime_eval::runtime_stmts_from_meta_value
• meta_builtins::builtin_meta_call_arity
• meta_builtins::builtin_meta_call_name
• meta_builtins::builtin_result_type
• meta_builtins::builtin_spec
• meta_builtins::builtin_spec_by_name
• meta_builtins::builtin_tuple_head_result_type
• meta_builtins::builtin_tuple_tail_result_type
• meta_builtins::string_concat
• meta_builtins::string_drop
• meta_builtins::string_starts_with
• meta_builtins::string_take
• meta_builtins::tuple_expr_head
• meta_builtins::tuple_expr_is_empty
• meta_builtins::tuple_expr_tail
• meta_builtins::tuple_type_head_builtin
• meta_builtins::tuple_type_tail_builtin
• meta_types::format_type_expr
• meta_types::meta_types_compatible
• meta_types::tuple_head_type
• meta_types::tuple_tail_type
• meta_types::types_equal
• mir::browser_graph::program_to_browser_graph
• mir::infer_heap_ownership
• mir::lower::lower_program
• mir::naming::mangle_canonical_ident
• mir::naming::synthetic_temp_ident
• modules::allocate_file_id
• modules::bundled_std_module_source
• modules::ensure_no_duplicate_imports
• modules::load_import_module
• modules::load_module_recursive
• modules::merge_loaded_modules
• modules::parse_module
• modules::qualify::qualify_block
• modules::qualify::qualify_call_arg
• modules::qualify::qualify_decl_name
• modules::qualify::qualify_expr
• modules::qualify::qualify_meta_block
• modules::qualify::qualify_meta_expr
• modules::qualify::qualify_program_module
• modules::qualify::qualify_quoted_code
• modules::qualify::qualify_symbol_name
• modules::qualify::qualify_type_expr
• modules::qualify::qualify_type_ref
• modules::resolve_for_browser
• modules::resolve_for_native
• modules::resolve_modules
• pass::time_pass
• semantic::analyze_program
• semantic::converge_meta_types
• semantic::format_meta_type
• semantic::infer_meta_expr_type
• semantic::infer_meta_expr_type_with_env_shallow
• semantic::infer_meta_type_from_type_expr
• semantic::infer_runtime_expr_type
• semantic::iter_all_expr_types
• semantic::looks_like_type_name
• semantic::meta_call_info
• semantic::meta_pattern_kind
• semantic::meta_value_fits_type
• semantic::resolve_meta_name
• semantic::resolve_runtime_name
• source_index::build_function_line_map
• source_index::parse_function_name
• syntax::ast::format_assign_mode
• syntax::ast::format_binary_op
• syntax::ast::format_ownership_mode
• syntax::ast::format_prefix_op
• syntax::ast::format_relational_op
• syntax::parse_program
• syntax::parse_program_cst
• syntax::parse_program_with_file_id
• syntax::syntax::browser_graph::program_to_browser_graph
• syntax::syntax::cst::build_program_cst
• syntax::syntax::parse_program
• syntax::syntax::parse_program_cst
• syntax::syntax::parse_program_with_file_id

Type Aliases

• hir::browser_graph::BrowserHirEdge
• hir::browser_graph::BrowserHirGraph
• hir::browser_graph::BrowserHirNode
• meta::core::RuntimeScope
• mir::browser_graph::BrowserMirEdge
• mir::browser_graph::BrowserMirGraph
• mir::browser_graph::BrowserMirNode
• syntax::syntax::browser_graph::BrowserAstEdge
• syntax::syntax::browser_graph::BrowserAstGraph
• syntax::syntax::browser_graph::BrowserAstNode
• syntax::syntax::cst::SyntaxNode
• syntax::syntax::lexer::Spanned

Constants

• meta_builtins::BUILTIN_META_SPECS
• meta_builtins::EXPR_ARG
• meta_builtins::STRING_INT_ARGS
• meta_builtins::STRING_STRING_ARGS
• meta_builtins::TYPE_ARG
• modules::STD_MODULE_NAME
• modules::STD_MODULE_SOURCE
• modules::STD_STRING_MODULE_NAME
• modules::STD_STRING_MODULE_SOURCE