lernie 0.1.39

lernie: the operator seat — the window and wire client for a yog server
Documentation 
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
90
91
92
93
94
95

//! **The window's own acts** — the ops whose subject is every channel this box
//! holds, and the strip above the roster's channels where they hang (bl-f0ef,
//! bl-40ec, bl-4c48, bl-d2af; DESIGN §4.21).
//!
//! Split from [`super`] at the design-time budget on a seam that is a real
//! one: that module is *the list of walls this seat can aim at*, and this is
//! *the acts that address none of them*. The first changes when a roster row
//! grows a fact; the second when a window-level op lands a surface.

use crate::ui::Model;

/// The word on the control that asks every channel for its roster again.
pub const REFRESH: &str = "ask the channels again";

/// **Paint the strip and take the clicks on it.**
///
/// Seven ops name no workspace, so their subject is every channel this box
/// holds and none of them hangs off a row: the decision queue's `attention`,
/// this pane's own `workspaces`, the trail's `ops`, the ball pane's `balls`
/// and `board`, the engines' verb table and a search. The
/// roster is their home because it is the pane that is already the union
/// across channels, and they are offered on a seat that has aimed at nothing —
/// which is the seat most likely to be asking any of them.
///
/// They sit outside the scrolled region for the reason the heading does, and
/// stand down under a covering pane exactly as the per-wall controls do: what
/// each opens would replace what is standing there.
///
/// **[`REFRESH`] is the one that opens nothing**, and it is the affordance
/// this pane owed its own read (yog's `docs/PARITY.md` §2: the interactable a
/// query owes a seat is the one that reaches the view it populates). What it
/// adds over the standing read's cadence is where a FAILURE lands: a channel
/// that cannot be reached says so under its own header
/// (`crate::ui::Model::unreachable`), and until this control existed that
/// sentence only ever appeared on a beat nobody could ask for.
pub fn render(ui: &mut egui::Ui, model: &mut Model) {
    ui.horizontal_wrapped(|ui| {
        let again = ui.button(REFRESH);
        crate::ui::act::tag(&again, &[crate::verbs::WORKSPACES.word]);
        if again.clicked() {
            model.refresh_roster();
        }
        let waiting = ui.button(crate::ui::queue::OPEN);
        crate::ui::act::tag(&waiting, &[crate::verbs::ATTENTION.word]);
        if waiting.clicked() {
            model.begin_queue();
        }
        // **The opening control carries `help`'s token because it ASKS it**
        // (`crate::ui::model::window`): opening the pane composes the gesture,
        // the way the records control carries both of its reads' tokens.
        let answers = ui.button(crate::ui::commands::OPEN);
        crate::ui::act::tag(&answers, &[crate::verbs::HELP.word]);
        if answers.clicked() {
            model.begin_commands();
        }
        // **The trail's control carries `ops` for the queue's reason** — the
        // read stands on the pane, so opening it is what asks (`crate::ui::
        // model::trail`).
        let trail = ui.button(crate::ui::trail::OPEN);
        crate::ui::act::tag(&trail, &[crate::verbs::OPS]);
        if trail.clicked() {
            model.begin_trail();
        }
        // **The ball pane's control carries FOUR tokens**, which is PARITY
        // §3's rule that the ledger's unit is the op rather than the widget,
        // spent on the widest control this window has. Opening the pane stands
        // all four reads up (`crate::state::Open::Board`): two of every channel
        // this box holds, and — when the window is aimed at a wall — two of
        // that wall. The two aimed ones are asked by this same click and by no
        // other, so this is where their token belongs.
        let board = ui.button(crate::ui::board::OPEN);
        crate::ui::act::tag(
            &board,
            &[
                crate::verbs::BALLS.word,
                crate::verbs::BOARD.word,
                crate::verbs::WORKSPACE_BALLS.word,
                crate::verbs::MARKS.word,
            ],
        );
        if board.clicked() {
            model.begin_board();
        }
        // **And this one carries none**: it opens a pane and crosses no wire.
        // `search` is spent by the control inside it, which is where the
        // needle it requires is (`crate::ui::find`) — the same division
        // `enroll a box…` keeps with `mint`.
        if ui.button(crate::ui::find::OPEN).clicked() {
            model.begin_finding();
        }
    });
}

#[cfg(test)]
mod tests;