pub enum ValidationOutcome {
Valid,
Corrected {
corrected: String,
message: LocalizedString,
},
Invalid {
message: LocalizedString,
},
}Expand description
What a validator returns for a given commit attempt.
Variants§
Valid
Input is valid as typed. The field commits unchanged and the
feedback signal flips to ValidationFeedback::Valid.
Corrected
Input was accepted after normalization. The field replaces its
text with corrected, the bound Signal<String> observes the
new value, and the feedback signal carries message for
composites to surface as a polite announcement.
Use for clamping, completion, and reformat. Examples:
"12/50/2026" → Corrected { corrected: "12/31/2026", … }
for “day clamped to month length”; "2026" →
Corrected { corrected: "2026-01-01", … } for “year-only
completed to start of year”.
Invalid
Input is rejected. The field reverts its text to the pre-edit
value and the feedback signal carries message for composites
to surface as an assertive error.
Fields
message: LocalizedStringTrait Implementations§
Source§impl Clone for ValidationOutcome
impl Clone for ValidationOutcome
Source§fn clone(&self) -> ValidationOutcome
fn clone(&self) -> ValidationOutcome
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for ValidationOutcome
impl Debug for ValidationOutcome
Source§impl PartialEq for ValidationOutcome
impl PartialEq for ValidationOutcome
Auto Trait Implementations§
impl !RefUnwindSafe for ValidationOutcome
impl !Send for ValidationOutcome
impl !Sync for ValidationOutcome
impl !UnwindSafe for ValidationOutcome
impl Freeze for ValidationOutcome
impl Unpin for ValidationOutcome
impl UnsafeUnpin for ValidationOutcome
Blanket Implementations§
§impl<T> AnyEq for T
impl<T> AnyEq for T
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
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>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
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)
fn as_any(&self) -> &(dyn Any + 'static)
&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)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.impl<T> ErasedDestructor for Twhere
T: 'static,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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