pub struct Scope<SP, W>where
    SP: ScopePolicy,
    W: Widget<<SP as ScopePolicy>::State>,{ /* private fields */ }
Expand description

A widget that allows encapsulation of application state.

This is useful in circumstances where

  • A (potentially reusable) widget is composed of a tree of multiple cooperating child widgets
  • Those widgets communicate amongst themselves using Druid’s reactive data mechanisms
  • It is undesirable to complicate the surrounding application state with the internal details of the widget.

Examples include:

  • In a tabs widget composed of a tab bar, and a widget switching body, those widgets need to cooperate on which tab is selected. However not every user of a tabs widget wishes to encumber their application state with this internal detail - especially as many tabs widgets may reasonably exist in an involved application.
  • In a table/grid widget composed of various internal widgets, many things need to be synchronised. Scroll position, heading moves, drag operations, sort/filter operations. For many applications access to this internal data outside of the table widget isn’t needed. For this reason it may be useful to use a Scope to establish private state.

A scope embeds some input state (from its surrounding application or parent scope) into a larger piece of internal state. This is controlled by a user provided policy.

The ScopePolicy needs to do two things a) Create a new scope from the initial value of its input, b) Provide two way synchronisation between the input and the state via a ScopeTransfer

Convenience methods are provided to make a policy from a function and a lens. It may sometimes be advisable to implement ScopePolicy directly if you need to mention the type of a Scope.

Examples

use druid::{Data, Lens, WidgetExt};
use druid::widget::{TextBox, Scope};
#[derive(Clone, Data, Lens)]
struct AppState {
    name: String,
}

#[derive(Clone, Data, Lens)]
struct PrivateState {
    text: String,
    other: u32,
}

impl PrivateState {
    pub fn new(text: String) -> Self {
        PrivateState { text, other: 0 }
    }
}

fn main() {
    let scope = Scope::from_lens(
        PrivateState::new,
        PrivateState::text,
        TextBox::new().lens(PrivateState::text),
    );
}

Implementations§

§

impl<SP, W> Scope<SP, W>where SP: ScopePolicy, W: Widget<<SP as ScopePolicy>::State>,

pub fn new(policy: SP, inner: W) -> Scope<SP, W>

Create a new scope from a policy and an inner widget

pub fn state(&self) -> Option<&<SP as ScopePolicy>::State>

A reference to the contents of the Scope’s state.

This allows you to access the content from outside the widget.

pub fn state_mut(&mut self) -> Option<&mut <SP as ScopePolicy>::State>

A mutable reference to the contents of the Scope’s state.

This allows you to mutably access the content of the Scope’ s state from outside the widget. Mainly useful for composite widgets.

Note:

If you modify the state through this reference, the Scope will not call update on its children until the next event it receives.

§

impl<F, Transfer, W> Scope<DefaultScopePolicy<F, Transfer>, W>where F: FnOnce(<Transfer as ScopeTransfer>::In) -> <Transfer as ScopeTransfer>::State, Transfer: ScopeTransfer, W: Widget<<Transfer as ScopeTransfer>::State>,

pub fn from_function( make_state: F, transfer: Transfer, inner: W ) -> Scope<DefaultScopePolicy<F, Transfer>, W>

Create a new policy from a function creating the state, and a ScopeTransfer synchronising it

§

impl<In, State, F, L, W> Scope<DefaultScopePolicy<F, LensScopeTransfer<L, In, State>>, W>where In: Data, State: Data, F: Fn(In) -> State, L: Lens<State, In>, W: Widget<State>,

pub fn from_lens( make_state: F, lens: L, inner: W ) -> Scope<DefaultScopePolicy<F, LensScopeTransfer<L, In, State>>, W>

Create a new policy from a function creating the state, and a Lens synchronising it

Trait Implementations§

§

impl<SP, W> Widget<<SP as ScopePolicy>::In> for Scope<SP, W>where SP: ScopePolicy, W: Widget<<SP as ScopePolicy>::State>,

§

fn event( &mut self, ctx: &mut EventCtx<'_, '_>, event: &Event, data: &mut <SP as ScopePolicy>::In, env: &Env )

Handle an event. Read more
§

fn lifecycle( &mut self, ctx: &mut LifeCycleCtx<'_, '_>, event: &LifeCycle, data: &<SP as ScopePolicy>::In, env: &Env )

Handle a life cycle notification. Read more
§

fn update( &mut self, ctx: &mut UpdateCtx<'_, '_>, _old_data: &<SP as ScopePolicy>::In, data: &<SP as ScopePolicy>::In, env: &Env )

Update the widget’s appearance in response to a change in the app’s Data or Env. Read more
§

fn layout( &mut self, ctx: &mut LayoutCtx<'_, '_>, bc: &BoxConstraints, data: &<SP as ScopePolicy>::In, env: &Env ) -> Size

Compute layout. Read more
§

fn paint( &mut self, ctx: &mut PaintCtx<'_, '_, '_>, data: &<SP as ScopePolicy>::In, env: &Env )

Paint the widget appearance. Read more
§

fn compute_max_intrinsic( &mut self, axis: Axis, ctx: &mut LayoutCtx<'_, '_>, bc: &BoxConstraints, data: &T, env: &Env ) -> f64

Computes max intrinsic/preferred dimension of a widget on the provided axis. Read more
§

impl<SP, W> WidgetWrapper for Scope<SP, W>where SP: ScopePolicy, W: Widget<<SP as ScopePolicy>::State>,

§

type Wrapped = W

The type of the wrapped widget. Maybe we would like to constrain this to Widget<impl Data> (if existential bounds were supported). Any other scheme leads to T being unconstrained in unification at some point
§

fn wrapped(&self) -> &<Scope<SP, W> as WidgetWrapper>::Wrapped

Get immutable access to the wrapped child
§

fn wrapped_mut(&mut self) -> &mut <Scope<SP, W> as WidgetWrapper>::Wrapped

Get mutable access to the wrapped child

Auto Trait Implementations§

§

impl<SP, W> !RefUnwindSafe for Scope<SP, W>

§

impl<SP, W> !Send for Scope<SP, W>

§

impl<SP, W> !Sync for Scope<SP, W>

§

impl<SP, W> Unpin for Scope<SP, W>where SP: Unpin, W: Unpin, <SP as ScopePolicy>::State: Unpin, <SP as ScopePolicy>::Transfer: Unpin,

§

impl<SP, W> !UnwindSafe for Scope<SP, W>

Blanket Implementations§

source§

impl<T> Any for Twhere T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for Twhere T: ?Sized,

const: unstable · source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

const: unstable · source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Instrument for T

§

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

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

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 Twhere U: From<T>,

const: unstable · 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.

§

impl<T> Pointable for T

§

const ALIGN: usize = mem::align_of::<T>()

The alignment of pointer.
§

type Init = T

The type for initializers.
§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
§

impl<T> RoundFrom<T> for T

§

fn round_from(x: T) -> T

Performs the conversion.
§

impl<T, U> RoundInto<U> for Twhere U: RoundFrom<T>,

§

fn round_into(self) -> U

Performs the conversion.
source§

impl<T> Same<T> for T

§

type Output = T

Should always be Self
§

impl<T, W> TestWidgetExt<T> for Wwhere T: Data, W: Widget<T> + 'static,

§

fn record(self, recording: &Recording) -> Recorder<Self>

source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
const: unstable · source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
const: unstable · source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<V, T> VZip<V> for Twhere V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T, W> WidgetExt<T> for Wwhere T: Data, W: Widget<T> + 'static,

§

fn padding(self, insets: impl Into<KeyOrValue<Insets>>) -> Padding<T, Self>

Wrap this widget in a Padding widget with the given Insets. Read more
§

fn center(self) -> Align<T>

Wrap this widget in an Align widget, configured to center it.
§

fn align_left(self) -> Align<T>

Wrap this widget in an Align widget, configured to align left.
§

fn align_right(self) -> Align<T>

Wrap this widget in an Align widget, configured to align right.
§

fn align_vertical(self, align: UnitPoint) -> Align<T>

Wrap this widget in an Align widget, configured to align vertically.
§

fn align_horizontal(self, align: UnitPoint) -> Align<T>

Wrap this widget in an Align widget, configured to align horizontally.
§

fn fix_width(self, width: impl Into<KeyOrValue<f64>>) -> SizedBox<T>

Wrap this widget in a SizedBox with an explicit width.
§

fn fix_height(self, height: impl Into<KeyOrValue<f64>>) -> SizedBox<T>

Wrap this widget in a SizedBox with an explicit height.
§

fn fix_size( self, width: impl Into<KeyOrValue<f64>>, height: impl Into<KeyOrValue<f64>> ) -> SizedBox<T>

Wrap this widget in an SizedBox with an explicit width and height
§

fn expand(self) -> SizedBox<T>

Wrap this widget in a SizedBox with an infinite width and height. Read more
§

fn expand_width(self) -> SizedBox<T>

Wrap this widget in a SizedBox with an infinite width. Read more
§

fn expand_height(self) -> SizedBox<T>

Wrap this widget in a SizedBox with an infinite width. Read more
§

fn background(self, brush: impl Into<BackgroundBrush<T>>) -> Container<T>

Wrap this widget in a Container with the provided background brush. Read more
§

fn foreground(self, brush: impl Into<BackgroundBrush<T>>) -> Container<T>

Wrap this widget in a Container with the provided foreground brush. Read more
§

fn border( self, color: impl Into<KeyOrValue<Color>>, width: impl Into<KeyOrValue<f64>> ) -> Container<T>

Wrap this widget in a Container with the given border. Read more
§

fn env_scope(self, f: impl Fn(&mut Env, &T) + 'static) -> EnvScope<T, Self>

Wrap this widget in a EnvScope widget, modifying the parent Env with the provided closure.
§

fn controller<C>(self, controller: C) -> ControllerHost<Self, C>where C: Controller<T, Self>,

Wrap this widget with the provided Controller.
§

fn on_added( self, f: impl Fn(&mut Self, &mut LifeCycleCtx<'_, '_>, &T, &Env) + 'static ) -> ControllerHost<Self, Added<T, Self>>

Provide a closure that will be called when this widget is added to the widget tree. Read more
§

fn on_click( self, f: impl Fn(&mut EventCtx<'_, '_>, &mut T, &Env) + 'static ) -> ControllerHost<Self, Click<T>>

Control the events of this widget with a Click widget. The closure provided will be called when the widget is clicked with the left mouse button. Read more
§

fn debug_paint_layout(self) -> EnvScope<T, Self>

Draw the layout Rects of this widget and its children.
§

fn debug_widget_id(self) -> EnvScope<T, Self>

Display the WidgetIds for this widget and its children, when hot. Read more
§

fn debug_invalidation(self) -> DebugInvalidation<T, Self>

Draw a color-changing rectangle over this widget, allowing you to see the invalidation regions.
§

fn debug_widget(self) -> EnvScope<T, Self>

Set the DEBUG_WIDGET env variable for this widget (and its descendants). Read more
§

fn lens<S, L>(self, lens: L) -> LensWrap<S, T, L, Self>where S: Data, L: Lens<S, T>,

Wrap this widget in a LensWrap widget for the provided Lens.
§

fn with_id(self, id: WidgetId) -> IdentityWrapper<Self>

Assign the widget a specific WidgetId. Read more
§

fn boxed(self) -> Box<dyn Widget<T> + 'static, Global>

Wrap this widget in a Box.
§

fn scroll(self) -> Scroll<T, Self>

Wrap this widget in a Scroll widget.
§

fn disabled_if( self, disabled_if: impl Fn(&T, &Env) -> bool + 'static ) -> DisabledIf<T, Self>

Wrap this widget in a DisabledIf widget. Read more
§

impl<T> WithSubscriber for T

§

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
§

fn with_current_subscriber(self) -> WithDispatch<Self>

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