napali 0.1.1

TUI interface for Integrated Reasoning's accelerated solver API
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

use ratatui::{
  prelude::*,
  widgets::{Block, Borders},
};
use tui_textarea::TextArea;

/// Manages a prompt for text input in a TUI application.
///
/// This struct handles the display and state of a text area where users can input text.
/// It manages the active state and styling of the text area.
#[derive(Debug)]
pub struct Prompt<'a> {
  text: TextArea<'a>,
  is_active: bool,
}

impl<'a> Prompt<'a> {
  /// Constructs a new `Prompt` with default settings.
  pub fn new() -> Self {
    Prompt {
      text: TextArea::default(),
      is_active: false,
    }
  }

  /// Calculates the layout area for the prompt based on its active state.
  ///
  /// # Arguments
  /// - `area`: The `Rect` representing the entire renderable area.
  ///
  /// # Returns
  /// A `Rect` defining the area for the prompt.
  fn layer(&self, area: Rect) -> Rect {
    (if self.is_active {
      Layout::default()
        .direction(Direction::Vertical)
        .constraints(vec![Constraint::Max(3)])
        .split(area.inner(&Margin {
          horizontal: 1,
          vertical: 0,
        }))
    } else {
      Layout::default()
        .direction(Direction::Vertical)
        .constraints(vec![Constraint::Max(3)])
        .split(area)
    })[0]
  }

  /// Sets the style of the text area based on whether the prompt is active.
  fn set_style(&mut self) {
    if self.is_active {
      self.text.set_cursor_line_style(Style::default());
      self.text.set_placeholder_text(">");
      self.text.set_block(
        Block::default()
          .borders(Borders::ALL)
          .style(Style::default().fg(Color::LightGreen)),
      );
    } else {
      self.text.set_cursor_line_style(Style::default());
      self.text.set_placeholder_text(">");
      //let mut is_valid = validate(&mut self.text);
      self.text.set_block(
        Block::default()
          .title("Prompt")
          .title_alignment(Alignment::Left)
          .borders(Borders::ALL)
          .style(Style::default()),
      );
    }
  }

  /// Toggles the active state of the prompt.
  pub fn toggle(&mut self) {
    self.is_active = !self.is_active;
  }

  /// Renders the prompt onto the specified area of the frame.
  ///
  /// # Arguments
  /// - `area`: The area where the prompt should be rendered.
  /// - `f`: Mutable reference to the frame for rendering.
  pub fn render(&mut self, area: Rect, f: &mut Frame<'_>) {
    let layer = self.layer(area);
    self.set_style();
    f.render_widget(self.text.widget(), layer);
  }
}