Move styling to style and add Border type

By forwarding all `Key`s to the agent and allow it to decide what should
be done, instead of converting the `Key` to a `Control` and then decide
what should be done

src/musicplayer/control.gleam

@@ -1,30 +1,58 @@
+import gleam/string
+import musicplayer/ui/layout
+
 import musicplayer/input/key.{type Key}
 
+pub type Mode {
+  Idle
+  Searching(input: String)
+}
+
 pub type Control {
   TogglePlayPause
-  Search
+  Search(input: String, capturing: Bool)
 
-  Raw(String)
+  SetView(view_idx: layout.ViewIdx)
-  Return
-  Backspace
 
   Exit
 }
 
-pub fn from_key(key: Key) -> Result(Control, Nil) {
+pub fn from_key(key: Key, mode: Mode) -> Result(Control, Nil) {
+  case mode {
+    Idle -> idle_from_key(key)
+    Searching(input) -> searching_from_key(key, input)
+  }
+}
+
+pub fn idle_from_key(key: Key) -> Result(Control, Nil) {
   case key {
-    key.Return -> Ok(Return)
+    key.Char(char) -> {
-    key.Backspace -> Ok(Backspace)
+      case char {
-    key.Char(char) -> Ok(char_control(char))
+        // Views are zero indexed
+        "1" -> Ok(SetView(0))
+        "2" -> Ok(SetView(1))
+
+        " " -> Ok(TogglePlayPause)
+        "/" -> Ok(Search(input: "", capturing: True))
+        "q" -> Ok(Exit)
+
+        // NOOP
+        _ -> Error(Nil)
+      }
+    }
+
+    // NOOP
     _ -> Error(Nil)
   }
 }
 
-fn char_control(char: String) -> Control {
+pub fn searching_from_key(key: Key, input: String) -> Result(Control, Nil) {
-  case char {
+  case key {
-    " " -> TogglePlayPause
+    key.Char(char) -> Ok(Search(input <> char, True))
-    "/" -> Search
+    key.Backspace -> Ok(Search(string.drop_end(input, 1), True))
-    "q" -> Exit
+    key.Return -> Ok(Search(input, False))
-    _ -> Raw(char)
+
+    // NOOP
+    _ -> Error(Nil)
   }
 }

src/musicplayer/musicplayer.gleam

@@ -1,9 +1,8 @@
 import gleam/erlang/process.{type Name, type Pid, type Subject}
 import gleam/otp/actor
-import gleam/result
 import gleam/string
 
-import musicplayer/control.{type Control}
+import musicplayer/control.{type Mode}
 import musicplayer/input/key.{type Key}
 import musicplayer/logging/logging
 import musicplayer/mpv/control as mpv_control
@@ -11,19 +10,9 @@ import musicplayer/time/time
 import musicplayer/ui/control as ui_control
 import musicplayer/ui/layout
 
-type Mode {
-  Idle
-  Searching
-}
-
-type Input {
-  Input(capturing: Bool, content: String)
-}
-
 type State {
   State(
     mode: Mode,
-    input: Input,
     ui: Subject(ui_control.Control),
     mpv: Subject(mpv_control.Control),
   )
@@ -36,10 +25,8 @@ pub fn new(
 ) -> Result(Pid, String) {
   let input_keys = process.named_subject(input_keys_name)
 
-  let input = Input(False, "")
-
   case
-    actor.new(State(Idle, input, ui, mpv))
+    actor.new(State(control.Idle, ui, mpv))
     |> actor.on_message(handle_message)
     |> actor.start
   {
@@ -49,94 +36,77 @@ pub fn new(
       logging.log("musicplayer - started")
       process.spawn(fn() {
         let assert Ok(_) = process.register(process.self(), input_keys_name)
-        handle_key(musicplayer, input_keys)
+        forward_key(musicplayer, input_keys)
       })
 
-      process.spawn(fn() { update_playback_time_loop(mpv, ui, 1000) })
+      process.spawn(fn() { update_playback_time_loop(mpv, ui, 250) })
 
       Ok(pid)
     }
   }
 }
 
-fn handle_message(state: State, control: Control) -> actor.Next(State, Control) {
+fn handle_message(state: State, key: Key) -> actor.Next(State, Key) {
-  case control {
+  case control.from_key(key, state.mode) {
-    control.Search -> {
+    Error(_) -> actor.continue(state)
-      logging.log("musicplayer - initiating search")
+    Ok(c) ->
+      case c {
+        control.SetView(view_idx) -> {
+          logging.log(
+            "musicplayer - setting current view to: "
+            <> string.inspect(view_idx),
+          )
 
-      update_search(state.ui, "searching: ")
+          update_current_view(state.ui, view_idx)
+          actor.continue(state)
+        }
+        control.Search(input, capturing) -> {
+          case capturing {
+            True -> {
+              logging.log("musicplayer - searching: " <> input)
 
-      actor.continue(
+              update_search(state.ui, "searching: " <> input)
-        State(
-          ..state,
-          mode: Searching,
-          input: Input(..state.input, capturing: True),
-        ),
-      )
-    }
 
-    control.Raw(content) -> {
+              actor.continue(State(..state, mode: control.Searching(input)))
-      logging.log("musicplayer - recieved raw input: " <> content)
+            }
+            False -> {
+              logging.log(
+                "musicplayer - recieved return. `input`: "
+                <> "'"
+                <> input
+                <> "'",
+              )
 
-      let content = case state.mode {
+              update_search(state.ui, "")
-        Idle -> state.input.content
+
-        Searching -> {
+              actor.continue(State(..state, mode: control.Idle))
-          let updated = state.input.content <> content
+            }
-          update_search(state.ui, "searching: " <> updated)
+          }
-          updated
+        }
+        control.TogglePlayPause -> {
+          logging.log("musicplayer - toggling play/pause")
+
+          process.send(state.mpv, mpv_control.TogglePlayPause)
+          update_playback_time(state.mpv, state.ui)
+          actor.continue(state)
+        }
+        control.Exit -> {
+          logging.log("musicplayer - initiating musicplayer shutdown")
+          // Close `mpv` socket
+          process.call(state.mpv, 1000, fn(reply_to) {
+            mpv_control.Exit(reply_to)
+          })
+
+          // Reset terminal state (show cursor etc.)
+          process.call(state.ui, 1000, fn(reply_to) {
+            ui_control.Exit(reply_to)
+          })
+
+          logging.log("musicplayer - stopped")
+
+          actor.stop()
         }
       }
-
-      actor.continue(State(..state, input: Input(..state.input, content:)))
-    }
-    control.Backspace -> {
-      logging.log("musicplayer - recieved backspace")
-
-      let content = case state.mode {
-        Idle -> state.input.content
-        Searching -> string.drop_end(state.input.content, 1)
-      }
-      actor.continue(State(..state, input: Input(..state.input, content:)))
-    }
-    control.Return -> {
-      logging.log(
-        "musicplayer - recieved return. `input.capture`: "
-        <> "'"
-        <> state.input.content
-        <> "'",
-      )
-
-      // Note: state.input.content is now the final input, use it
-      // before it is reset
-      case state.mode {
-        Idle -> Nil
-        Searching -> update_search(state.ui, "")
-      }
-
-      actor.continue(
-        State(..state, mode: Idle, input: Input(capturing: False, content: "")),
-      )
-    }
-
-    control.TogglePlayPause -> {
-      logging.log("musicplayer - toggling play/pause")
-
-      process.send(state.mpv, mpv_control.TogglePlayPause)
-      update_playback_time(state.mpv, state.ui)
-      actor.continue(state)
-    }
-    control.Exit -> {
-      logging.log("musicplayer - initiating musicplayer shutdown")
-      // Close `mpv` socket
-      process.call(state.mpv, 1000, fn(reply_to) { mpv_control.Exit(reply_to) })
-
-      // Reset terminal state (show cursor etc.)
-      process.call(state.ui, 1000, fn(reply_to) { ui_control.Exit(reply_to) })
-
-      logging.log("musicplayer - stopped")
-
-      actor.stop()
-    }
   }
 }
 
@@ -164,7 +134,7 @@ fn update_playback_time(
     Error(err) ->
       process.send(
         ui,
-        ui_control.UpdateState(
+        ui_control.UpdateHeading(
           layout.PlaybackTime,
           "playback time: N/A (err: " <> err.details <> ")",
         ),
@@ -173,7 +143,7 @@ fn update_playback_time(
     Ok(mpv_control.PlaybackTime(data: playback_time)) ->
       process.send(
         ui,
-        ui_control.UpdateState(
+        ui_control.UpdateHeading(
           layout.PlaybackTime,
           "playback time: " <> time.to_duration_string(playback_time),
         ),
@@ -182,17 +152,24 @@ fn update_playback_time(
 }
 
 fn update_search(ui: Subject(ui_control.Control), content: String) -> Nil {
-  process.send(ui, ui_control.UpdateState(layout.Search, content))
+  process.send(ui, ui_control.UpdateHeading(layout.Search, content))
 }
 
-/// `handle_key` listens to a subject onto which `input` will send messages with `Key`s
+fn update_current_view(
-fn handle_key(musicplayer: Subject(Control), input_keys: Subject(Key)) -> Nil {
+  ui: Subject(ui_control.Control),
+  view_idx: layout.ViewIdx,
+) {
+  process.send(ui, ui_control.SetView(view_idx))
+}
+
+/// `forward_key` listens to a subject onto which `input` will send messages with `Key`s
+/// that is then forwarded to the `musicplayer` agent to handle
+fn forward_key(musicplayer: Subject(Key), input_keys: Subject(Key)) -> Nil {
   let _ =
     process.new_selector()
     |> process.select(input_keys)
     |> process.selector_receive_forever
-    |> control.from_key
+    |> process.send(musicplayer, _)
-    |> result.map(process.send(musicplayer, _))
 
-  handle_key(musicplayer, input_keys)
+  forward_key(musicplayer, input_keys)
 }

src/musicplayer/ui/ansi.gleam

@@ -1,42 +0,0 @@
-import gleam/list
-import gleam/string
-import gleam/string_tree
-
-import musicplayer/ui/internal
-
-pub fn text(chars: String, x: Int, y: Int) {
-  internal.chars_at(chars, x, y)
-}
-
-pub fn box(x: Int, y: Int, width: Int, height: Int) -> String {
-  let box_chars = #("┌", "┐", "└", "┘", "─", "│")
-  let #(tl, tr, bl, br, h, v) = box_chars
-
-  // Add top of box
-  let tree =
-    string_tree.new()
-    |> string_tree.append(internal.chars_at(
-      tl <> string.repeat(h, width - 2) <> tr,
-      x,
-      y,
-    ))
-
-  // Add sides of box
-  let tree_with_sides =
-    list.range(1, height - 2)
-    |> list.map(fn(row) {
-      tree
-      |> string_tree.append(internal.chars_at(v, x, y + row))
-      |> string_tree.append(internal.chars_at(v, x + width - 1, y + row))
-    })
-    |> string_tree.concat
-
-  // Add bottom of box
-  tree_with_sides
-  |> string_tree.append(internal.chars_at(
-    bl <> string.repeat(h, width - 2) <> br,
-    x,
-    y + height - 1,
-  ))
-  |> string_tree.to_string
-}

src/musicplayer/ui/control.gleam

@@ -1,10 +1,11 @@
 import gleam/erlang/process.{type Subject}
 
-import musicplayer/ui/layout.{type Section}
+import musicplayer/ui/layout.{type Section, type ViewIdx}
 
 pub type Control {
   UpdateDimensions(columns: Int, rows: Int)
-  UpdateState(section: Section, content: String)
+  UpdateHeading(section: Section, heading: String)
+  SetView(view_idx: ViewIdx)
 
   Exit(reply_to: Subject(Nil))
 }

src/musicplayer/ui/internal.gleam

@@ -3,6 +3,16 @@ import gleam/io
 
 // https://en.wikipedia.org/wiki/ANSI_escape_code#Control_Sequence_Introducer_commands
 
+pub const move_to_home = "\u{001B}[H"
+
+pub const disable_auto_wrap = "\u{001B}[?7l"
+
+pub const enable_auto_wrap = "\u{001B}[?7h"
+
+pub fn update(frame: String) -> Nil {
+  io.print(disable_auto_wrap <> move_to_home <> frame <> enable_auto_wrap)
+}
+
 pub fn clear_screen() -> Nil {
   io.print("\u{001B}[2J\u{001B}[H")
 }
@@ -12,10 +22,6 @@ pub fn chars_at(chars: String, x: Int, y: Int) -> String {
   seq <> chars
 }
 
-pub fn print(chars: String) -> Nil {
-  io.print(chars)
-}
-
 pub fn hide_cursor() -> Nil {
   io.print("\u{001B}[?25l")
 }

src/musicplayer/ui/layout.gleam

@@ -1,14 +1,14 @@
 import gleam/dict
 import gleam/int
 import gleam/list
+import gleam/option.{type Option, None, Some}
 import gleam/pair
 import gleam/set
 import gleam/string
-import gleam/string_tree
 
-import musicplayer/logging/logging
-import musicplayer/ui/ansi
 import musicplayer/ui/internal
+import musicplayer/ui/plot.{type Buffer}
+import musicplayer/ui/style.{type Style, Percent, Style}
 
 pub const root_section = "reserved_root_section"
 
@@ -20,27 +20,46 @@ pub type Section {
   PlaybackTime
 }
 
-pub type Dimension {
-  Percent(width: Int, height: Int)
-  // TODO add Flex that flows
-}
-
-pub type Style {
-  Style(dimensions: Dimension)
-}
-
 pub type Node {
-  Row(content: String, style: Style, children: List(Section))
+  Row(heading: Option(String), style: Style, children: List(Section))
-  Cell(content: String, style: Style)
+  Cell(heading: Option(String), style: Style)
 }
 
+pub type ViewIdx =
+  Int
+
+pub type View =
+  dict.Dict(Section, Node)
+
+// Layout consists of a list Views, and only one View is rendered at a time
 pub type Layout {
-  Layout(columns: Int, rows: Int, nodes: dict.Dict(Section, Node))
+  Layout(
+    columns: Int,
+    rows: Int,
+    current_view: ViewIdx,
+    views: dict.Dict(ViewIdx, View),
+  )
 }
 
-pub fn new(columns: Int, rows: Int, nodes: List(#(Section, Node))) -> Layout {
+pub fn new(
+  columns: Int,
+  rows: Int,
+  views: List(List(#(Section, Node))),
+) -> Layout {
+  let views =
+    list.index_map(views, fn(view_nodes, i) { #(i, view_nodes) })
+    |> list.fold(dict.new(), fn(view_acc, iv) {
+      let #(i, view_nodes) = iv
+
+      dict.insert(view_acc, i, view_loop(i, view_nodes))
+    })
+
+  Layout(columns:, rows:, current_view: 0, views:)
+}
+
+fn view_loop(i: ViewIdx, view_nodes: List(#(Section, Node))) -> View {
   let children =
-    nodes
+    view_nodes
     |> list.flat_map(fn(node) {
       case pair.second(node) {
         Row(children: c, ..) -> c
@@ -52,39 +71,50 @@ pub fn new(columns: Int, rows: Int, nodes: List(#(Section, Node))) -> Layout {
   // All sections that are not children of other nodes will be added as
   // children to the root
   let orphans =
-    nodes
+    view_nodes
     |> list.map(pair.first)
     |> list.filter(fn(node) { !set.contains(children, node) })
 
-  let nodes =
+  dict.from_list(view_nodes)
-    dict.from_list(nodes)
+  |> dict.insert(
-    |> dict.insert(
+    view_index_section(i),
-      Section(root_section),
+    Row(
-      Row(
+      heading: None,
-        content: "",
+      style: Style(dimensions: Percent(width: 100, height: 100), border: None),
-        style: Style(dimensions: Percent(width: 100, height: 100)),
+      children: orphans,
-        children: orphans,
+    ),
-      ),
+  )
-    )
-
-  Layout(columns:, rows:, nodes:)
 }
 
-pub fn update_section(
+/// Takes a ViewIndex and create a Section key from it
+fn view_index_section(view_idx: ViewIdx) -> Section {
+  Section(string.append("view_", int.to_string(view_idx)))
+}
+
+pub fn update_section_heading(
   layout: Layout,
   section: Section,
-  content: String,
+  heading: String,
 ) -> Layout {
-  case dict.get(layout.nodes, section) {
+  case dict.get(layout.views, layout.current_view) {
     Error(_) -> layout
-    Ok(node) -> {
+    Ok(view) ->
-      let updated = case node {
+      case dict.get(view, section) {
-        Cell(..) -> Cell(..node, content: content)
+        Error(_) -> layout
-        Row(..) -> Row(..node, content: content)
+        Ok(node) -> {
-      }
+          let updated_node = case node {
+            Cell(..) -> Cell(..node, heading: Some(heading))
+            Row(..) -> Row(..node, heading: Some(heading))
+          }
 
-      Layout(..layout, nodes: dict.insert(layout.nodes, section, updated))
+          let updated_view = dict.insert(view, section, updated_node)
-    }
+
+          Layout(
+            ..layout,
+            views: dict.insert(layout.views, layout.current_view, updated_view),
+          )
+        }
+      }
   }
 }
 
@@ -92,15 +122,11 @@ pub fn update_dimensions(layout: Layout, columns: Int, rows: Int) -> Layout {
   Layout(..layout, columns:, rows:)
 }
 
+pub fn update_current_view(layout: Layout, view_idx: ViewIdx) -> Layout {
+  Layout(..layout, current_view: view_idx)
+}
+
 pub fn render(layout: Layout) -> Nil {
-  internal.clear_screen()
-
-  [layout.columns, layout.rows]
-  |> list.map(int.to_string)
-  |> string.join(" ")
-  |> string.append("layout - render: ", _)
-  |> logging.log
-
   let context =
     RenderContext(
       parent_width: layout.columns,
@@ -110,29 +136,21 @@ pub fn render(layout: Layout) -> Nil {
       position_index: 0,
     )
 
-  let ansi_renders =
+  case dict.get(layout.views, layout.current_view) {
-    Renders(
+    Error(_) -> Nil
-      text: fn(tree, chars, x, y) {
+    Ok(view) -> {
-        string_tree.append(tree, ansi.text(chars, x, y))
+      let buffer: Buffer = dict.new()
-      },
-      box: fn(tree, x, y, w, h) {
-        string_tree.append(tree, ansi.box(x, y, w, h))
-      },
-    )
 
-  string_tree.new()
+      render_loop(
-  |> render_generic(layout, context, Section(root_section), _, ansi_renders)
+        view,
-  |> string_tree.to_string
+        context,
-  |> internal.print
+        view_index_section(layout.current_view),
-}
+        buffer,
-
+      )
-pub type Renders(into) {
+      |> plot.flush_buffer(layout.columns, layout.rows)
-  Renders(
+      |> internal.update
-    // into, chars, x, y
+    }
-    text: fn(into, String, Int, Int) -> into,
+  }
-    // into, x, y, width, height
-    box: fn(into, Int, Int, Int, Int) -> into,
-  )
 }
 
 pub type RenderContext {
@@ -145,17 +163,16 @@ pub type RenderContext {
   )
 }
 
-pub fn render_generic(
+pub fn render_loop(
-  layout: Layout,
+  view: View,
   context: RenderContext,
   from: Section,
-  render_into: into,
+  buffer: Buffer,
-  renders: Renders(into),
+) -> Buffer {
-) -> into {
+  case dict.get(view, from) {
-  case dict.get(layout.nodes, from) {
+    Error(_) -> buffer
-    Error(_) -> render_into
     Ok(node) -> {
-      // Margin between container and the node being rendere
+      // Margin between container and the node being rendered
       let margin = 2
 
       let #(node_width, node_height) = case node.style.dimensions {
@@ -179,21 +196,31 @@ pub fn render_generic(
         )
       }
 
-      let parent =
+      let parent = case node.heading {
-        render_into
+        None ->
-        |> renders.box(
+          plot.box(
-          node_top_left_x,
+            buffer,
-          node_top_left_y,
+            node_top_left_x,
-          node_width,
+            node_top_left_y,
-          node_height,
+            node_width,
-        )
+            node_height,
-        |> renders.text(node.content, node_top_left_x, node_top_left_y)
+          )
+        option.Some(heading) ->
+          plot.box_with_heading(
+            buffer,
+            node_top_left_x,
+            node_top_left_y,
+            node_width,
+            node_height,
+            heading,
+          )
+      }
 
       case node {
         Cell(..) -> parent
         Row(children:, ..) -> {
           list.index_map(children, fn(child, i) { #(i, child) })
-          |> list.fold(parent, fn(acc_into, ic) {
+          |> list.fold(parent, fn(acc_buffer, ic) {
             let #(i, child) = ic
 
             let #(child_width, child_height) = case node.style.dimensions {
@@ -215,7 +242,7 @@ pub fn render_generic(
                 position_index: i,
               )
 
-            render_generic(layout, context, child, acc_into, renders)
+            render_loop(view, context, child, acc_buffer)
           })
         }
       }

src/musicplayer/ui/layout_examples/layout_examples.gleam

@@ -1,6 +1,9 @@
+import gleam/option.{Some}
+
 import musicplayer/ui/internal
-import musicplayer/ui/layout.{Percent, Section, Style}
+import musicplayer/ui/layout.{Section}
 import musicplayer/ui/layout_examples/wait_for_input.{wait_for_input}
+import musicplayer/ui/style.{Percent, Style}
 
 pub fn main() {
   let assert Ok(columns) = internal.io_get_columns()
@@ -16,41 +19,55 @@ pub fn main() {
 /// First row has two cells
 /// Second row has no cells
 fn two_rows_with_cells(columns: Int, rows: Int) -> layout.Layout {
-  let nodes = [
+  let views = [
-    #(
+    [
-      Section("Row1"),
+      #(
-      layout.Row(
+        Section("Row1"),
-        content: "row 1",
+        layout.Row(
-        style: Style(dimensions: Percent(width: 100, height: 50)),
+          heading: Some("row 1"),
-        children: [
+          style: Style(
-          Section("A"),
+            dimensions: Percent(width: 100, height: 50),
-          Section("B"),
+            border: Some(style.BorderSingle),
-        ],
+          ),
+          children: [
+            Section("A"),
+            Section("B"),
+          ],
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("A"),
-      Section("A"),
+        layout.Cell(
-      layout.Cell(
+          heading: Some("cell 1"),
-        content: "cell 1",
+          style: Style(
-        style: Style(dimensions: Percent(width: 50, height: 50)),
+            dimensions: Percent(width: 50, height: 50),
+            border: Some(style.BorderSingle),
+          ),
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("B"),
-      Section("B"),
+        layout.Cell(
-      layout.Cell(
+          heading: Some("cell 2"),
-        content: "cell 2",
+          style: Style(
-        style: Style(dimensions: Percent(width: 50, height: 50)),
+            dimensions: Percent(width: 50, height: 50),
+            border: Some(style.BorderSingle),
+          ),
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("Row2"),
-      Section("Row2"),
+        layout.Row(
-      layout.Row(
+          heading: Some("row 2"),
-        content: "row 2",
+          style: Style(
-        style: Style(dimensions: Percent(width: 50, height: 50)),
+            dimensions: Percent(width: 50, height: 50),
-        children: [],
+            border: Some(style.BorderSingle),
+          ),
+          children: [],
+        ),
       ),
-    ),
+    ],
   ]
 
-  layout.new(columns, rows, nodes)
+  layout.new(columns, rows, views)
 }

src/musicplayer/ui/plot.gleam

@@ -0,0 +1,85 @@
+import gleam/dict.{type Dict}
+import gleam/list
+import gleam/string
+
+pub type Buffer =
+  Dict(#(Int, Int), String)
+
+pub fn flush_buffer(buffer: Buffer, columns: Int, rows: Int) -> String {
+  list.range(1, rows)
+  |> list.map(fn(y) {
+    list.range(1, columns)
+    |> list.map(fn(x) {
+      case dict.get(buffer, #(x, y)) {
+        Ok(char) -> char
+        Error(_) -> " "
+      }
+    })
+    |> string.join("")
+  })
+  |> string.join("\r\n")
+}
+
+pub fn text(buffer: Buffer, text: String, x: Int, y: Int) -> Buffer {
+  text
+  |> string.to_graphemes
+  |> list.index_fold(buffer, fn(acc, char, i) {
+    dict.insert(acc, #(x + i, y), char)
+  })
+}
+
+pub fn box(buffer: Buffer, x: Int, y: Int, width: Int, height: Int) -> Buffer {
+  // TODO move box style to `layout.Style`
+  let box_chars = #("┌", "┐", "└", "┘", "─", "│")
+  let #(tl, tr, bl, br, hor, ver) = box_chars
+
+  case width < 2 || height < 2 {
+    True -> buffer
+    False -> {
+      buffer
+      |> dict.insert(#(x, y), tl)
+      |> dict.insert(#(x + width - 1, y), tr)
+      |> dict.insert(#(x, y + height - 1), bl)
+      |> dict.insert(#(x + width - 1, y + height - 1), br)
+      |> horizontal_line(x + 1, y, width - 2, hor)
+      |> horizontal_line(x + 1, y + height - 1, width - 2, hor)
+      |> vertical_line(x, y + 1, height - 2, ver)
+      |> vertical_line(x + width - 1, y + 1, height - 2, ver)
+    }
+  }
+}
+
+pub fn box_with_heading(
+  buffer: Buffer,
+  x: Int,
+  y: Int,
+  width: Int,
+  height: Int,
+  heading: String,
+) -> Buffer {
+  let heading_margin = 1
+  box(buffer, x, y, width, height)
+  |> text(heading, x + heading_margin, y)
+}
+
+fn horizontal_line(
+  buffer: Buffer,
+  x: Int,
+  y: Int,
+  len: Int,
+  char: String,
+) -> Buffer {
+  list.range(0, len - 1)
+  |> list.fold(buffer, fn(acc, i) { dict.insert(acc, #(x + i, y), char) })
+}
+
+fn vertical_line(
+  buffer: Buffer,
+  x: Int,
+  y: Int,
+  len: Int,
+  char: String,
+) -> Buffer {
+  list.range(0, len - 1)
+  |> list.fold(buffer, fn(acc, i) { dict.insert(acc, #(x, y + i), char) })
+}

src/musicplayer/ui/style.gleam

@@ -0,0 +1,34 @@
+import gleam/option.{type Option}
+
+pub type Dimension {
+  Percent(width: Int, height: Int)
+  // TODO add Flex that flows
+}
+
+pub type Border {
+  BorderNone
+  BorderSingle
+}
+
+pub type Style {
+  Style(dimensions: Dimension, border: Option(Border))
+}
+
+pub type BorderChars {
+  BorderChars(
+    top_left: String,
+    top_right: String,
+    bottom_left: String,
+    bottom_right: String,
+    horisontal: String,
+    vertical: String,
+  )
+}
+
+// https://en.wikipedia.org/wiki/Box-drawing_characters
+pub fn border_chars(border: Border) -> BorderChars {
+  case border {
+    BorderNone -> BorderChars("", "", "", "", "", "")
+    BorderSingle -> BorderChars("┌", "┐", "└", "┘", "─", "│")
+  }
+}

src/musicplayer/ui/ui.gleam

@@ -1,6 +1,7 @@
 import gleam/erlang/process.{type Subject}
 import gleam/int
 import gleam/list
+import gleam/option.{None, Some}
 import gleam/otp/actor
 import gleam/string
 
@@ -8,6 +9,7 @@ import musicplayer/logging/logging
 import musicplayer/ui/control.{type Control}
 import musicplayer/ui/internal
 import musicplayer/ui/layout.{type Layout}
+import musicplayer/ui/style
 
 pub type State(redraw, content) {
   State(redraw: Subject(Layout), layout: Layout)
@@ -19,30 +21,65 @@ pub fn new() -> Result(Subject(Control), String) {
 
   let layout =
     [
-      #(
+      [
-        layout.Header,
+        #(
-        layout.Row(
+          layout.Header,
-          content: "Foo (1) | Bar (2) | Baz (3)",
+          layout.Row(
-          style: layout.Style(dimensions: layout.Percent(width: 100, height: 33)),
+            heading: Some("Foo <1> | Bar (2)"),
-          children: [],
+            style: style.Style(
+              dimensions: style.Percent(width: 100, height: 50),
+              border: Some(style.BorderSingle),
+            ),
+            children: [],
+          ),
         ),
-      ),
+        #(
-      #(
+          layout.PlaybackTime,
-        layout.Search,
+          layout.Row(
-        layout.Row(
+            heading: None,
-          content: "",
+            style: style.Style(
-          style: layout.Style(dimensions: layout.Percent(width: 100, height: 33)),
+              dimensions: style.Percent(width: 100, height: 50),
-          children: [],
+              border: Some(style.BorderSingle),
+            ),
+            children: [],
+          ),
         ),
-      ),
+      ],
-      #(
+      [
-        layout.PlaybackTime,
+        #(
-        layout.Row(
+          layout.Header,
-          content: "00:00",
+          layout.Row(
-          style: layout.Style(dimensions: layout.Percent(width: 100, height: 33)),
+            heading: Some("Foo (1) | Bar <2>"),
-          children: [],
+            style: style.Style(
+              dimensions: style.Percent(width: 100, height: 33),
+              border: Some(style.BorderSingle),
+            ),
+            children: [],
+          ),
         ),
-      ),
+        #(
+          layout.Search,
+          layout.Row(
+            heading: None,
+            style: style.Style(
+              dimensions: style.Percent(width: 100, height: 33),
+              border: Some(style.BorderSingle),
+            ),
+            children: [],
+          ),
+        ),
+        #(
+          layout.PlaybackTime,
+          layout.Row(
+            heading: None,
+            style: style.Style(
+              dimensions: style.Percent(width: 100, height: 33),
+              border: Some(style.BorderSingle),
+            ),
+            children: [],
+          ),
+        ),
+      ],
     ]
     |> layout.new(0, 0, _)
 
@@ -97,8 +134,8 @@ fn handle_message(
         }
       }
     }
-    control.UpdateState(section, content) -> {
+    control.UpdateHeading(section, heading) -> {
-      let layout = layout.update_section(state.layout, section, content)
+      let layout = layout.update_section_heading(state.layout, section, heading)
 
       actor.send(state.redraw, layout)
       actor.continue(State(..state, layout:))
@@ -109,6 +146,12 @@ fn handle_message(
       process.send(reply_to, Nil)
       actor.stop()
     }
+    control.SetView(view_idx) -> {
+      let layout = layout.update_current_view(state.layout, view_idx)
+
+      actor.send(state.redraw, layout)
+      actor.continue(State(..state, layout:))
+    }
   }
 }
 

test/musicplayer/control_test.gleam

@@ -1,7 +1,7 @@
 import gleam/list
 import gleeunit
 
-import musicplayer/control.{type Control}
+import musicplayer/control.{type Control, type Mode}
 import musicplayer/input/key.{type Key, Char}
 
 pub fn main() -> Nil {
@@ -9,16 +9,24 @@ pub fn main() -> Nil {
 }
 
 type TestCase {
-  TestCase(key: Key, expected: Result(Control, Nil))
+  TestCase(key: Key, mode: Mode, expected: Result(Control, Nil))
 }
 
 pub fn control_from_key_test() {
-  let test_cases = [
+  let idle_tests = [
-    TestCase(Char(" "), Ok(control.TogglePlayPause)),
+    TestCase(Char(" "), control.Idle, Ok(control.TogglePlayPause)),
-    TestCase(Char("q"), Ok(control.Exit)),
+    TestCase(Char("/"), control.Idle, Ok(control.Search("", True))),
+    TestCase(Char("q"), control.Idle, Ok(control.Exit)),
   ]
 
-  list.each(test_cases, fn(tc) {
+  let search_tests = [
-    assert tc.expected == control.from_key(tc.key)
+    TestCase(Char("a"), control.Searching(""), Ok(control.Search("a", True))),
+    TestCase(Char("b"), control.Searching("a"), Ok(control.Search("ab", True))),
+  ]
+
+  let test_cases = [idle_tests, search_tests]
+
+  list.each(list.flatten(test_cases), fn(tc) {
+    assert tc.expected == control.from_key(tc.key, tc.mode)
   })
 }

test/musicplayer/ui/layout_test.gleam

@@ -1,61 +1,78 @@
+import gleam/dict
 import gleam/io
+import gleam/option.{Some}
 import gleam/string
 import gleeunit
 import gleeunit/should
-import musicplayer/ui/virtual_ansi
 
-import musicplayer/ui/layout.{Percent, Section, Style}
+import musicplayer/ui/layout.{RenderContext, Section}
+import musicplayer/ui/plot
+import musicplayer/ui/style.{Percent, Style}
 
 pub fn main() -> Nil {
   gleeunit.main()
 }
 
 pub fn percent_layout_test() {
-  let nodes = [
+  let views = [
-    #(
+    [
-      Section("Row1"),
+      #(
-      layout.Row(
+        Section("Row1"),
-        content: "row 1",
+        layout.Row(
-        style: Style(dimensions: Percent(width: 100, height: 50)),
+          heading: Some("row 1"),
-        children: [
+          style: Style(
-          Section("A"),
+            dimensions: Percent(width: 100, height: 50),
-          Section("B"),
+            border: Some(style.BorderSingle),
-        ],
+          ),
+          children: [
+            Section("A"),
+            Section("B"),
+          ],
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("A"),
-      Section("A"),
+        layout.Cell(
-      layout.Cell(
+          heading: Some("cell 1"),
-        content: "cell 1",
+          style: Style(
-        style: Style(dimensions: Percent(width: 50, height: 100)),
+            dimensions: Percent(width: 50, height: 100),
+            border: Some(style.BorderSingle),
+          ),
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("B"),
-      Section("B"),
+        layout.Cell(
-      layout.Cell(
+          heading: Some("cell 2"),
-        content: "cell 2",
+          style: Style(
-        style: Style(dimensions: Percent(width: 50, height: 100)),
+            dimensions: Percent(width: 50, height: 100),
+            border: Some(style.BorderSingle),
+          ),
+        ),
       ),
-    ),
+      #(
-    #(
+        Section("Row2"),
-      Section("Row2"),
+        layout.Row(
-      layout.Row(
+          heading: Some("row 1"),
-        content: "row 1",
+          style: Style(
-        style: Style(dimensions: Percent(width: 100, height: 50)),
+            dimensions: Percent(width: 100, height: 50),
-        children: [],
+            border: Some(style.BorderSingle),
+          ),
+          children: [],
+        ),
       ),
-    ),
+    ],
   ]
 
   let columns = 80
   let rows = 20
-  let layout = layout.new(columns, rows, nodes)
+  let layout = layout.new(columns, rows, views)
 
   let expected =
     "
 ┌──────────────────────────────────────────────────────────────────────────────┐
-│row 1────────────────────────────────────────────────────────────────────────┐│
+│┌row 1───────────────────────────────────────────────────────────────────────┐│
-││cell 1───────────────────────────────┐cell 2───────────────────────────────┐││
+││┌cell 1──────────────────────────────┐┌cell 2──────────────────────────────┐││
 │││                                    ││                                    │││
 │││                                    ││                                    │││
 │││                                    ││                                    │││
@@ -63,7 +80,7 @@ pub fn percent_layout_test() {
 │││                                    ││                                    │││
 ││└────────────────────────────────────┘└────────────────────────────────────┘││
 │└────────────────────────────────────────────────────────────────────────────┘│
-│row 1────────────────────────────────────────────────────────────────────────┐│
+│┌row 1───────────────────────────────────────────────────────────────────────┐│
 ││                                                                            ││
 ││                                                                            ││
 ││                                                                            ││
@@ -74,9 +91,30 @@ pub fn percent_layout_test() {
 │└────────────────────────────────────────────────────────────────────────────┘│
 └──────────────────────────────────────────────────────────────────────────────┘
 "
+    |> string.replace(each: "\n", with: "\r\n")
+    |> string.trim
 
-  let visual = virtual_ansi.render(layout)
+  let context =
-  case visual == string.trim(expected) {
+    RenderContext(
+      parent_width: layout.columns,
+      parent_height: layout.rows,
+      parent_top_left_x: 1,
+      parent_top_left_y: 1,
+      position_index: 0,
+    )
+
+  let assert Ok(view) = dict.get(layout.views, layout.current_view)
+
+  let flushed =
+    layout.render_loop(
+      view,
+      context,
+      Section(string.append("view_", string.inspect(layout.current_view))),
+      dict.new(),
+    )
+    |> plot.flush_buffer(layout.columns, layout.rows)
+
+  case flushed == expected {
     True -> Nil
     False -> {
       io.println("Test failed")
@@ -84,9 +122,9 @@ pub fn percent_layout_test() {
       io.println(string.trim(expected))
 
       io.println("Got:")
-      io.println(visual)
+      io.println(flushed)
 
-      should.equal(visual, expected)
+      should.equal(flushed, expected)
     }
   }
 }

test/musicplayer/ui/virtual_ansi.gleam

@@ -1,118 +0,0 @@
-import gleam/dict
-import gleam/int
-import gleam/list
-import gleam/string
-
-import musicplayer/ui/layout.{type Layout, RenderContext, Renders}
-
-pub type Screen =
-  dict.Dict(#(Int, Int), String)
-
-pub fn render(layout: Layout) -> String {
-  let test_renders =
-    Renders(
-      text: fn(screen, chars, x, y) { text(screen, chars, x, y) },
-      box: fn(screen, x, y, w, h) { box(screen, x, y, w, h) },
-    )
-
-  let context =
-    RenderContext(
-      parent_width: layout.columns,
-      parent_height: layout.rows,
-      parent_top_left_x: 1,
-      parent_top_left_y: 1,
-      position_index: 0,
-    )
-
-  let screen =
-    layout.render_generic(
-      layout,
-      context,
-      layout.Section(layout.root_section),
-      dict.new(),
-      test_renders,
-    )
-
-  screen_to_string(screen)
-}
-
-pub fn screen_to_string(screen: Screen) -> String {
-  let keys = dict.keys(screen)
-
-  // Find the bounding box of the drawing
-  let max_x = list.fold(keys, 0, fn(m, k) { int.max(m, k.0) })
-  let max_y = list.fold(keys, 0, fn(m, k) { int.max(m, k.1) })
-
-  // We start from 1 because ANSI is 1-based
-  let min_y = list.fold(keys, 1000, fn(m, k) { int.min(m, k.1) })
-
-  list.range(min_y, max_y)
-  |> list.map(fn(y) {
-    list.range(1, max_x)
-    |> list.map(fn(x) {
-      case dict.get(screen, #(x, y)) {
-        Ok(char) -> char
-        Error(_) -> " "
-        // Fill gaps with space
-      }
-    })
-    |> string.join("")
-  })
-  |> string.join("\n")
-}
-
-pub fn text(screen: Screen, text: String, start_x: Int, y: Int) -> Screen {
-  // We use to_graphemes to ensure Unicode characters (like emoji or box lines)
-  // are treated as single visual units
-  text
-  |> string.to_graphemes
-  |> list.index_fold(screen, fn(acc, char, i) {
-    dict.insert(acc, #(start_x + i, y), char)
-  })
-}
-
-pub fn box(screen: Screen, x: Int, y: Int, w: Int, h: Int) -> Screen {
-  let box_chars = #("┌", "┐", "└", "┘", "─", "│")
-  let #(tl, tr, bl, br, hor, ver) = box_chars
-
-  // Don't draw impossible boxes
-  case w < 2 || h < 2 {
-    True -> screen
-    False -> {
-      screen
-      // 1. Corners
-      |> dict.insert(#(x, y), tl)
-      |> dict.insert(#(x + w - 1, y), tr)
-      |> dict.insert(#(x, y + h - 1), bl)
-      |> dict.insert(#(x + w - 1, y + h - 1), br)
-      // 2. Top and Bottom edges
-      |> horizontal_line(x + 1, y, w - 2, hor)
-      |> horizontal_line(x + 1, y + h - 1, w - 2, hor)
-      // 3. Side edges
-      |> vertical_line(x, y + 1, h - 2, ver)
-      |> vertical_line(x + w - 1, y + 1, h - 2, ver)
-    }
-  }
-}
-
-fn horizontal_line(
-  screen: Screen,
-  x: Int,
-  y: Int,
-  len: Int,
-  char: String,
-) -> Screen {
-  list.range(0, len - 1)
-  |> list.fold(screen, fn(acc, i) { dict.insert(acc, #(x + i, y), char) })
-}
-
-fn vertical_line(
-  screen: Screen,
-  x: Int,
-  y: Int,
-  len: Int,
-  char: String,
-) -> Screen {
-  list.range(0, len - 1)
-  |> list.fold(screen, fn(acc, i) { dict.insert(acc, #(x, y + i), char) })
-}