logicaffeine_web/ui/components/
mod.rs

1//! Reusable UI components.
2//!
3//! This module contains all Dioxus components used throughout the application.
4//! Components are organized by function:
5//!
6//! # Navigation
7//! - [`app_navbar`] - Top navigation bar for app pages
8//! - [`main_nav`] - Main site navigation with links
9//!
10//! # Learning Interface
11//! - [`learn_sidebar`] - Curriculum browser with era/module tree
12//! - [`module_tabs`] - Tab bar for switching exercise modes
13//! - [`socratic_guide`] - Hint display with progressive revelation
14//! - [`vocab_reference`] - Lexicon term lookup
15//! - [`symbol_dictionary`] - Logic symbol quick reference
16//!
17//! # Gamification
18//! - [`xp_popup`] - XP gain notification
19//! - [`combo_indicator`] - Combo multiplier display
20//! - [`streak_display`] - Daily streak counter
21//! - [`achievement_toast`] - Achievement unlock overlay
22//!
23//! # Studio (Playground)
24//! - [`mode_toggle`] - Logic/Code/Math mode switcher
25//! - [`file_browser`] - Virtual file system tree
26//! - [`code_editor`] - Monaco-style code editing
27//! - [`formula_editor`] - LaTeX formula input with preview
28//! - [`repl_output`] - REPL history display
29//! - [`proof_panel`] - Proof tactic interface
30//!
31//! # Output & Visualization
32//! - [`logic_output`] - FOL expression display with formatting
33//! - [`ast_tree`] - Interactive syntax tree visualization
34//! - [`katex`] - LaTeX math rendering
35//! - [`context_view`] - Proof context display
36//!
37//! # Form Elements
38//! - [`input`] - Styled text input
39//! - [`editor`] - Multi-line text editor
40//! - [`chat`] - Chat message display
41
42pub mod app_navbar;
43pub mod chat;
44pub mod input;
45pub mod editor;
46pub mod logic_output;
47pub mod ast_tree;
48pub mod socratic_guide;
49pub mod katex;
50pub mod mixed_text;
51pub mod xp_popup;
52pub mod combo_indicator;
53pub mod streak_display;
54pub mod achievement_toast;
55pub mod mode_selector;
56pub mod guide_code_block;
57pub mod guide_sidebar;
58pub mod learn_sidebar;
59pub mod lexicon_gate;
60pub mod main_nav;
61pub mod module_tabs;
62pub mod symbol_dictionary;
63pub mod vocab_reference;
64pub mod footer;
65pub mod page_layout;
66pub mod icon;
67pub mod theme_picker;
68
69// Studio components
70pub mod mode_toggle;
71pub mod file_browser;
72pub mod repl_output;
73pub mod context_view;
74pub mod symbol_palette;
75pub mod formula_editor;
76pub mod code_editor;
77pub mod proof_panel;
78pub mod debug_drawer;
logicaffeine_web/ui/components/mod.rs

logicaffeine_web/ui/components/
mod.rs
