List of all items

Structs

• AstNode
• achievements::Achievement
• content::ContentEngine
• content::Curriculum
• content::Era
• content::EraMeta
• content::ExerciseConfig
• content::Module
• content::ModuleMeta
• content::Section
• content::SymbolDef
• game::ComboResult
• game::FreezeGrant
• game::XpReward
• generator::Challenge
• generator::Generator
• grader::GradeResult
• learn_state::FocusState
• learn_state::ModuleTabState
• progress::ExerciseProgress
• progress::ModuleProgress
• progress::SrsData
• progress::UserProgress
• sitemap::SitemapEntry
• struggle::StruggleConfig
• struggle::StruggleDetector
• ui::components::achievement_toast::AchievementToastProps
• ui::components::app_navbar::AppNavbarProps
• ui::components::ast_tree::AstTreeProps
• ui::components::chat::ChatDisplayProps
• ui::components::code_editor::CodeEditorProps
• ui::components::code_editor::CodeViewProps
• ui::components::combo_indicator::ComboIndicatorProps
• ui::components::context_view::ContextEntry
• ui::components::context_view::ContextViewProps
• ui::components::debug_drawer::DebugDrawerProps
• ui::components::editor::EditorProps
• ui::components::editor::LiveEditorProps
• ui::components::file_browser::FileBrowserProps
• ui::components::footer::FooterProps
• ui::components::formula_editor::FormulaEditorProps
• ui::components::formula_editor::LatexPreviewProps
• ui::components::guide_code_block::GuideCodeBlockProps
• ui::components::guide_sidebar::GuideSidebarProps
• ui::components::guide_sidebar::SectionInfo
• ui::components::guide_sidebar::SidebarMobileToggleProps
• ui::components::icon::IconProps
• ui::components::input::InputAreaProps
• ui::components::katex::KatexSpanProps
• ui::components::learn_sidebar::LearnSidebarProps
• ui::components::learn_sidebar::ModuleInfo
• ui::components::lexicon_gate::LexiconGateProps
• ui::components::logic_output::LogicOutputProps
• ui::components::main_nav::MainNavProps
• ui::components::mixed_text::MixedTextProps
• ui::components::mode_selector::ModeInfo
• ui::components::mode_selector::ModeSelectorProps
• ui::components::mode_toggle::ModeToggleProps
• ui::components::module_tabs::ModuleTabsProps
• ui::components::module_tabs::TabButtonProps
• ui::components::page_layout::PageLayoutProps
• ui::components::proof_panel::ProofPanelProps
• ui::components::repl_output::ReplOutputProps
• ui::components::socratic_guide::SocraticGuideProps
• ui::components::streak_display::StreakDisplayProps
• ui::components::symbol_dictionary::SymbolDictionaryProps
• ui::components::symbol_dictionary::SymbolLegendProps
• ui::components::symbol_palette::SymbolPaletteProps
• ui::components::vocab_reference::VocabReferenceProps
• ui::components::xp_popup::XpPopupProps
• ui::examples::ExampleSpec
• ui::hooks::use_inactivity_timer::InactivityState
• ui::pages::guide::content::CodeExample
• ui::pages::guide::content::Section
• ui::pages::news::article::NewsArticleProps
• ui::pages::news::data::Article
• ui::pages::news::index::NewsProps
• ui::pages::pigeonhole_viz::PigeonSpec
• ui::pages::pigeonhole_viz::Verdict
• ui::pages::register_alloc_viz::RegSpec
• ui::pages::registry::browse::RegistryProps
• ui::pages::registry::package_detail::PackageDetailProps
• ui::pages::roadmap_data::Example
• ui::pages::roadmap_data::Milestone
• ui::pages::roadmap_history::Release
• ui::pages::studio::StudioProps
• ui::pages::success::SuccessProps
• ui::pages::workspace::WorkspaceProps
• ui::seo::BreadcrumbItem
• ui::seo::JsonLdMultipleProps
• ui::seo::JsonLdProps
• ui::seo::PageHeadProps
• ui::seo::PageMeta
• ui::state::AppState
• ui::state::ChatMessage
• ui::state::FileNode
• ui::state::GitHubUser
• ui::state::LicenseState
• ui::state::MathDocument
• ui::state::MathFormula
• ui::state::PackageDetails
• ui::state::PackageVersion
• ui::state::RegistryAuthState
• ui::state::RegistryPackage
• ui::state::ReplLine
• ui::theme_state::ThemeState

Enums

• audio::SoundEffect
• content::ContentBlock
• content::ExerciseType
• game::StreakStatus
• generator::AnswerType
• learn_state::TabMode
• srs::ResponseQuality
• struggle::StruggleReason
• ui::components::code_editor::Language
• ui::components::context_view::EntryKind
• ui::components::footer::FooterVariant
• ui::components::icon::IconSize
• ui::components::icon::IconVariant
• ui::components::katex::TextPart
• ui::components::logic_output::OutputFormat
• ui::components::main_nav::ActivePage
• ui::components::page_layout::LayoutVariant
• ui::components::proof_panel::ProofStatus
• ui::components::proof_panel::Tactic
• ui::components::socratic_guide::GuideMode
• ui::examples::Expected
• ui::examples::Mode
• ui::pages::guide::content::ExampleMode
• ui::pages::roadmap_data::Output
• ui::pages::roadmap_data::Status
• ui::router::Route
• ui::state::LicensePlan
• ui::state::Role
• ui::state::StudioMode
• ui::theme_state::Theme
• unlock::ModuleState

Functions

• achievements::check_achievements
• achievements::get_achievement
• achievements::unlock_achievement
• audio::play_sound
• game::calculate_xp_reward
• game::check_level_up_freeze_grants
• game::is_sunday
• game::level_title
• game::update_combo
• game::update_streak
• game::xp_progress_to_next_level
• generator::ensure_lexicon
• generator::lexicon
• grader::check_answer
• progress::calculate_level
• progress::calculate_xp_reward
• progress::xp_for_level
• sitemap::generate_sitemap
• sitemap::get_news_routes
• sitemap::get_static_routes
• sitemap::prerender_routes
• srs::calculate_next_review
• srs::is_due
• srs::sm2_update
• storage::clear
• storage::load_raw
• storage::save_raw
• ui::app::App
• ui::components::achievement_toast::AchievementToast
• ui::components::app_navbar::AppNavbar
• ui::components::ast_tree::AstTree
• ui::components::chat::ChatDisplay
• ui::components::code_editor::CodeEditor
• ui::components::code_editor::CodeView
• ui::components::combo_indicator::ComboIndicator
• ui::components::context_view::ContextView
• ui::components::debug_drawer::DebugDrawer
• ui::components::editor::Editor
• ui::components::editor::LiveEditor
• ui::components::file_browser::FileBrowser
• ui::components::footer::Footer
• ui::components::formula_editor::FormulaEditor
• ui::components::formula_editor::LatexPreview
• ui::components::guide_code_block::GuideCodeBlock
• ui::components::guide_sidebar::GuideSidebar
• ui::components::guide_sidebar::SidebarMobileToggle
• ui::components::icon::Icon
• ui::components::input::InputArea
• ui::components::katex::KatexSpan
• ui::components::katex::parse_latex_in_text
• ui::components::learn_sidebar::LearnSidebar
• ui::components::lexicon_gate::LexiconGate
• ui::components::logic_output::LogicOutput
• ui::components::logic_output::highlight_logic
• ui::components::main_nav::MainNav
• ui::components::mixed_text::MixedText
• ui::components::mode_selector::ModeSelector
• ui::components::mode_toggle::ModeToggle
• ui::components::module_tabs::ModuleTabs
• ui::components::module_tabs::TabButton
• ui::components::page_layout::PageLayout
• ui::components::proof_panel::ProofPanel
• ui::components::repl_output::ReplOutput
• ui::components::socratic_guide::SocraticGuide
• ui::components::socratic_guide::get_context_hint
• ui::components::socratic_guide::get_success_message
• ui::components::streak_display::StreakDisplay
• ui::components::symbol_dictionary::SymbolDictionary
• ui::components::symbol_dictionary::SymbolLegend
• ui::components::symbol_palette::SymbolPalette
• ui::components::theme_picker::ThemeCycleButton
• ui::components::theme_picker::ThemePicker
• ui::components::vocab_reference::VocabReference
• ui::components::xp_popup::XpPopup
• ui::examples::seed_examples
• ui::hooks::use_inactivity_timer::use_activity_resetter
• ui::hooks::use_inactivity_timer::use_inactivity_timer
• ui::hooks::use_inactivity_timer::use_is_inactive
• ui::pages::benchmarks::Benchmarks
• ui::pages::benchmarks::CodecSection
• ui::pages::benchmarks::SolverSection
• ui::pages::crates::Crates
• ui::pages::guide::Guide
• ui::pages::guide::content::get_all_sections
• ui::pages::guide::content::get_parts
• ui::pages::guide::content::get_section_by_id
• ui::pages::guide::content::get_sections_by_part
• ui::pages::landing::Landing
• ui::pages::learn::Learn
• ui::pages::news::article::NewsArticle
• ui::pages::news::data::format_tag
• ui::pages::news::data::get_all_tags
• ui::pages::news::data::get_article_by_slug
• ui::pages::news::data::get_articles
• ui::pages::news::data::get_articles_by_tag
• ui::pages::news::index::News
• ui::pages::pigeonhole_viz::is_pigeonhole_spec
• ui::pages::pigeonhole_viz::parse_pigeonhole_spec
• ui::pages::pigeonhole_viz::render
• ui::pages::pigeonhole_viz::report
• ui::pages::pigeonhole_viz::solve
• ui::pages::pricing::Pricing
• ui::pages::privacy::Privacy
• ui::pages::profile::Profile
• ui::pages::register_alloc_viz::allocation_report
• ui::pages::register_alloc_viz::interference_edges
• ui::pages::register_alloc_viz::is_register_alloc_spec
• ui::pages::register_alloc_viz::is_valid_linear_scan
• ui::pages::register_alloc_viz::linear_scan_assignment
• ui::pages::register_alloc_viz::parse_register_spec
• ui::pages::register_alloc_viz::pressure_profile
• ui::pages::register_alloc_viz::render
• ui::pages::registry::browse::Registry
• ui::pages::registry::package_detail::PackageDetail
• ui::pages::roadmap::Roadmap
• ui::pages::roadmap_data::get_milestones
• ui::pages::roadmap_history::get_history
• ui::pages::roadmap_history::news_slug_for
• ui::pages::studio::Studio
• ui::pages::studio::parse_math_statements
• ui::pages::success::Success
• ui::pages::terms::Terms
• ui::pages::workspace::Workspace
• ui::responsive::all_mobile_styles
• ui::responsive::with_mobile_styles
• ui::router::studio_file_url
• ui::seo::JsonLd
• ui::seo::JsonLdMultiple
• ui::seo::PageHead
• ui::seo::article_schema
• ui::seo::breadcrumb_schema
• ui::seo::contact_schema
• ui::seo::course_schema
• ui::seo::faq_schema
• ui::seo::organization_schema
• ui::seo::profile_page_schema
• ui::seo::roadmap_schema
• ui::seo::software_application_schema
• ui::seo::tech_article_schema
• ui::seo::webpage_schema
• ui::seo::website_schema
• ui::theme::css_variables
• ui::theme_state::theme_css
• unlock::check_module_unlocked
• unlock::get_locked_module_ids
• unlock::get_module_state
• unlock::has_perfect_module

Constants

• achievements::ACHIEVEMENTS
• ui::components::debug_drawer::IC_BUG
• ui::examples::ALL_CODE_EXAMPLES
• ui::examples::ALL_HARDWARE_SPECS
• ui::examples::ALL_LOGIC_EXAMPLES
• ui::examples::ALL_MATH_EXAMPLES
• ui::examples::CODE_CRDT_COUNTERS
• ui::examples::CODE_CRDT_TALLY
• ui::examples::CODE_FIBONACCI
• ui::examples::CODE_HELLO
• ui::examples::HARDWARE_EXAMPLES
• ui::examples::LOGIC_BARBER
• ui::examples::LOGIC_LEIBNIZ
• ui::examples::LOGIC_QUANTIFIERS
• ui::examples::LOGIC_SIMPLE
• ui::examples::MATH_AUTO
• ui::examples::MATH_BOOL
• ui::examples::MATH_GODEL_LITERATE
• ui::examples::MATH_INCOMPLETENESS_LITERATE
• ui::examples::MATH_NAT
• ui::examples::MATH_PROP_LOGIC
• ui::examples::PIGEONHOLE_EXAMPLES
• ui::examples::REGALLOC_EXAMPLES
• ui::examples::RTL_EXAMPLES
• ui::hooks::use_inactivity_timer::DEFAULT_INACTIVITY_THRESHOLD_MS
• ui::pages::guide::content::SECTIONS
• ui::responsive::MOBILE_BASE_STYLES
• ui::responsive::MOBILE_BUTTON_STYLES
• ui::responsive::MOBILE_INPUT_STYLES
• ui::responsive::MOBILE_PANEL_STYLES
• ui::responsive::MOBILE_RESIZER_STYLES
• ui::responsive::MOBILE_TAB_BAR_STYLES
• ui::responsive::breakpoints::LG
• ui::responsive::breakpoints::MD
• ui::responsive::breakpoints::SM
• ui::responsive::breakpoints::XL
• ui::responsive::breakpoints::XS
• ui::responsive::media::DESKTOP
• ui::responsive::media::MOBILE
• ui::responsive::media::MOBILE_LANDSCAPE
• ui::responsive::media::REDUCED_MOTION
• ui::responsive::media::TABLET
• ui::responsive::media::TOUCH_DEVICE
• ui::responsive::touch::COMFORTABLE_TARGET
• ui::responsive::touch::LARGE_TARGET
• ui::responsive::touch::MIN_TARGET
• ui::seo::pages::BENCHMARKS
• ui::seo::pages::CRATES
• ui::seo::pages::GUIDE
• ui::seo::pages::LANDING
• ui::seo::pages::LEARN
• ui::seo::pages::NEWS
• ui::seo::pages::PRICING
• ui::seo::pages::PRIVACY
• ui::seo::pages::PROFILE
• ui::seo::pages::REGISTRY
• ui::seo::pages::ROADMAP
• ui::seo::pages::STUDIO
• ui::seo::pages::TERMS
• ui::theme::colors::ACCENT_BLUE
• ui::theme::colors::ACCENT_PURPLE
• ui::theme::colors::ACHIEVEMENT_GOLD
• ui::theme::colors::BG_DARK
• ui::theme::colors::BG_HOVER
• ui::theme::colors::BG_OVERLAY_DARK
• ui::theme::colors::BG_OVERLAY_LIGHT
• ui::theme::colors::BG_SUBTLE
• ui::theme::colors::BG_VERY_SUBTLE
• ui::theme::colors::BORDER_MEDIUM
• ui::theme::colors::BORDER_SUBTLE
• ui::theme::colors::COMBO_LIGHT
• ui::theme::colors::COMBO_ORANGE
• ui::theme::colors::ERROR
• ui::theme::colors::INFO
• ui::theme::colors::PRIMARY_BLUE
• ui::theme::colors::PRIMARY_PURPLE
• ui::theme::colors::SUCCESS
• ui::theme::colors::SYNTAX_CONNECTIVE
• ui::theme::colors::SYNTAX_CONSTANT
• ui::theme::colors::SYNTAX_DETERMINER
• ui::theme::colors::SYNTAX_PREDICATE
• ui::theme::colors::SYNTAX_QUANTIFIER
• ui::theme::colors::SYNTAX_VARIABLE
• ui::theme::colors::TEXT_HIGH_CONTRAST
• ui::theme::colors::TEXT_LOW
• ui::theme::colors::TEXT_MEDIUM
• ui::theme::colors::TEXT_MUTED
• ui::theme::colors::TEXT_PLACEHOLDER
• ui::theme::colors::TEXT_PRIMARY
• ui::theme::colors::TEXT_SECONDARY
• ui::theme::colors::TEXT_SUBTLE
• ui::theme::colors::TEXT_TERTIARY
• ui::theme::colors::TEXT_VERY_SUBTLE
• ui::theme::colors::WARNING
• ui::theme::colors::XP_GREEN
• ui::theme::font_family::MONO
• ui::theme::font_family::MONO_SYSTEM
• ui::theme::font_family::SANS
• ui::theme::font_size::BODY_LG
• ui::theme::font_size::BODY_MD
• ui::theme::font_size::BODY_SM
• ui::theme::font_size::CAPTION_LG
• ui::theme::font_size::CAPTION_MD
• ui::theme::font_size::CAPTION_SM
• ui::theme::font_size::DISPLAY_LG
• ui::theme::font_size::DISPLAY_MD
• ui::theme::font_size::DISPLAY_XL
• ui::theme::font_size::HEADING_LG
• ui::theme::font_size::HEADING_MD
• ui::theme::font_size::HEADING_SM
• ui::theme::radius::FULL
• ui::theme::radius::LG
• ui::theme::radius::MD
• ui::theme::radius::SM
• ui::theme::radius::XL
• ui::theme::spacing::LG
• ui::theme::spacing::MD
• ui::theme::spacing::SM
• ui::theme::spacing::XL
• ui::theme::spacing::XS
• ui::theme::spacing::XXL