pub struct ZNumber { /* private fields */ }Expand description
Schema for number validation (f64). Created via vld::number().
Use .int() to convert to integer validation (i64).
§Example
use vld::prelude::*;
let schema = vld::number().min(0.0).max(100.0);
let int_schema = vld::number().int().min(0).max(100);Implementations§
Source§impl ZNumber
impl ZNumber
pub fn new() -> ZNumber
Sourcepub fn type_error(self, msg: impl Into<String>) -> ZNumber
pub fn type_error(self, msg: impl Into<String>) -> ZNumber
Set a custom error message for type mismatch (when the input is not a number).
§Example
use vld::prelude::*;
let schema = vld::number().type_error("Must be a number!");
let err = schema.parse(r#""hello""#).unwrap_err();
assert!(err.issues[0].message.contains("Must be a number!"));Sourcepub fn with_messages<F>(self, f: F) -> ZNumber
pub fn with_messages<F>(self, f: F) -> ZNumber
Override error messages in bulk by check key.
The closure receives the check key (e.g. "too_small", "too_big",
"not_positive", "not_finite", "not_multiple_of", "not_safe")
and should return Some(new_message) to replace, or None to keep the original.
§Example
use vld::prelude::*;
let schema = vld::number().min(0.0).max(100.0)
.with_messages(|key| match key {
"too_small" => Some("Must be >= 0".into()),
"too_big" => Some("Must be <= 100".into()),
_ => None,
});Sourcepub fn non_negative(self) -> ZNumber
pub fn non_negative(self) -> ZNumber
Must be non-negative (>= 0).
Sourcepub fn non_positive(self) -> ZNumber
pub fn non_positive(self) -> ZNumber
Must be non-positive (<= 0).
Sourcepub fn multiple_of(self, val: f64) -> ZNumber
pub fn multiple_of(self, val: f64) -> ZNumber
Must be a multiple of the given value.
Trait Implementations§
Source§impl VldSchema for ZNumber
impl VldSchema for ZNumber
Source§fn parse_value(&self, value: &Value) -> Result<f64, VldError>
fn parse_value(&self, value: &Value) -> Result<f64, VldError>
Parse and validate a
serde_json::Value.Source§fn parse<I>(&self, input: &I) -> Result<Self::Output, VldError>
fn parse<I>(&self, input: &I) -> Result<Self::Output, VldError>
Parse from any supported input (JSON string, file path,
serde_json::Value, etc.)Source§fn validate<T>(&self, value: &T) -> Result<Self::Output, VldError>where
T: Serialize,
fn validate<T>(&self, value: &T) -> Result<Self::Output, VldError>where
T: Serialize,
Validate an existing Rust value against this schema. Read more
Source§fn is_valid<T>(&self, value: &T) -> boolwhere
T: Serialize,
fn is_valid<T>(&self, value: &T) -> boolwhere
T: Serialize,
Check if an existing Rust value passes this schema’s validation. Read more
Source§fn optional(self) -> ZOptional<Self>
fn optional(self) -> ZOptional<Self>
Make this field optional. Missing or null values become
None.Source§fn with_default(self, value: Self::Output) -> ZDefault<Self>
fn with_default(self, value: Self::Output) -> ZDefault<Self>
Provide a default value when the field is missing or null.
Source§fn refine<F>(self, check: F, message: &str) -> ZRefine<Self, F>
fn refine<F>(self, check: F, message: &str) -> ZRefine<Self, F>
Add a custom refinement check without changing the output type.
Source§fn transform<F, U>(self, f: F) -> ZTransform<Self, F, U>
fn transform<F, U>(self, f: F) -> ZTransform<Self, F, U>
Transform the output value after successful parsing.
Source§fn catch(self, fallback: Self::Output) -> ZCatch<Self>
fn catch(self, fallback: Self::Output) -> ZCatch<Self>
Return a fallback value on ANY validation error.
Source§fn pipe<S>(self, next: S) -> ZPipe<Self, S>
fn pipe<S>(self, next: S) -> ZPipe<Self, S>
Chain this schema’s output into another schema. Read more
Source§fn describe(self, description: &str) -> ZDescribe<Self>
fn describe(self, description: &str) -> ZDescribe<Self>
Attach a human-readable description/label to this schema. Read more
Source§fn super_refine<F>(self, check: F) -> ZSuperRefine<Self, F>
fn super_refine<F>(self, check: F) -> ZSuperRefine<Self, F>
Add a custom refinement that can produce multiple errors. Read more
Source§fn or<B>(self, other: B) -> ZUnion2<Self, B>where
B: VldSchema,
fn or<B>(self, other: B) -> ZUnion2<Self, B>where
B: VldSchema,
Create a union: this schema or another. Returns
Either<Self::Output, B::Output>.Source§fn and<B>(self, other: B) -> ZIntersection<Self, B>where
B: VldSchema,
fn and<B>(self, other: B) -> ZIntersection<Self, B>where
B: VldSchema,
Create an intersection: input must satisfy both schemas.
Auto Trait Implementations§
impl Freeze for ZNumber
impl RefUnwindSafe for ZNumber
impl Send for ZNumber
impl Sync for ZNumber
impl Unpin for ZNumber
impl UnsafeUnpin for ZNumber
impl UnwindSafe for ZNumber
Blanket Implementations§
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
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§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>
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 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>
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