Struct FieldSurface 

pub struct FieldSurface {
    pub required: AttributeSurface,
    pub disabled: AttributeSurface,
    pub validity: ValiditySurface,
    pub name: NameSurface,
}

How one rendered element spells its field state, one axis per attribute.

The axes are independent because their validity lattices disagree pairwise: native disabled is legal on a button where native required is not, and aria-invalid is unsupported on some roles where aria-disabled is fine. A single index over all of them cannot describe any element correctly.

The data-* state attributes are outside this type. They are valid on every element, so FieldMeta::attributes_for always emits them regardless of the surface — an Omit axis suppresses only the attribute the element cannot carry, never the styling hook.

Fields

required: AttributeSurface

How the element spells its required state.

disabled: AttributeSurface

How the element spells its disabled state.

validity: ValiditySurface

How the element spells its validity.

name: NameSurface

Whether the element carries a name.

Implementations

impl FieldSurface

pub const NATIVE: Self

input, textarea, and select — every axis that has a native spelling uses it, and this is the default. Validity stays ARIA, since no element spells validity natively.

pub const BUTTON_WIDGET: Self

button[role=checkbox|switch] — native disabled and name are legal on a button, native required is not.

pub const ARIA_WIDGET: Self

div[role=radiogroup] — no native attribute applies, and a div carries no name.

A control rooted on role=group should start here and set validity to ValiditySurface::Omit, since aria-invalid is deprecated on that role.

Trait Implementations

impl Clone for FieldSurface

fn clone(&self) -> FieldSurface

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for FieldSurface

impl Debug for FieldSurface

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

Formats the value using the given formatter.

impl Default for FieldSurface

fn default() -> FieldSurface

Returns the “default value” for a type.

impl Eq for FieldSurface

impl PartialEq for FieldSurface

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FieldSurface