List of all items

Structs

• analyze::dependencies::DependencyAnalysis
• analyze::link::LinkOutput
• analyze::symbol_table::SymbolTable
• analyze::type_check::DefId
• analyze::type_check::FieldInfo
• analyze::type_check::Interner
• analyze::type_check::Symbol
• analyze::type_check::TermInfo
• analyze::type_check::TypeContext
• analyze::type_check::TypeId
• bytecode::ByteStorage
• bytecode::Call
• bytecode::CallIR
• bytecode::EffectIR
• bytecode::EffectOp
• bytecode::Entrypoint
• bytecode::EntrypointsView
• bytecode::FieldSymbol
• bytecode::Header
• bytecode::Label
• bytecode::LayoutResult
• bytecode::LineBuilder
• bytecode::Match
• bytecode::MatchIR
• bytecode::Module
• bytecode::NodeSymbol
• bytecode::Return
• bytecode::ReturnIR
• bytecode::Slice
• bytecode::StepId
• bytecode::StringId
• bytecode::StringsView
• bytecode::Symbol
• bytecode::SymbolsView
• bytecode::Trampoline
• bytecode::TrampolineIR
• bytecode::TriviaEntry
• bytecode::TriviaView
• bytecode::TypeDef
• bytecode::TypeId
• bytecode::TypeMember
• bytecode::TypeMetaHeader
• bytecode::TypeName
• bytecode::TypesView
• colors::Colors
• compile::CaptureEffects
• compile::CompileResult
• compile::Compiler
• diagnostics::DiagnosticBuilder
• diagnostics::Diagnostics
• diagnostics::DiagnosticsPrinter
• diagnostics::Span
• emit::StringTableBuilder
• emit::TypeTableBuilder
• emit::layout::CacheAligned
• engine::EffectLog
• engine::FuelLimits
• engine::NodeHandle
• engine::PrintTracer
• engine::VM
• engine::ValueMaterializer
• parser::ParseResult
• parser::Parser
• parser::Token
• parser::ast::AltExpr
• parser::ast::Anchor
• parser::ast::AnonymousNode
• parser::ast::Branch
• parser::ast::CapturedExpr
• parser::ast::Def
• parser::ast::FieldExpr
• parser::ast::NamedNode
• parser::ast::NegatedField
• parser::ast::QuantifiedExpr
• parser::ast::Ref
• parser::ast::Root
• parser::ast::SeqExpr
• parser::ast::Type
• query::LinkedQuery
• query::QueryAnalyzed
• query::QueryBuilder
• query::QueryConfig
• query::QueryContext
• query::QueryParsed
• query::QueryPrinter
• query::Source
• query::SourceId
• query::SourceMap
• typegen::typescript::Config
• typegen::typescript::Emitter

Enums

• Error
• analyze::type_check::Arity
• analyze::type_check::QuantifierKind
• analyze::type_check::TypeFlow
• analyze::type_check::TypeShape
• analyze::type_check::UnifyError
• bytecode::EffectOpcode
• bytecode::Instruction
• bytecode::InstructionIR
• bytecode::MemberRef
• bytecode::ModuleError
• bytecode::Nav
• bytecode::NodeTypeIR
• bytecode::Opcode
• bytecode::TypeData
• bytecode::TypeKind
• compile::CompileError
• diagnostics::DiagnosticKind
• diagnostics::Severity
• emit::EmitError
• engine::RuntimeEffect
• engine::RuntimeError
• engine::Value
• engine::Verbosity
• parser::SyntaxKind
• parser::ast::AltKind
• parser::ast::Expr
• parser::ast::SeqItem
• query::SourceKind
• type_system::Arity
• type_system::PrimitiveType
• type_system::QuantifierKind
• type_system::TypeKind
• typegen::typescript::VoidType

Traits

• analyze::visitor::Visitor
• engine::Materializer
• engine::Tracer

Functions

• analyze::dependencies::analyze_dependencies
• analyze::link::link
• analyze::refs::contains_ref
• analyze::refs::ref_names
• analyze::refs::ref_nodes
• analyze::symbol_table::resolve_names
• analyze::type_check::infer_types
• analyze::type_check::primary_def_name
• analyze::type_check::unify_flow
• analyze::type_check::unify_flows
• analyze::validate_recursion
• analyze::validation::alt_kinds::validate_alt_kinds
• analyze::validation::anchors::validate_anchors
• analyze::validation::empty_constructs::validate_empty_constructs
• analyze::visitor::walk
• analyze::visitor::walk_alt_expr
• analyze::visitor::walk_captured_expr
• analyze::visitor::walk_def
• analyze::visitor::walk_expr
• analyze::visitor::walk_field_expr
• analyze::visitor::walk_named_node
• analyze::visitor::walk_quantified_expr
• analyze::visitor::walk_seq_expr
• bytecode::align_to_section
• bytecode::dump
• bytecode::format_effect
• bytecode::nav_symbol
• bytecode::select_match_opcode
• bytecode::superscript
• bytecode::truncate_text
• bytecode::width_for_count
• emit::emit
• emit::emit_linked
• engine::debug_verify_type
• parser::ast::is_truly_empty_scope
• parser::ast::token_src
• parser::lex
• parser::token_text
• typegen::typescript::emit
• typegen::typescript::emit_with_config

Type Aliases

• PassResult
• Result
• bytecode::StepAddr
• parser::SyntaxNode
• parser::SyntaxToken
• query::AstMap
• query::Query

Constants

• analyze::symbol_table::UNNAMED_DEF
• analyze::type_check::TYPE_NODE
• analyze::type_check::TYPE_STRING
• analyze::type_check::TYPE_VOID
• bytecode::MAGIC
• bytecode::MAX_MATCH_PAYLOAD_SLOTS
• bytecode::MAX_PRE_EFFECTS
• bytecode::SECTION_ALIGN
• bytecode::STEP_SIZE
• bytecode::VERSION
• bytecode::cols::GAP
• bytecode::cols::INDENT
• bytecode::cols::SYMBOL
• bytecode::cols::TOTAL_WIDTH
• bytecode::flags::LINKED
• bytecode::trace::BACKTRACK
• bytecode::trace::CALL
• bytecode::trace::EFFECT
• bytecode::trace::EFFECT_SUPPRESSED
• bytecode::trace::MATCH_FAILURE
• bytecode::trace::MATCH_SUCCESS
• bytecode::trace::NAV_DOWN
• bytecode::trace::NAV_NEXT
• bytecode::trace::NAV_UP
• bytecode::trace::RETURN
• type_system::TYPE_CUSTOM_START
• type_system::TYPE_NODE
• type_system::TYPE_STRING
• type_system::TYPE_VOID