Skip to main content

Checkbox

Struct Checkbox 

Source
pub struct Checkbox;
Expand description

A toggleable checkbox component.

This component provides a boolean input that can be toggled via keyboard when focused. The checkbox emits a CheckboxOutput::Toggled message containing the new state when toggled.

§Keyboard Activation

The checkbox itself doesn’t handle keyboard events directly. Your application should map Enter/Space keys to CheckboxMessage::Toggle when the checkbox is focused.

§Visual States

  • Unchecked: [ ] Label
  • Checked: [x] Label
  • Focused: Yellow text
  • Disabled: Dark gray text, doesn’t respond to toggle

§Example

use envision::component::{Checkbox, CheckboxMessage, CheckboxOutput, CheckboxState, Component};

let mut state = CheckboxState::new("Dark mode");

// Toggle the checkbox
let output = Checkbox::update(&mut state, CheckboxMessage::Toggle);
assert_eq!(output, Some(CheckboxOutput::Toggled(true)));
assert!(state.is_checked());

Trait Implementations§

Source§

impl Component for Checkbox

Source§

type State = CheckboxState

The component’s internal state type. Read more
Source§

type Message = CheckboxMessage

Messages this component can receive. Read more
Source§

type Output = CheckboxOutput

Messages this component can emit to its parent. Read more
Source§

fn init() -> Self::State

Initialize the component state. Read more
Source§

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

Update component state based on a message. Read more
Source§

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

Render the component to the given area. Read more
Source§

impl Focusable for Checkbox

Source§

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

Returns true if this component is currently focused.
Source§

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

Sets the focus state of this component.
Source§

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

Gives focus to this component. Read more
Source§

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

Removes focus from this component. Read more

Auto Trait Implementations§

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> 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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. 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.