sim_lib_view/
lib.rs

1//! View/editor codec contracts, Shape-based lens dispatch, lens stack, and the
2//! universal default lens for the SIM Web-UI (WEBUI_4).
3//!
4//! A view is a codec object in the encode direction (`Value -> Scene`); an
5//! editor is a codec object in the decode direction
6//! (`(Value, Intent) -> Draft`, then `Draft -> operation`). A lens pairs a view
7//! with an optional editor. View selection is overload selection, so the
8//! dispatcher reuses the kernel `Shape` matcher rather than inventing a second
9//! selection ladder.
10//!
11//! This crate provides the lens [`contract`] (open metadata plus the view and
12//! editor traits), the Shape-based [`dispatch`] machinery, the universal
13//! default lens, the lens [`stack`], and experience [`mode`]s.
14//!
15//! # Example
16//!
17//! Any value opens in the universal default lens, rendered at the active mode's
18//! depth (Household, Builder, Systems):
19//!
20//! ```
21//! use sim_kernel::Expr;
22//! use sim_lib_view::{Mode, universal_scene};
23//!
24//! let scene = universal_scene(&Expr::Nil, Mode::Builder);
25//! assert!(sim_lib_scene::validate_scene(&scene).is_ok());
26//! ```
27
28#![forbid(unsafe_code)]
29#![deny(missing_docs)]
30
31mod citizen;
32pub mod codec;
33pub mod contract;
34pub mod dispatch;
35pub mod embed;
36pub mod mode;
37pub mod palette;
38pub mod profiles;
39mod render;
40pub mod set_lens;
41pub mod stack;
42pub mod surface;
43pub mod universal;
44pub mod universal_editor;
45pub mod universal_view;
46
47pub use citizen::{ViewLensDescriptor, view_lens_descriptor_class_symbol};
48pub use codec::{PairCodec, SurfaceCodec, roundtrip_holds};
49pub use contract::{Draft, Editor, Lens, LensKind, LensMeta, Operation, View};
50pub use dispatch::{DispatchContext, DispatchOutcome, DispatchReason, LensRegistry};
51pub use embed::embed_scene;
52pub use mode::{Exposure, Mode, action_exposure, denied_scene, readonly_scene, universal_scene};
53pub use palette::{
54    A11y, Command, CommandKind, FocusDir, a11y_of, diagnostics_scene, filter_commands, focused_id,
55    move_focus, palette_intent, palette_scene, with_a11y, with_focus,
56};
57pub use profiles::{DEVICE_PRESETS, project_for_preset};
58pub use set_lens::{active_lens, apply_set_lens, empty_pane_lenses};
59pub use stack::LensStackEntry;
60pub use surface::{SurfaceCaps, SurfaceError};
61pub use universal::{UNIVERSAL_EDITOR_ID, UNIVERSAL_VIEW_ID, register_universal_default};
62pub use universal_editor::{EDIT_MODES, UniversalEditor, render_draft};
63pub use universal_view::{UniversalView, render_value};
64
65/// Marker id for the always-matching universal default lens (lowest quality).
66pub const UNIVERSAL_DEFAULT_LENS: &str = UNIVERSAL_VIEW_ID;
67
68#[cfg(test)]
69mod mode_tests;
70#[cfg(test)]
71mod stack_tests;
72#[cfg(test)]
73mod tests;
74#[cfg(test)]
75mod universal_tests;
sim_lib_view/lib.rs

sim_lib_view/
lib.rs
