Skip to main content

EitherOf3

Enum EitherOf3 

Source
pub enum EitherOf3<A, B, C> {
    A(A),
    B(B),
    C(C),
}
Expand description

Pick one of three view types from a match while keeping every arm statically typed (no AnyView erasure).

use frust_core::View;
use frust_widgets::{EitherOf3, button, checkbox, text};

enum Phase {
    Idle,
    Busy,
    Done,
}

struct Screen;

impl Screen {
    fn body(phase: Phase) -> impl View<()> {
        match phase {
            Phase::Idle => EitherOf3::A(text("Idle")),
            Phase::Busy => EitherOf3::B(button::<(), _>("Cancel", |_| {})),
            Phase::Done => EitherOf3::C(checkbox::<(), _>(true, "Ok", |_, _| {})),
        }
    }
}

let _ = Screen::body(Phase::Idle);
let _ = Screen::body(Phase::Busy);
let _ = Screen::body(Phase::Done);

A view that is one of three statically-typed arms. Arm swaps behave as for Either: the old arm is torn down, the new one built fresh, and LAYOUT | PAINT is reported. See the module docs.

Variants§

§

A(A)

Arm A.

§

B(B)

Arm B.

§

C(C)

Arm C.

Trait Implementations§

Source§

impl<State: 'static, A: View<State>, B: View<State>, C: View<State>> View<State> for EitherOf3<A, B, C>

Source§

type Element = EitherOf3Widget<<A as View<State>>::Element, <B as View<State>>::Element, <C as View<State>>::Element>

The retained widget this view produces.
Source§

fn build(&self, ctx: &mut BuildCtx<'_>) -> Self::Element

Materialise a fresh widget for this view.
Source§

fn rebuild( &self, prev: &Self, element: &mut Self::Element, ctx: &mut BuildCtx<'_>, ) -> ChangeFlags

Reconcile prev (the previous view of the same type) against the live element, mutating it in place and reporting what changed.
Source§

fn teardown(&self, element: &mut Self::Element, ctx: &mut BuildCtx<'_>)

Tear down element when this view is being removed. Read more
Source§

fn message(&self, element: &mut Self::Element, state: &mut State)

Deliver an event message to this view, mutating application state. Read more

Auto Trait Implementations§

§

impl<A, B, C> Freeze for EitherOf3<A, B, C>
where A: Freeze, B: Freeze, C: Freeze,

§

impl<A, B, C> RefUnwindSafe for EitherOf3<A, B, C>

§

impl<A, B, C> Send for EitherOf3<A, B, C>
where A: Send, B: Send, C: Send,

§

impl<A, B, C> Sync for EitherOf3<A, B, C>
where A: Sync, B: Sync, C: Sync,

§

impl<A, B, C> Unpin for EitherOf3<A, B, C>
where A: Unpin, B: Unpin, C: Unpin,

§

impl<A, B, C> UnsafeUnpin for EitherOf3<A, B, C>

§

impl<A, B, C> UnwindSafe for EitherOf3<A, B, C>
where A: UnwindSafe, B: UnwindSafe, C: UnwindSafe,

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> ErasedDestructor for T
where T: 'static,

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

Source§

fn as_borrowed(&self) -> &T

Borrows the value.
Source§

fn into_taken(self) -> T

Takes the value.
Source§

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

Source§

type Error = !

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

fn try_from(value: U) -> Result<T, !>

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.
Source§

impl<State, V> ViewSeq<State, One> for V
where State: 'static, V: View<State>,

Source§

fn extend_views(self, out: &mut Vec<AnyView<State>>)

Push every element of this sequence, in order, onto out — erasing each with AnyView::new (a no-op for an element already an AnyView).