feat: db list paging (#1542)

This commit is contained in:
Bjerg
2023-03-02 15:46:00 +01:00
committed by GitHub
parent 5fbd3f0c9b
commit 5720ede550
2 changed files with 229 additions and 78 deletions

View File

@ -151,8 +151,10 @@ impl Command {
);
return Ok(());
}
let map = tool.list::<tables::$table>($start, $len)?;
tui::DbListTUI::<tables::$table>::show_tui(map, $start, total_entries)
tui::DbListTUI::<_, tables::$table>::new(|start, count| {
tool.list::<tables::$table>(start, count).unwrap()
}, $start, $len, total_entries).run()
})??
},)*
_ => {

View File

@ -19,7 +19,14 @@ use tui::{
};
/// Available keybindings for the [DbListTUI]
static CMDS: [(&str, &str); 3] = [("q", "Quit"), ("up", "Entry Above"), ("down", "Entry Below")];
static CMDS: [(&str, &str); 6] = [
("q", "Quit"),
("", "Entry above"),
("", "Entry below"),
("", "Previous page"),
("", "Next page"),
("G", "Go to a specific page"),
];
/// Modified version of the [ListState] struct that exposes the `offset` field.
/// Used to make the [DbListTUI] keys clickable.
@ -27,26 +34,62 @@ struct ExpListState {
pub(crate) offset: usize,
}
#[derive(Default)]
pub(crate) struct DbListTUI<T: Table> {
/// The state of the key list.
pub(crate) state: ListState,
/// The starting index of the key list in the DB.
pub(crate) start: usize,
/// The total number of entries in the database
pub(crate) total_entries: usize,
/// Entries to show in the TUI.
pub(crate) entries: BTreeMap<T::Key, T::Value>,
#[derive(Default, Eq, PartialEq)]
pub(crate) enum ViewMode {
/// Normal list view mode
#[default]
Normal,
/// Currently wanting to go to a page
GoToPage,
}
impl<T: Table> DbListTUI<T> {
fn new(entries: BTreeMap<T::Key, T::Value>, start: usize, total_entries: usize) -> Self {
Self { state: ListState::default(), start, total_entries, entries }
#[derive(Default)]
pub(crate) struct DbListTUI<F, T: Table>
where
F: FnMut(usize, usize) -> BTreeMap<T::Key, T::Value>,
{
/// Fetcher for the next page of items.
///
/// The fetcher is passed the index of the first item to fetch, and the number of items to
/// fetch from that item.
fetch: F,
/// The starting index of the key list in the DB.
start: usize,
/// The amount of entries to show per page
count: usize,
/// The total number of entries in the database
total_entries: usize,
/// The current view mode
mode: ViewMode,
/// The current state of the input buffer
input: String,
/// The state of the key list.
list_state: ListState,
/// Entries to show in the TUI.
entries: BTreeMap<T::Key, T::Value>,
}
impl<F, T: Table> DbListTUI<F, T>
where
F: FnMut(usize, usize) -> BTreeMap<T::Key, T::Value>,
{
/// Create a new database list TUI
pub(crate) fn new(fetch: F, start: usize, count: usize, total_entries: usize) -> Self {
Self {
fetch,
start,
count,
total_entries,
mode: ViewMode::Normal,
input: String::new(),
list_state: ListState::default(),
entries: BTreeMap::new(),
}
}
/// Move to the next list selection
fn next(&mut self) {
let i = match self.state.selected() {
let i = match self.list_state.selected() {
Some(i) => {
if i >= self.entries.len() - 1 {
0
@ -56,12 +99,12 @@ impl<T: Table> DbListTUI<T> {
}
None => 0,
};
self.state.select(Some(i));
self.list_state.select(Some(i));
}
/// Move to the previous list selection
fn previous(&mut self) {
let i = match self.state.selected() {
let i = match self.list_state.selected() {
Some(i) => {
if i == 0 {
self.entries.len() - 1
@ -71,89 +114,177 @@ impl<T: Table> DbListTUI<T> {
}
None => 0,
};
self.state.select(Some(i));
self.list_state.select(Some(i));
}
fn reset(&mut self) {
self.list_state.select(Some(0));
}
/// Fetch the next page of items
fn next_page(&mut self) {
if self.start + self.count >= self.total_entries {
return
}
self.start += self.count;
self.fetch_page();
}
/// Fetch the previous page of items
fn previous_page(&mut self) {
if self.start == 0 {
return
}
self.start -= self.count;
self.fetch_page();
}
/// Go to a specific page.
fn go_to_page(&mut self, page: usize) {
self.start = (self.count * page).min(self.total_entries - self.count);
self.fetch_page();
}
/// Fetch the current page
fn fetch_page(&mut self) {
self.entries = (self.fetch)(self.start, self.count);
self.reset();
}
/// Show the [DbListTUI] in the terminal.
pub(crate) fn show_tui(
entries: BTreeMap<T::Key, T::Value>,
start: usize,
total_entries: usize,
) -> eyre::Result<()> {
// setup terminal
pub(crate) fn run(mut self) -> eyre::Result<()> {
// Setup backend
enable_raw_mode()?;
let mut stdout = io::stdout();
execute!(stdout, EnterAlternateScreen, EnableMouseCapture)?;
let backend = CrosstermBackend::new(stdout);
let mut terminal = Terminal::new(backend)?;
// create app and run it
let tick_rate = Duration::from_millis(250);
let mut app = DbListTUI::<T>::new(entries, start, total_entries);
app.state.select(Some(0));
let res = run(&mut terminal, app, tick_rate);
// Load initial page
self.fetch_page();
// restore terminal
// Run event loop
let tick_rate = Duration::from_millis(250);
let res = event_loop(&mut terminal, &mut self, tick_rate);
// Restore terminal
disable_raw_mode()?;
execute!(terminal.backend_mut(), LeaveAlternateScreen, DisableMouseCapture)?;
terminal.show_cursor()?;
// Handle errors
if let Err(err) = res {
error!("{:?}", err)
}
Ok(())
}
}
fn run<B: Backend, T: Table>(
/// Run the event loop
fn event_loop<B: Backend, F, T: Table>(
terminal: &mut Terminal<B>,
mut app: DbListTUI<T>,
app: &mut DbListTUI<F, T>,
tick_rate: Duration,
) -> io::Result<()> {
) -> io::Result<()>
where
F: FnMut(usize, usize) -> BTreeMap<T::Key, T::Value>,
{
let mut last_tick = Instant::now();
loop {
terminal.draw(|f| ui(f, &mut app))?;
let mut running = true;
while running {
// Render
terminal.draw(|f| ui(f, app))?;
// Calculate timeout
let timeout =
tick_rate.checked_sub(last_tick.elapsed()).unwrap_or_else(|| Duration::from_secs(0));
// Poll events
if crossterm::event::poll(timeout)? {
match event::read()? {
Event::Key(key) => match key.code {
KeyCode::Char('q') | KeyCode::Char('Q') => return Ok(()),
KeyCode::Down => app.next(),
KeyCode::Up => app.previous(),
_ => {}
},
Event::Mouse(e) => match e.kind {
MouseEventKind::ScrollDown => app.next(),
MouseEventKind::ScrollUp => app.previous(),
// TODO: This click event can be triggered outside of the list widget.
MouseEventKind::Down(_) => {
// SAFETY: The pointer to the app's state will always be valid for
// reads here, and the source is larger than the destination.
//
// This is technically unsafe, but because the alignment requirements
// in both the source and destination are the same and we can ensure
// that the pointer to `app.state` is valid for reads, this is safe.
let state: ExpListState = unsafe { std::mem::transmute_copy(&app.state) };
let new_idx = (e.row as usize + state.offset).saturating_sub(1);
if new_idx < app.entries.len() {
app.state.select(Some(new_idx));
}
}
_ => {}
},
_ => {}
}
running = !handle_event(app, event::read()?)?;
}
if last_tick.elapsed() >= tick_rate {
last_tick = Instant::now();
}
}
Ok(())
}
fn ui<B: Backend, T: Table>(f: &mut Frame<'_, B>, app: &mut DbListTUI<T>) {
/// Handle incoming events
fn handle_event<F, T: Table>(app: &mut DbListTUI<F, T>, event: Event) -> io::Result<bool>
where
F: FnMut(usize, usize) -> BTreeMap<T::Key, T::Value>,
{
if app.mode == ViewMode::GoToPage {
if let Event::Key(key) = event {
match key.code {
KeyCode::Enter => {
let input = std::mem::take(&mut app.input);
if let Ok(page) = input.parse() {
app.go_to_page(page);
}
app.mode = ViewMode::Normal;
}
KeyCode::Char(c) => {
app.input.push(c);
}
KeyCode::Backspace => {
app.input.pop();
}
KeyCode::Esc => app.mode = ViewMode::Normal,
_ => {}
}
}
return Ok(false)
}
match event {
Event::Key(key) => match key.code {
KeyCode::Char('q') | KeyCode::Char('Q') => return Ok(true),
KeyCode::Down => app.next(),
KeyCode::Up => app.previous(),
KeyCode::Right => app.next_page(),
KeyCode::Left => app.previous_page(),
KeyCode::Char('G') => {
app.mode = ViewMode::GoToPage;
}
_ => {}
},
Event::Mouse(e) => match e.kind {
MouseEventKind::ScrollDown => app.next(),
MouseEventKind::ScrollUp => app.previous(),
// TODO: This click event can be triggered outside of the list widget.
MouseEventKind::Down(_) => {
// SAFETY: The pointer to the app's state will always be valid for
// reads here, and the source is larger than the destination.
//
// This is technically unsafe, but because the alignment requirements
// in both the source and destination are the same and we can ensure
// that the pointer to `app.state` is valid for reads, this is safe.
let state: ExpListState = unsafe { std::mem::transmute_copy(&app.list_state) };
let new_idx = (e.row as usize + state.offset).saturating_sub(1);
if new_idx < app.entries.len() {
app.list_state.select(Some(new_idx));
}
}
_ => {}
},
_ => {}
}
Ok(false)
}
/// Render the UI
fn ui<B: Backend, F, T: Table>(f: &mut Frame<'_, B>, app: &mut DbListTUI<F, T>)
where
F: FnMut(usize, usize) -> BTreeMap<T::Key, T::Value>,
{
let outer_chunks = Layout::default()
.direction(Direction::Vertical)
.constraints([Constraint::Percentage(95), Constraint::Percentage(5)].as_ref())
@ -166,16 +297,19 @@ fn ui<B: Backend, T: Table>(f: &mut Frame<'_, B>, app: &mut DbListTUI<T>) {
.constraints([Constraint::Percentage(50), Constraint::Percentage(50)])
.split(outer_chunks[0]);
let key_length = format!("{}", app.start + app.count - 1).len();
let formatted_keys = app
.entries
.keys()
.enumerate()
.map(|(i, k)| ListItem::new(format!("[{}] - {k:?}", i + app.start)))
.map(|(i, k)| {
ListItem::new(format!("[{:0>width$}]: {k:?}", i + app.start, width = key_length))
})
.collect::<Vec<ListItem<'_>>>();
let key_list = List::new(formatted_keys)
.block(Block::default().borders(Borders::ALL).title(format!(
"Keys (Showing range [{}, {}] out of {} entries)",
"Keys (Showing entries {}-{} out of {} entries)",
app.start,
app.start + app.entries.len() - 1,
app.total_entries
@ -184,13 +318,18 @@ fn ui<B: Backend, T: Table>(f: &mut Frame<'_, B>, app: &mut DbListTUI<T>) {
.highlight_style(Style::default().fg(Color::Cyan).add_modifier(Modifier::ITALIC))
.highlight_symbol("")
.start_corner(Corner::TopLeft);
f.render_stateful_widget(key_list, inner_chunks[0], &mut app.state);
f.render_stateful_widget(key_list, inner_chunks[0], &mut app.list_state);
let values = app.entries.values().collect::<Vec<_>>();
let value_display = Paragraph::new(
serde_json::to_string_pretty(
&app.entries.values().collect::<Vec<_>>()[app.state.selected().unwrap_or(0)],
)
.unwrap_or_else(|_| String::from("Error serializing value!")),
app.list_state
.selected()
.and_then(|selected| values.get(selected))
.map(|entry| {
serde_json::to_string_pretty(entry)
.unwrap_or(String::from("Error serializing value"))
})
.unwrap_or("No value selected".to_string()),
)
.block(Block::default().borders(Borders::ALL).title("Value (JSON)"))
.wrap(Wrap { trim: false })
@ -199,11 +338,21 @@ fn ui<B: Backend, T: Table>(f: &mut Frame<'_, B>, app: &mut DbListTUI<T>) {
}
// Footer
let footer = Paragraph::new(
CMDS.iter().map(|(k, v)| format!("[{k}] {v}")).collect::<Vec<_>>().join(" | "),
)
let footer = match app.mode {
ViewMode::Normal => Paragraph::new(
CMDS.iter().map(|(k, v)| format!("[{k}] {v}")).collect::<Vec<_>>().join(" | "),
),
ViewMode::GoToPage => Paragraph::new(format!(
"Go to page (max {}): {}",
app.total_entries / app.count,
app.input
)),
}
.block(Block::default().borders(Borders::ALL))
.alignment(Alignment::Center)
.alignment(match app.mode {
ViewMode::Normal => Alignment::Center,
ViewMode::GoToPage => Alignment::Left,
})
.style(Style::default().fg(Color::Cyan).add_modifier(Modifier::BOLD));
f.render_widget(footer, outer_chunks[1]);
}