Skip to main content

NestedSchema

Struct NestedSchema 

Source
pub struct NestedSchema<T, F>
where F: Fn(&Value) -> Result<T, VldError>,
{ /* private fields */ }
Expand description

Schema for parsing nested structures. Created via vld::nested().

Implementations§

Source§

impl<T, F> NestedSchema<T, F>
where F: Fn(&Value) -> Result<T, VldError>,

Source

pub fn new(f: F) -> Self

Trait Implementations§

Source§

impl<T, F> VldSchema for NestedSchema<T, F>
where F: Fn(&Value) -> Result<T, VldError>,

Source§

type Output = T

The Rust type produced by this schema after successful parsing.
Source§

fn parse_value(&self, value: &Value) -> Result<T, VldError>

Parse and validate a serde_json::Value.
Source§

fn parse<I: VldInput + ?Sized>( &self, input: &I, ) -> Result<Self::Output, VldError>

Parse from any supported input (JSON string, file path, serde_json::Value, etc.)
Source§

fn optional(self) -> ZOptional<Self>

Make this field optional. Missing or null values become None.
Source§

fn nullable(self) -> ZNullable<Self>

Allow null values. Null becomes None.
Source§

fn with_default(self, value: Self::Output) -> ZDefault<Self>
where Self::Output: Clone,

Provide a default value when the field is missing or null.
Source§

fn refine<F>(self, check: F, message: &str) -> ZRefine<Self, F>
where F: Fn(&Self::Output) -> bool,

Add a custom refinement check without changing the output type.
Source§

fn transform<F, U>(self, f: F) -> ZTransform<Self, F, U>
where F: Fn(Self::Output) -> U,

Transform the output value after successful parsing.
Source§

fn nullish(self) -> ZNullish<Self>

Make this field nullish (both optional and nullable).
Source§

fn catch(self, fallback: Self::Output) -> ZCatch<Self>
where Self::Output: Clone,

Return a fallback value on ANY validation error.
Source§

fn pipe<S: VldSchema>(self, next: S) -> ZPipe<Self, S>
where Self::Output: Serialize,

Chain this schema’s output into another schema. Read more
Source§

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>
where F: Fn(&Self::Output, &mut VldError),

Add a custom refinement that can produce multiple errors. Read more
Source§

fn or<B: VldSchema>(self, other: B) -> ZUnion2<Self, B>

Create a union: this schema or another. Returns Either<Self::Output, B::Output>.
Source§

fn and<B: VldSchema>(self, other: B) -> ZIntersection<Self, B>

Create an intersection: input must satisfy both schemas.
Source§

fn message(self, msg: impl Into<String>) -> ZMessage<Self>

Override the error message for this schema. Read more

Auto Trait Implementations§

§

impl<T, F> Freeze for NestedSchema<T, F>
where F: Freeze,

§

impl<T, F> RefUnwindSafe for NestedSchema<T, F>

§

impl<T, F> Send for NestedSchema<T, F>
where F: Send, T: Send,

§

impl<T, F> Sync for NestedSchema<T, F>
where F: Sync, T: Sync,

§

impl<T, F> Unpin for NestedSchema<T, F>
where F: Unpin, T: Unpin,

§

impl<T, F> UnsafeUnpin for NestedSchema<T, F>
where F: UnsafeUnpin,

§

impl<T, F> UnwindSafe for NestedSchema<T, F>
where F: UnwindSafe, T: 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<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

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