Compare commits
2 Commits
1732b12fbe
...
59429d7721
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
59429d7721 | ||
|
|
7212df3abb |
@@ -3,15 +3,11 @@ import gleam/float
|
||||
import gleam/int
|
||||
import gleam/list
|
||||
import gleam/string
|
||||
import gleam/string_tree.{type StringTree}
|
||||
import gleam/string_tree
|
||||
|
||||
import musicplayer/logging/logging
|
||||
import musicplayer/ui/internal
|
||||
|
||||
pub type Layout {
|
||||
Layout(width: Int, height: Int, nodes: dict.Dict(Section, Node))
|
||||
}
|
||||
|
||||
pub type Section {
|
||||
Section(String)
|
||||
|
||||
@@ -21,22 +17,6 @@ pub type Section {
|
||||
PlaybackTime
|
||||
}
|
||||
|
||||
// pub type Section {
|
||||
// Root
|
||||
// Header
|
||||
// Search
|
||||
// PlaybackTime
|
||||
// Test
|
||||
|
||||
// Row1
|
||||
// A
|
||||
// B
|
||||
|
||||
// Row2
|
||||
// C
|
||||
// D
|
||||
// }
|
||||
|
||||
pub type NodeType {
|
||||
Container
|
||||
Row
|
||||
@@ -54,6 +34,10 @@ pub type Node {
|
||||
)
|
||||
}
|
||||
|
||||
pub type Layout {
|
||||
Layout(width: Int, height: Int, nodes: dict.Dict(Section, Node))
|
||||
}
|
||||
|
||||
pub fn new() -> Layout {
|
||||
let nodes =
|
||||
dict.from_list([
|
||||
@@ -154,8 +138,18 @@ pub fn render(layout: Layout) -> Nil {
|
||||
let container_top_left_x = 1
|
||||
let container_top_left_y = 1
|
||||
|
||||
let ansi_ops =
|
||||
RenderOps(
|
||||
draw_box: fn(tree, x, y, w, h) {
|
||||
string_tree.append(tree, draw_box(x, y, w, h))
|
||||
},
|
||||
draw_text: fn(tree, text, x, y) {
|
||||
string_tree.append(tree, internal.chars_at(text, x, y))
|
||||
},
|
||||
)
|
||||
|
||||
string_tree.new()
|
||||
|> render_loop(
|
||||
|> render_generic(
|
||||
layout,
|
||||
container_width,
|
||||
container_height,
|
||||
@@ -164,29 +158,66 @@ pub fn render(layout: Layout) -> Nil {
|
||||
0,
|
||||
Section("Root"),
|
||||
_,
|
||||
ansi_ops,
|
||||
)
|
||||
|> string_tree.to_string
|
||||
|> internal.print
|
||||
}
|
||||
|
||||
pub fn render_loop(
|
||||
pub type RenderOps(ctx) {
|
||||
RenderOps(
|
||||
draw_box: fn(ctx, Int, Int, Int, Int) -> ctx,
|
||||
draw_text: fn(ctx, String, Int, Int) -> ctx,
|
||||
)
|
||||
}
|
||||
|
||||
pub fn render_generic(
|
||||
layout: Layout,
|
||||
// Dimensions
|
||||
container_width: Float,
|
||||
container_height: Float,
|
||||
container_top_left_x: Int,
|
||||
container_top_left_y: Int,
|
||||
container_tl_x: Int,
|
||||
container_tl_y: Int,
|
||||
// State
|
||||
index: Int,
|
||||
from: Section,
|
||||
tree: StringTree,
|
||||
) -> StringTree {
|
||||
current_ctx: ctx,
|
||||
// <--- Generic State
|
||||
ops: RenderOps(ctx),
|
||||
// <--- The Strategy
|
||||
) -> ctx {
|
||||
case dict.get(layout.nodes, from) {
|
||||
Error(_) -> current_ctx
|
||||
Ok(node) -> {
|
||||
// --- 1. MATH (Shared Logic) ---
|
||||
let margin = 2.0
|
||||
|
||||
case dict.get(layout.nodes, from) {
|
||||
Error(_) -> tree
|
||||
Ok(node) -> {
|
||||
let final_tree =
|
||||
let width =
|
||||
container_width *. { int.to_float(node.width_percent) /. 100.0 }
|
||||
|> float.floor
|
||||
|> float.truncate
|
||||
|
||||
let height =
|
||||
container_height *. { int.to_float(node.height_percent) /. 100.0 }
|
||||
|> float.floor
|
||||
|> float.truncate
|
||||
|
||||
let #(cx, cy) = case node.t {
|
||||
Container -> #(container_tl_x, container_tl_y)
|
||||
Row -> #(container_tl_x, container_tl_y + { index * height })
|
||||
Cell -> #(container_tl_x + { index * width }, container_tl_y)
|
||||
}
|
||||
|
||||
// --- 2. RENDER PARENT (Using Generic Ops) ---
|
||||
// We modify the context using the provided functions
|
||||
let ctx_with_parent =
|
||||
current_ctx
|
||||
|> ops.draw_box(cx, cy, width, height)
|
||||
|> ops.draw_text(node.content, cx, cy)
|
||||
|
||||
// --- 3. RECURSE CHILDREN ---
|
||||
list.index_map(node.children, fn(child, i) { #(i, child) })
|
||||
|> list.fold(tree, fn(updated_tree: StringTree, ic: #(Int, Section)) {
|
||||
|> list.fold(ctx_with_parent, fn(acc_ctx, ic) {
|
||||
let #(i, child) = ic
|
||||
|
||||
let cw =
|
||||
@@ -201,79 +232,54 @@ pub fn render_loop(
|
||||
-. margin
|
||||
|> float.floor
|
||||
|
||||
let cx = container_top_left_x + 1
|
||||
let cy = container_top_left_y + 1
|
||||
render_loop(layout, cw, ch, cx, cy, i, child, updated_tree)
|
||||
let child_origin_x = container_tl_x + 1
|
||||
let child_origin_y = container_tl_y + 1
|
||||
|
||||
render_generic(
|
||||
layout,
|
||||
cw,
|
||||
ch,
|
||||
child_origin_x,
|
||||
child_origin_y,
|
||||
i,
|
||||
child,
|
||||
acc_ctx,
|
||||
ops,
|
||||
)
|
||||
})
|
||||
|
||||
logging.log("section: " <> string.inspect(from))
|
||||
logging.log("section type: " <> string.inspect(node.t))
|
||||
logging.log("index: " <> string.inspect(index))
|
||||
logging.log("container width: " <> float.to_string(container_width))
|
||||
logging.log("container height: " <> float.to_string(container_height))
|
||||
|
||||
let width =
|
||||
container_width *. { int.to_float(node.width_percent) /. 100.0 }
|
||||
|> float.floor
|
||||
|> float.truncate
|
||||
|
||||
let height =
|
||||
container_height *. { int.to_float(node.height_percent) /. 100.0 }
|
||||
|> float.floor
|
||||
|> float.truncate
|
||||
|
||||
logging.log("section width: " <> int.to_string(width))
|
||||
logging.log("section height: " <> int.to_string(height))
|
||||
|
||||
let #(cx, cy) = case node.t {
|
||||
Container -> #(container_top_left_x, container_top_left_y)
|
||||
Row -> #(
|
||||
container_top_left_x,
|
||||
container_top_left_y + { index * height },
|
||||
)
|
||||
Cell -> #(
|
||||
container_top_left_x + { index * width },
|
||||
container_top_left_y,
|
||||
)
|
||||
}
|
||||
|
||||
logging.log("cx: " <> int.to_string(cx))
|
||||
logging.log("cy: " <> int.to_string(cy))
|
||||
|
||||
final_tree
|
||||
|> string_tree.append(draw_box(cx, cy, width, height))
|
||||
// Box heading
|
||||
|> string_tree.append(internal.chars_at(node.content, cx, cy))
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
fn draw_box(x: Int, y: Int, width: Int, height: Int) -> String {
|
||||
let box_tree = string_tree.new()
|
||||
let box_chars = #("┌", "┐", "└", "┘", "─", "│")
|
||||
let #(tl, tr, bl, br, h, v) = box_chars
|
||||
|
||||
let box_tree =
|
||||
string_tree.append(
|
||||
box_tree,
|
||||
internal.chars_at(tl <> string.repeat(h, width - 2) <> tr, x, y),
|
||||
)
|
||||
// Add top of box
|
||||
let tree =
|
||||
string_tree.new()
|
||||
|> string_tree.append(internal.chars_at(
|
||||
tl <> string.repeat(h, width - 2) <> tr,
|
||||
x,
|
||||
y,
|
||||
))
|
||||
|
||||
let box_trees =
|
||||
// Add sides of box
|
||||
let tree_with_sides =
|
||||
list.range(1, height - 2)
|
||||
|> list.map(fn(row) {
|
||||
box_tree
|
||||
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
|
||||
|
||||
string_tree.append(
|
||||
string_tree.concat(box_trees),
|
||||
internal.chars_at(
|
||||
// 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
|
||||
}
|
||||
|
||||
3
src/musicplayer/ui/layout_examples/one.gleam
Normal file
3
src/musicplayer/ui/layout_examples/one.gleam
Normal file
@@ -0,0 +1,3 @@
|
||||
pub fn main() {
|
||||
echo "hello"
|
||||
}
|
||||
@@ -3,7 +3,6 @@ import gleam/int
|
||||
import gleam/list
|
||||
import gleam/otp/actor
|
||||
import gleam/string
|
||||
import gleam/string_tree.{type StringTree}
|
||||
|
||||
import musicplayer/logging/logging
|
||||
import musicplayer/ui/control.{type Control}
|
||||
@@ -104,28 +103,3 @@ fn update_dimensions_on_interval(ui: Subject(Control), interval_ms: Int) {
|
||||
process.sleep(interval_ms)
|
||||
update_dimensions_on_interval(ui, interval_ms)
|
||||
}
|
||||
// fn render_layout(layout: Layout, from: Section) -> Nil {
|
||||
// string_tree.new()
|
||||
// |> render_layout_loop(layout, from, _)
|
||||
// |> string_tree.to_string
|
||||
// |> ui_internal.print
|
||||
// }
|
||||
|
||||
// fn render_layout_loop(
|
||||
// layout: Layout,
|
||||
// from: Section,
|
||||
// tree: StringTree,
|
||||
// ) -> StringTree {
|
||||
// case dict.get(layout.nodes, from) {
|
||||
// Error(_) -> tree
|
||||
// Ok(node) -> {
|
||||
// let acc_after_children =
|
||||
// list.fold(node.children, tree, fn(current_acc, child_id) {
|
||||
// render_layout_loop(layout, child_id, current_acc)
|
||||
// })
|
||||
|
||||
// acc_after_children
|
||||
// |> string_tree.append(ui_internal.chars_at(node.content, node.x, node.y))
|
||||
// }
|
||||
// }
|
||||
// }
|
||||
|
||||
@@ -1,87 +1,234 @@
|
||||
// import gleam/dict
|
||||
// import gleam/int
|
||||
// import gleeunit
|
||||
import gleam/dict
|
||||
import gleam/float
|
||||
import gleam/int
|
||||
import gleam/list
|
||||
import gleam/string
|
||||
import gleeunit
|
||||
|
||||
// import musicplayer/ui/layout.{type Node, Layout, Section}
|
||||
import musicplayer/ui/layout.{
|
||||
type Layout, type Section, Layout, Node, RenderOps, Section,
|
||||
}
|
||||
|
||||
// pub fn main() -> Nil {
|
||||
// gleeunit.main()
|
||||
// }
|
||||
pub fn main() -> Nil {
|
||||
gleeunit.main()
|
||||
}
|
||||
|
||||
// pub fn foo_test() {
|
||||
// let expected = ""
|
||||
pub fn foo_test() {
|
||||
let layout =
|
||||
Layout(
|
||||
width: 80,
|
||||
height: 20,
|
||||
nodes: dict.from_list([
|
||||
#(
|
||||
Section("Root"),
|
||||
Node(
|
||||
t: layout.Container,
|
||||
content: "container",
|
||||
width_percent: 100,
|
||||
height_percent: 100,
|
||||
children: [
|
||||
Section("Row1"),
|
||||
Section("Row2"),
|
||||
],
|
||||
),
|
||||
),
|
||||
#(
|
||||
Section("Row1"),
|
||||
Node(
|
||||
t: layout.Row,
|
||||
content: "row 1",
|
||||
width_percent: 100,
|
||||
height_percent: 50,
|
||||
children: [
|
||||
Section("A"),
|
||||
Section("B"),
|
||||
],
|
||||
),
|
||||
),
|
||||
#(
|
||||
Section("A"),
|
||||
Node(
|
||||
t: layout.Cell,
|
||||
content: "cell 1",
|
||||
width_percent: 50,
|
||||
height_percent: 100,
|
||||
children: [],
|
||||
),
|
||||
),
|
||||
#(
|
||||
Section("B"),
|
||||
Node(
|
||||
t: layout.Cell,
|
||||
content: "cell 2",
|
||||
width_percent: 50,
|
||||
height_percent: 100,
|
||||
children: [],
|
||||
),
|
||||
),
|
||||
#(
|
||||
Section("Row2"),
|
||||
Node(
|
||||
t: layout.Row,
|
||||
content: "row 1",
|
||||
width_percent: 100,
|
||||
height_percent: 50,
|
||||
children: [],
|
||||
),
|
||||
),
|
||||
]),
|
||||
)
|
||||
|
||||
// let layout =
|
||||
// Layout(
|
||||
// width: 80,
|
||||
// height: 20,
|
||||
// nodes:,
|
||||
// dict.from_list([
|
||||
// #(
|
||||
// Section("Root"),
|
||||
// Node(
|
||||
// t: Container,
|
||||
// content: "container",
|
||||
// width_percent: 100,
|
||||
// height_percent: 100,
|
||||
// children: [
|
||||
// Section("Row1"),
|
||||
// Section("Row2"),
|
||||
// ],
|
||||
// ),
|
||||
// ),
|
||||
// #(
|
||||
// Section("Row1"),
|
||||
// Node(
|
||||
// t: Row,
|
||||
// content: "row 1",
|
||||
// width_percent: 100,
|
||||
// height_percent: 50,
|
||||
// children: [
|
||||
// Section("A"),
|
||||
// Section("B"),
|
||||
// ],
|
||||
// ),
|
||||
// ),
|
||||
// #(
|
||||
// Section("A"),
|
||||
// Node(
|
||||
// t: Cell,
|
||||
// content: "cell 1",
|
||||
// width_percent: 50,
|
||||
// height_percent: 100,
|
||||
// children: [],
|
||||
// ),
|
||||
// ),
|
||||
// #(
|
||||
// B,
|
||||
// Node(
|
||||
// t: Cell,
|
||||
// content: "cell 2",
|
||||
// width_percent: 50,
|
||||
// height_percent: 100,
|
||||
// children: [],
|
||||
// ),
|
||||
// ),
|
||||
// #(
|
||||
// Section("Row2"),
|
||||
// Node(
|
||||
// t: Row,
|
||||
// content: "row 1",
|
||||
// width_percent: 100,
|
||||
// height_percent: 50,
|
||||
// children: [],
|
||||
// ),
|
||||
// ),
|
||||
// ]),
|
||||
// )
|
||||
let expected =
|
||||
"
|
||||
container──────────────────────────────────────────────────────────────────────┐
|
||||
│row 1────────────────────────────────────────────────────────────────────────┐│
|
||||
││cell 1───────────────────────────────┐cell 2───────────────────────────────┐││
|
||||
│││ ││ │││
|
||||
│││ ││ │││
|
||||
│││ ││ │││
|
||||
│││ ││ │││
|
||||
│││ ││ │││
|
||||
││└────────────────────────────────────┘└────────────────────────────────────┘││
|
||||
│└────────────────────────────────────────────────────────────────────────────┘│
|
||||
│row 1────────────────────────────────────────────────────────────────────────┐│
|
||||
││ ││
|
||||
││ ││
|
||||
││ ││
|
||||
││ ││
|
||||
││ ││
|
||||
││ ││
|
||||
││ ││
|
||||
│└────────────────────────────────────────────────────────────────────────────┘│
|
||||
└──────────────────────────────────────────────────────────────────────────────┘
|
||||
"
|
||||
|
||||
// let container_width = int.to_float(layout.width)
|
||||
// let container_height = int.to_float(layout.height)
|
||||
// let container_top_left_x = 1
|
||||
// let container_top_left_y = 1
|
||||
let visual = render_to_visual(layout, Section("Root"), 80, 20)
|
||||
assert visual == string.trim(expected)
|
||||
}
|
||||
|
||||
// let assert Ok(data) =
|
||||
// layout.render_loop(layout, container_width, container_height)
|
||||
// assert data == 123.456789
|
||||
// }
|
||||
pub type Screen =
|
||||
dict.Dict(#(Int, Int), String)
|
||||
|
||||
pub fn render_to_visual(
|
||||
layout: Layout,
|
||||
root: Section,
|
||||
width: Int,
|
||||
height: Int,
|
||||
) -> String {
|
||||
// 1. Define the Strategy: How to draw on a Dict
|
||||
let test_ops =
|
||||
RenderOps(
|
||||
draw_box: fn(screen, x, y, w, h) { plot_box(screen, x, y, w, h) },
|
||||
draw_text: fn(screen, text, x, y) { plot_text(screen, text, x, y) },
|
||||
)
|
||||
|
||||
// 2. Run the generic logic (reusing the exact math from your real app)
|
||||
let final_screen =
|
||||
layout.render_generic(
|
||||
layout,
|
||||
int.to_float(width),
|
||||
int.to_float(height),
|
||||
1,
|
||||
// Start X (1-based for ANSI compatibility)
|
||||
1,
|
||||
// Start Y
|
||||
0,
|
||||
// Root index
|
||||
root,
|
||||
dict.new(),
|
||||
// Initial Context
|
||||
test_ops,
|
||||
)
|
||||
|
||||
// 3. Convert the Grid to a Visual String
|
||||
screen_to_string(final_screen)
|
||||
}
|
||||
|
||||
// ----------------------------------------------------------------------------
|
||||
// Plotting Primitives (The "Graphics Engine" for Tests)
|
||||
// ----------------------------------------------------------------------------
|
||||
|
||||
fn plot_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)
|
||||
})
|
||||
}
|
||||
|
||||
fn plot_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
|
||||
|> plot_line_hor(x + 1, y, w - 2, hor)
|
||||
|> plot_line_hor(x + 1, y + h - 1, w - 2, hor)
|
||||
// 3. Side edges
|
||||
|> plot_line_ver(x, y + 1, h - 2, ver)
|
||||
|> plot_line_ver(x + w - 1, y + 1, h - 2, ver)
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
fn plot_line_hor(
|
||||
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 plot_line_ver(
|
||||
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) })
|
||||
}
|
||||
|
||||
// ----------------------------------------------------------------------------
|
||||
// Output Formatting
|
||||
// ----------------------------------------------------------------------------
|
||||
|
||||
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")
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user