wip: now only need to remove 139x ratatui::layout::Rect

This commit is contained in:
🪞👃🪞 2024-09-06 23:51:33 +03:00
parent ff97070a03
commit 4b92465073
6 changed files with 84 additions and 123 deletions

View file

@ -15,7 +15,7 @@ pub trait Engine: Sized {
/// Unit of distance. /// Unit of distance.
type Unit: Number; type Unit: Number;
type Area: Rectangle<Self::Unit>; type Area: Area<Self::Unit> + From<[Self::Unit;4]>;
type HandleInput; type HandleInput;
type Handled; type Handled;

View file

@ -1,15 +1,24 @@
use crate::*; use crate::*;
pub enum Collected<'a, E: Engine> { pub enum Collected<'a, E: Engine> {
Box(Box<dyn Render<E> + 'a>), Box(Box<dyn Layout<E> + 'a>),
Ref(&'a (dyn Render<E> + 'a)), Ref(&'a (dyn Layout<E> + 'a)),
} }
impl<'a, E: Engine> Render<E> for Collected<'a, E> { impl<'a, E: Engine> Render<E> for Collected<'a, E> {
fn render (&self, to: &mut E) -> Perhaps<E::Rendered> { fn render (&self, to: &mut E) -> Perhaps<E::Rendered> {
match self { match self {
Self::Box(item) => (*item).render(to), Self::Box(inner) => (*inner).render(to),
Self::Ref(item) => (*item).render(to), Self::Ref(inner) => (*inner).render(to),
}
}
}
impl<'a, E: Engine> Layout<E> for &Collected<'a, E> {
fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match *self {
Collected::Box(inner) => (*inner).layout(area),
Collected::Ref(inner) => (*inner).layout(area),
} }
} }
} }
@ -25,9 +34,9 @@ impl<'a, E: Engine> Collection<'a, E> {
} }
pub trait Collect<'a, E: Engine> { pub trait Collect<'a, E: Engine> {
fn add_box (self, item: Box<dyn Render<E> + 'a>) -> Self; fn add_box (self, item: Box<dyn Layout<E> + 'a>) -> Self;
fn add_ref (self, item: &'a dyn Render<E>) -> Self; fn add_ref (self, item: &'a dyn Layout<E>) -> Self;
fn add <R: Render<E> + Sized + 'a> (self, item: R) -> Self fn add <R: Layout<E> + Sized + 'a> (self, item: R) -> Self
where Self: Sized where Self: Sized
{ {
self.add_box(Box::new(item)) self.add_box(Box::new(item))
@ -35,11 +44,11 @@ pub trait Collect<'a, E: Engine> {
} }
impl<'a, E: Engine> Collect<'a, E> for Collection<'a, E> { impl<'a, E: Engine> Collect<'a, E> for Collection<'a, E> {
fn add_box (mut self, item: Box<dyn Render<E> + 'a>) -> Self { fn add_box (mut self, item: Box<dyn Layout<E> + 'a>) -> Self {
self.0.push(Collected::Box(item)); self.0.push(Collected::Box(item));
self self
} }
fn add_ref (mut self, item: &'a dyn Render<E>) -> Self { fn add_ref (mut self, item: &'a dyn Layout<E>) -> Self {
self.0.push(Collected::Ref(item)); self.0.push(Collected::Ref(item));
self self
} }
@ -54,11 +63,11 @@ impl<'a, E: Engine> Layered<'a, E> {
} }
impl<'a, E: Engine> Collect<'a, E> for Layered<'a, E> { impl<'a, E: Engine> Collect<'a, E> for Layered<'a, E> {
fn add_box (mut self, item: Box<dyn Render<E> + 'a>) -> Self { fn add_box (mut self, item: Box<dyn Layout<E> + 'a>) -> Self {
self.0 = self.0.add_box(item); self.0 = self.0.add_box(item);
self self
} }
fn add_ref (mut self, item: &'a dyn Render<E>) -> Self { fn add_ref (mut self, item: &'a dyn Layout<E>) -> Self {
self.0 = self.0.add_ref(item); self.0 = self.0.add_ref(item);
self self
} }
@ -103,11 +112,11 @@ impl<'a, E: Engine> Split<'a, E> {
} }
impl<'a, E: Engine> Collect<'a, E> for Split<'a, E> { impl<'a, E: Engine> Collect<'a, E> for Split<'a, E> {
fn add_box (mut self, item: Box<dyn Render<E> + 'a>) -> Self { fn add_box (mut self, item: Box<dyn Layout<E> + 'a>) -> Self {
self.items = self.items.add_box(item); self.items = self.items.add_box(item);
self self
} }
fn add_ref (mut self, item: &'a dyn Render<E>) -> Self { fn add_ref (mut self, item: &'a dyn Layout<E>) -> Self {
self.items = self.items.add_ref(item); self.items = self.items.add_ref(item);
self self
} }

View file

@ -2,7 +2,7 @@ use crate::*;
/// Trait for structs that compute drawing area before rendering /// Trait for structs that compute drawing area before rendering
pub trait Layout<E: Engine>: Render<E> { pub trait Layout<E: Engine>: Render<E> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>>; fn layout (&self, area: E::Area) -> Perhaps<E::Area>;
} }
/// Enforce minimum size of drawing area /// Enforce minimum size of drawing area
pub enum Min<U: Number, L> { W(U, L), H(U, L), WH(U, U, L), } pub enum Min<U: Number, L> { W(U, L), H(U, L), WH(U, U, L), }
@ -16,84 +16,84 @@ pub enum Inset<U: Number, L> { W(U, L), H(U, L), WH(U, U, L), }
pub enum Offset<U: Number, L> { X(U, L), Y(U, L), XY(U, U, L), } pub enum Offset<U: Number, L> { X(U, L), Y(U, L), XY(U, U, L), }
impl<E: Engine, L: Layout<E>> Layout<E> for Min<E:: Unit, L> { impl<E: Engine, L: Layout<E>> Layout<E> for Min<E:: Unit, L> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>> { fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match self { match self {
Self::W(w, item) => if area.w() < *w { Ok(None) } else { Self::W(w, item) => if area.w() < *w { Ok(None) } else {
// TODO: axis clamp (subtract from x if width goes out of area // TODO: axis clamp (subtract from x if width goes out of area
item.layout([area.x(), area.y(), area.w().max(*w), area.h()]) item.layout([area.x(), area.y(), area.w().max(*w), area.h()].into())
}, },
Self::H(h, item) => if area.w() < *h { Ok(None) } else { Self::H(h, item) => if area.w() < *h { Ok(None) } else {
// TODO: axis clamp (subtract from x if width goes out of area // TODO: axis clamp (subtract from x if width goes out of area
item.layout([area.x(), area.y(), area.w(), area.h().max(*h)]) item.layout([area.x(), area.y(), area.w(), area.h().max(*h)].into())
}, },
Self::WH(w, h, item) => if area.w() < *w || area.h() < *h { Ok(None) } else { Self::WH(w, h, item) => if area.w() < *w || area.h() < *h { Ok(None) } else {
item.layout([area.x(), area.y(), area.w().max(*w), area.h().max(*h)]) item.layout([area.x(), area.y(), area.w().max(*w), area.h().max(*h)].into())
} }
} }
} }
} }
impl<E: Engine, L: Layout<E>> Layout<E> for Max<E:: Unit, L> { impl<E: Engine, L: Layout<E>> Layout<E> for Max<E:: Unit, L> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>> { fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match self { match self {
Self::W(w, item) => { Self::W(w, item) => {
// TODO: axis clamp (subtract from x if width goes out of area // TODO: axis clamp (subtract from x if width goes out of area
item.layout([area.x(), area.y(), area.w().min(*w), area.h()]) item.layout([area.x(), area.y(), area.w().min(*w), area.h()].into())
}, },
Self::H(h, item) => { Self::H(h, item) => {
// TODO: axis clamp (subtract from x if width goes out of area // TODO: axis clamp (subtract from x if width goes out of area
item.layout([area.x(), area.y(), area.w(), area.h().min(*h)]) item.layout([area.x(), area.y(), area.w(), area.h().min(*h)].into())
}, },
Self::WH(w, h, item) => { Self::WH(w, h, item) => {
item.layout([area.x(), area.y(), area.w().min(*w), area.h().min(*h)]) item.layout([area.x(), area.y(), area.w().min(*w), area.h().min(*h)].into())
} }
} }
} }
} }
impl<E: Engine, L: Layout<E>> Layout<E> for Outset<E::Unit, L> { impl<E: Engine, L: Layout<E>> Layout<E> for Outset<E::Unit, L> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>> { fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match self { match self {
Self::W(w, item) => if area.x() < *w { Ok(None) } else { Self::W(w, item) => if area.x() < *w { Ok(None) } else {
item.layout([area.x() - *w, area.y(), area.w() + *w, area.h()]) item.layout([area.x() - *w, area.y(), area.w() + *w, area.h()].into())
}, },
Self::H(h, item) => if area.y() < *h { Ok(None) } else { Self::H(h, item) => if area.y() < *h { Ok(None) } else {
item.layout([area.x(), area.y() - *h, area.w(), area.h() + *h]) item.layout([area.x(), area.y() - *h, area.w(), area.h() + *h].into())
}, },
Self::WH(w, h, item) => if area.x() < *w || area.y() < *h { Ok(None) } else { Self::WH(w, h, item) => if area.x() < *w || area.y() < *h { Ok(None) } else {
item.layout([area.x()-*w, area.y() - *h, area.w() + *w, area.h() + *h]) item.layout([area.x()-*w, area.y() - *h, area.w() + *w, area.h() + *h].into())
} }
} }
} }
} }
impl<E: Engine, L: Layout<E>> Layout<E> for Inset<E::Unit, L> { impl<E: Engine, L: Layout<E>> Layout<E> for Inset<E::Unit, L> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>> { fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match self { match self {
Self::W(w, item) => if area.w() < *w { Ok(None) } else { Self::W(w, item) => if area.w() < *w { Ok(None) } else {
item.layout([area.x() + *w, area.y(), area.w() - *w, area.h()]) item.layout([area.x() + *w, area.y(), area.w() - *w, area.h()].into())
}, },
Self::H(h, item) => if area.h() < *h { Ok(None) } else { Self::H(h, item) => if area.h() < *h { Ok(None) } else {
item.layout([area.x(), area.y() + *h, area.w(), area.h() - *h]) item.layout([area.x(), area.y() + *h, area.w(), area.h() - *h].into())
}, },
Self::WH(w, h, item) => if area.w() < *w || area.h() < *h { Ok(None) } else { Self::WH(w, h, item) => if area.w() < *w || area.h() < *h { Ok(None) } else {
item.layout([area.x() - *w, area.y() - *h, area.w() + *w, area.h() + *h]) item.layout([area.x() - *w, area.y() - *h, area.w() + *w, area.h() + *h].into())
} }
} }
} }
} }
impl<E: Engine, L: Layout<E>> Layout<E> for Offset<E::Unit, L> { impl<E: Engine, L: Layout<E>> Layout<E> for Offset<E::Unit, L> {
fn layout (&self, area: impl Rectangle<E::Unit>) -> Perhaps<impl Rectangle<E::Unit>> { fn layout (&self, area: E::Area) -> Perhaps<E::Area> {
match self { match self {
Self::X(x, item) => if area.w() < *x { Ok(None) } else { Self::X(x, item) => if area.w() < *x { Ok(None) } else {
item.layout([area.x() + *x, area.y(), area.w() - *x, area.h()]) item.layout([area.x() + *x, area.y(), area.w() - *x, area.h()].into())
}, },
Self::Y(y, item) => if area.h() < *y { Ok(None) } else { Self::Y(y, item) => if area.h() < *y { Ok(None) } else {
item.layout([area.x(), area.y() + *y, area.w(), area.h() - *y]) item.layout([area.x(), area.y() + *y, area.w(), area.h() - *y].into())
}, },
Self::XY(x, y, item) => if area.w() < *x || area.h() < *y { Ok(None) } else { Self::XY(x, y, item) => if area.w() < *x || area.h() < *y { Ok(None) } else {
item.layout([area.x() + *x, area.y() + *y, area.w() - *x, area.h() - *y]) item.layout([area.x() + *x, area.y() + *y, area.w() - *x, area.h() - *y].into())
} }
} }
} }

View file

@ -29,7 +29,7 @@ impl<N: Number> Point<N> for [N;2] {
} }
} }
pub trait Rectangle<N: Number> { pub trait Area<N: Number> {
fn x (&self) -> N; fn x (&self) -> N;
fn y (&self) -> N; fn y (&self) -> N;
fn w (&self) -> N; fn w (&self) -> N;
@ -42,7 +42,7 @@ pub trait Rectangle<N: Number> {
} }
} }
impl<N: Number> Rectangle<N> for (N, N, N, N) { impl<N: Number> Area<N> for (N, N, N, N) {
fn x (&self) -> N { fn x (&self) -> N {
self.0 self.0
} }
@ -57,7 +57,7 @@ impl<N: Number> Rectangle<N> for (N, N, N, N) {
} }
} }
impl<N: Number> Rectangle<N> for [N;4] { impl<N: Number> Area<N> for [N;4] {
fn x (&self) -> N { fn x (&self) -> N {
self[0] self[0]
} }

View file

@ -224,7 +224,7 @@ pub fn half_block (lower: bool, upper: bool) -> Option<char> {
} }
} }
impl Rectangle<u16> for Rect { impl Area<u16> for Rect {
fn x (&self) -> u16 { self.x } fn x (&self) -> u16 { self.x }
fn y (&self) -> u16 { self.y } fn y (&self) -> u16 { self.y }
fn w (&self) -> u16 { self.width } fn w (&self) -> u16 { self.width }

View file

@ -16,91 +16,43 @@ impl<'a> Render<Tui> for Split<'a, Tui> {
} }
} }
// TODO
impl<'a> Split<'a, Tui> { impl<'a> Split<'a, Tui> {
pub fn render_areas (&self, to: &mut Tui) -> Usually<(Rect, Vec<Rect>)> { pub fn render_areas (&self, to: &mut Tui) -> Usually<(Rect, Vec<Option<Rect>>)> {
// FIXME very shitty code let area = to.area();
let Rect { mut x, mut y, mut width, mut height } = to.area(); let mut w = 0u16;
let mut h = 0u16;
let mut areas = vec![]; let mut areas = vec![];
match self.direction { Ok((match self.direction {
Direction::Down => { width = 0 }, Direction::Down => {
Direction::Right => { height = 0 }, for component in self.items.0.iter() {
_ => unimplemented!() if h >= area.h() {
} break
for (index, item) in self.items.0.iter().enumerate() { }
match self.direction { let result = Offset::Y(h, component).render(to)?;
Direction::Down => { if height == 0 { break } }, areas.push(result);
Direction::Right => { if width == 0 { break } }, if let Some(Rect { width, height, .. }) = result {
_ => unimplemented!() h += height;
} w = w.max(width)
let result = item.render(to.with_area(x, y, width, height))?.unwrap_or(Rect::default()); }
let Rect { width: w, height: h, .. } = result; }
match self.direction { Rect { x: area.x(), y: area.y(), width: w, height: h }
Direction::Down => { },
y += h; Direction::Right => {
height = height.saturating_sub(h); for component in self.items.0.iter() {
width = width.max(w); if w >= area.x() {
}, break
Direction::Right => { }
x += w; let result = Offset::X(w, component).render(to)?;
width = width.saturating_sub(w); areas.push(result);
height = height.max(h); if let Some(Rect { width, height, .. }) = result {
}, w += width;
_ => unimplemented!() h = h.max(height)
}; }
areas.push(result); }
if self.focus == Some(index) { Rect { x: area.x(), y: area.y(), width: w, height: h }
Corners(Style::default().green().not_dim()).draw(to.with_rect(result))?; },
} _ => todo!()
} }, areas))
let area = match self.direction {
Direction::Down => Rect { x: to.area.x, y: to.area.y, width, height: y },
Direction::Right => Rect { x: to.area.x, y: to.area.y, width: x, height },
_ => unimplemented!()
};
//panic!("{:?}", Rect { x: to.area.x, y: to.area.y, width: x, height });
Ok((Rect { x, y, width, height }, areas))
} }
} }
// TODO
//impl<'a> Split<'a, Tui> {
//pub fn render_areas (&self, to: &mut Tui)
//-> Usually<(Rectangle<Tui>, Vec<Option<Rectangle<Tui>>>)>
//{
//let area = to.area();
//let mut w = 0u16;
//let mut h = 0u16;
//let mut areas = vec![];
//Ok((match self.direction {
//Direction::Down => {
//for component in self.items.0.iter() {
//if h >= area.h() {
//break
//}
//let result = Offset::Y(h, component).render(to)?;
//areas.push(result);
//if let Some(Rect { width, height, .. }) = result {
//h += height;
//w = w.max(width)
//}
//}
//(area.x(), area.y(), w, h)
//},
//Direction::Right => {
//for component in self.items.0.iter() {
//if w >= area.x() {
//break
//}
//let result = Offset::X(w, component).render(to)?;
//areas.push(result);
//if let Some(Rect { width, height, .. }) = result {
//w += width;
//h = h.max(height)
//}
//}
//(area.x(), area.y(), w, h)
//},
//_ => todo!()
//}, areas))
//}
//}