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, A, B, C> View<State> for EitherOf3<A, B, C>
where State: 'static, A: View<State>, B: View<State>, C: View<State>,

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<'_>, ) -> <EitherOf3<A, B, C> as View<State>>::Element

Materialise a fresh widget for this view.
Source§

fn rebuild( &self, prev: &EitherOf3<A, B, C>, element: &mut <EitherOf3<A, B, C> as View<State>>::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 <EitherOf3<A, B, C> as View<State>>::Element, ctx: &mut BuildCtx<'_>, )

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

fn message( &self, element: &mut <EitherOf3<A, B, C> as View<State>>::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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Convert Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Convert Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Convert &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Convert &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSync for T
where T: Any + Send + Sync,

Source§

fn into_any_arc(self: Arc<T>) -> Arc<dyn Any + Send + Sync> ⓘ

Convert Arc<Trait> (where Trait: Downcast) to Arc<Any>. Arc<Any> can then be further downcast into Arc<ConcreteType> where ConcreteType implements Trait.
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> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
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> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T, S> SimdFrom<T, S> for T
where S: Simd,

Source§

fn simd_from(_simd: S, value: T) -> T

Source§

impl<F, T, S> SimdInto<T, S> for F
where T: SimdFrom<F, S>, S: Simd,

Source§

fn simd_into(self, simd: S) -> T

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

impl<T> WasmNotSend for T
where T: Send,

Source§

impl<T> WasmNotSendSync for T

Source§

impl<T> WasmNotSync for T
where T: Sync,

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more