Struct Form 

pub struct Form;

A dynamic form component with multiple field types.

Form composes text inputs, checkboxes, and select fields into a single navigable component. It manages internal focus between fields and collects values on submission.

Navigation

• Tab — Focus next field
• BackTab (Shift+Tab) — Focus previous field
• Ctrl+Enter — Submit the form

Field-specific keys

• Text fields: Normal typing, Backspace, Delete, Home/End, Left/Right
• Checkbox: Space or Enter to toggle
• Select: Enter to open, Up/Down to navigate, Enter to confirm

Example

use envision::component::{
    Component, Focusable, Form, FormState, FormMessage,
    FormOutput, FormField, FormValue,
};

let mut state = FormState::new(vec![
    FormField::text("username", "Username"),
    FormField::checkbox("remember", "Remember me"),
    FormField::select("role", "Role", vec!["User", "Admin"]),
]);
Form::set_focused(&mut state, true);

// Type username
Form::update(&mut state, FormMessage::Input('A'));
assert_eq!(state.value("username"), Some(FormValue::Text("A".into())));

// Submit the form
let output = Form::update(&mut state, FormMessage::Submit);
assert!(matches!(output, Some(FormOutput::Submitted(_))));

Trait Implementations

impl Component for Form

type State = FormState

The component’s internal state type.

type Message = FormMessage

Messages this component can receive.

type Output = FormOutput

Messages this component can emit to its parent.

fn init() -> Self::State

Initialize the component state.

fn handle_event(state: &Self::State, event: &Event) -> Option<Self::Message>

Maps an input event to a component message.

fn update(state: &mut Self::State, msg: Self::Message) -> Option<Self::Output>

Update component state based on a message.

fn view(state: &Self::State, frame: &mut Frame<'_>, area: Rect, theme: &Theme)

Render the component to the given area.

fn traced_view( state: &Self::State, frame: &mut Frame<'_>, area: Rect, theme: &Theme, )

Renders the component with optional tracing instrumentation.

fn dispatch_event( state: &mut Self::State, event: &Event, ) -> Option<Self::Output>

Dispatches an event by mapping it to a message and updating state.

impl Focusable for Form

fn is_focused(state: &Self::State) -> bool

Returns true if this component is currently focused.

fn set_focused(state: &mut Self::State, focused: bool)

Sets the focus state of this component.

fn focus(state: &mut Self::State)

Gives focus to this component.

fn blur(state: &mut Self::State)

Removes focus from this component.