yog 0.0.12

yog: the standalone server for litany loops — the world, the balls and the conversations, behind one wire
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

//! The §11 doctrine, mechanized as a sweep: for **every** seat the roster can
//! be opened on, no entry is its verb's sole carrier and no entry is unworded.
//! A property over the whole seat space — [`super`] holds the per-seat example
//! tables the same `entries` call is pinned to.

use super::*;

/// Every seat the roster can be opened on — the table the doctrine test sweeps.
/// A new seat is added here and to [`entries`], nowhere else.
fn every_seat() -> Vec<Seat> {
    let mut seats = Vec::new();
    for named in [false, true] {
        for pinned in [false, true] {
            seats.push(Seat::WorkspaceTab { named, pinned });
        }
    }
    for stoppable in [false, true] {
        for has_children in [false, true] {
            for named in [false, true] {
                seats.push(Seat::ConversationRow {
                    stoppable,
                    has_children,
                    named,
                });
            }
        }
    }
    for state in JOIN_STATES {
        for assign_to in [None, Some("alba-koi".to_owned())] {
            seats.push(Seat::BallRow { state, assign_to });
        }
    }
    seats
}

/// Every entry is worded and names the visible affordance it accelerates.
fn assert_carried(entry: &Entry) {
    assert!(
        !entry.carrier.is_empty(),
        "{entry:?} names no visible carrier"
    );
    assert!(!entry.label.is_empty(), "{entry:?} has no worded label");
}

#[test]
fn no_entry_is_its_verbs_sole_carrier() {
    // The §11 doctrine, mechanized: a menu-only verb fails exactly the test
    // a glyph-only state badge fails, so every entry names where else it lives.
    for seat in every_seat() {
        for entry in entries(seat) {
            assert_carried(&entry);
        }
    }
}