Skip to main content

State

Enum State 

Source
#[non_exhaustive]
pub enum State { Focus, Disabled, }
Expand description

An interaction state a region can be in, beside whatever Depth it is.

Orthogonal to depth on purpose. A disabled button is still Depth::Raised and a disabled field is still a Depth::Well, so folding either member into Depth would make Depth::bevel and Depth::fill answer for something that is not a depth, and would leave disabled-button and disabled-field sharing one variant that cannot tell them apart.

§Why hover and pressed are not members

The line is whether every renderer has the state to express, not whether CSS does. Hover is renderer policy and makeover-webview says so in its own header: a terminal and an immediate-mode painter have no pointer hovering over anything, and pressed already arrives through Bevel::pressed and Depth::pressed, where it belongs, because pressing is a depth inversion rather than a separate condition.

Focus and disabled are different in kind. A TUI has a focused widget and a greyed-out one; so does egui. Both were unsayable here, so all three webview consumers supplied them from outside the primitive by out-specifying rules they did not own: goingson alone carries 19 of them, and the MNW server another 21. That is the divergence this crate exists to end, arriving one layer down.

§The principle this encodes

A primitive owns every state it implies. A renderer that emits a hover rule for a thing owes disabled, focus and the capability answer for that same thing, because anything less exports the completion work to N consumers who will each do it differently.

#[non_exhaustive] for the reason Fill and Depth carry it: growth must not be a lockstep event across the three renderers.

Variants (Non-exhaustive)§

This enum is marked as non-exhaustive
Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.
§

Focus

Keyboard focus, as distinct from the pointer having landed on something.

One ring, not one per primitive. Where the ring sits is Depth’s question and not a per-component choice: a well takes it inside its own edge and a raised surface takes it outside. That is one decision with two renderings rather than one decision per component, which is how the three apps ended up with three rings.

§

Disabled

Present, visible, and not answering.

Not the same as absent, and deliberately not a Fill: a disabled control keeps the surface it always had and stops responding, so what changes is its content and its interactivity rather than what it is.

Implementations§

Source§

impl State

Source

pub const fn suppresses_interaction(self) -> bool

Whether a region in this state stops answering the pointer.

Stated in the description rather than left to each renderer, on the same reasoning as Bevel::pressed: a cascade carries it for free and an immediate-mode renderer resolves it per call site, so leaving it unsaid means resolving it once per consumer and disagreeing.

Trait Implementations§

Source§

impl Clone for State

Source§

fn clone(&self) -> State

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Copy for State

Source§

impl Debug for State

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Eq for State

Source§

impl Hash for State

Source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · Source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
Source§

impl Intent for State

Source§

fn token(self) -> &'static str

The makeover intent token this resolves against.
Source§

impl PartialEq for State

Source§

fn eq(&self, other: &State) -> bool

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for State

Auto Trait Implementations§

§

impl Freeze for State

§

impl RefUnwindSafe for State

§

impl Send for State

§

impl Sync for State

§

impl Unpin for State

§

impl UnsafeUnpin for State

§

impl UnwindSafe for State

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.