zng::data_context

Struct DATA

source
pub struct DATA;
Expand description

Data context and validation.

This service enables data flow from a context to descendants, and from descendants up-to contexts, like an anonymous context var.

Arbitrary data can be set on a context using the data property and retrieved using DATA.get or DATA.req. Only one data entry and type can exist in a context, nested data properties override the parent data and type in their context.

Annotation on the data can be set back using DATA.annotate and can be retrieved using the get_data_notes property, annotations are classified by DataNoteLevel, including INFO, WARN and ERROR. For each level there are specialized methods and properties, as an example, the DATA.invalidate is used to set an error note, and the get_data_error_txt property gets the error formatted for display. Data notes are aggregated from descendants up-to the context, continuing up to outer nested contexts too, this means that you can get data errors for a form field by setting get_data_error_txt on the field widget, and get all form errors from that field and others by also setting get_data_error_txt in the form widget.

Implementations§

source§

impl DATA

source

pub fn req<T>(&self) -> ContextualizedVar<T>
where T: VarValue,

Require context data of type T.

§Panics

Panics if the context data is not set to a variable of type T on the first usage of the returned variable.

source

pub fn get<T>( &self, fallback: impl Fn() -> T + Send + Sync + 'static, ) -> ContextualizedVar<T>
where T: VarValue,

Get context data of type T if the context data is set with the same type, or gets the fallback value.

source

pub fn get_any(&self) -> Box<dyn AnyVar>

Gets the current context data.

Note that this does not return a contextualizing var like get, it gets the data var in the calling context.

source

pub fn annotate( &self, level: DataNoteLevel, note: impl DataNoteValue, ) -> DataNoteHandle

Insert a data note in the current context.

The note will stay in context until the context is unloaded or the handle is dropped.

source

pub fn inform(&self, note: impl DataNoteValue) -> DataNoteHandle

Insert an INFO note in the current context.

The note will stay in context until the context is unloaded or the handle is dropped.

source

pub fn warn(&self, note: impl DataNoteValue) -> DataNoteHandle

Insert a WARN note in the current context.

The note will stay in context until the context is unloaded or the handle is dropped.

source

pub fn invalidate(&self, note: impl DataNoteValue) -> DataNoteHandle

Insert an ERROR note in the current context.

The note will stay in context until the context is unloaded or the handle is dropped.

source

pub fn note_color(&self, level: impl IntoVar<DataNoteLevel>) -> impl Var<Rgba>

Read-only variable that is the best color for the note level in the context of the current color scheme.

If the level is not found, gets the nearest less than level, if no color is set in the context gets the black/white for dark/light.

The color can be used directly as text color, it probably needs mixing or desaturating to use as background.

source

pub fn info_color(&self) -> impl Var<Rgba>

Read-only variable that is the best color for INFO notes in the context of the current color scheme.

The color can be used directly as text color, it probably needs mixing or desaturating to use as background.

source

pub fn warn_color(&self) -> impl Var<Rgba>

Read-only variable that is the best color for WARN notes in the context of the current color scheme.

The color can be used directly as text color, it probably needs mixing or desaturating to use as background.

source

pub fn error_color(&self) -> impl Var<Rgba>

Read-only variable that is the best color for ERROR notes in the context of the current color scheme.

The color can be used directly as text color, it probably needs mixing or desaturating to use as background.

Auto Trait Implementations§

§

impl Freeze for DATA

§

impl RefUnwindSafe for DATA

§

impl Send for DATA

§

impl Sync for DATA

§

impl Unpin for DATA

§

impl UnwindSafe for DATA

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
§

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

§

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

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

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

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

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

§

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

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

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

impl<T> Pointable for T

§

const ALIGN: usize = _

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
source§

impl<T> Same for T

source§

type Output = T

Should always be Self
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.
§

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

§

fn vzip(self) -> V

§

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

impl<T> ErasedDestructor for T
where T: 'static,

§

impl<T> MaybeSendSync for T

source§

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