elicit_ui 0.11.1

Typestate-based verified UI system using AccessKit as universal IR
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

//! Trait re-exports and the [`UiBackend`] supertrait.

mod events;
mod inspector;
mod layout_manager;
mod navigation;
mod render_verify;
mod renderer;
mod wcag;

pub use events::UiEventDispatcher;
pub use inspector::UiInspector;
pub use layout_manager::UiLayoutManager;
pub use navigation::UiNavigationManager;
pub use render_verify::{RenderContext, RenderVerifiable, verify_in_debug};
pub use renderer::{UiEventBridge, UiNodeBridge, UiRenderBackend, UiRenderer, UiTreeRenderer};
pub use wcag::{
    WcagBackend, WcagContrastFactory, WcagElementMeta, WcagErrorFactory, WcagFocusFactory,
    WcagKeyboardFactory, WcagLabelFactory, WcagLanguageFactory, WcagMediaFactory,
    WcagOperableFactory, WcagPageMeta, WcagPerceivedFactory, WcagRobustFactory,
    WcagStructureFactory, WcagTargetFactory, WcagTimingFactory, WcagUnderstandableFactory,
};

/// Complete UI backend — blanket impl for anything implementing all required traits.
///
/// Use `dyn UiBackend` to accept any fully-capable implementation, or constrain
/// generics with `T: UiBackend`.
///
/// # Object safety
///
/// `UiBackend` is not itself object-safe (supertrait of many traits), but each
/// individual sub-trait is object-safe and accepts `&dyn SubTrait` directly.
pub trait UiBackend:
    UiLayoutManager + UiNavigationManager + UiEventDispatcher + UiInspector + WcagBackend + Send + Sync
{
}

impl<T> UiBackend for T where
    T: UiLayoutManager
        + UiNavigationManager
        + UiEventDispatcher
        + UiInspector
        + WcagBackend
        + Send
        + Sync
{
}