SchemaErrors

Struct SchemaErrors 

Source
pub struct SchemaErrors(/* private fields */);
Expand description

A non-empty collection of schema validation errors.

SchemaErrors wraps a NonEmptyVec<SchemaError> to guarantee that at least one error is present. This is essential for use with Validation<T, SchemaErrors> since a failure must have at least one error.

§Combining Errors

SchemaErrors implements Semigroup, allowing errors from multiple validations to be combined:

use postmortem::{JsonPath, SchemaError, SchemaErrors};
use stillwater::prelude::*;

let errors1 = SchemaErrors::single(
    SchemaError::new(JsonPath::root().push_field("name"), "required")
);
let errors2 = SchemaErrors::single(
    SchemaError::new(JsonPath::root().push_field("email"), "invalid format")
);

let combined = errors1.combine(errors2);
assert_eq!(combined.len(), 2);

Implementations§

Source§

impl SchemaErrors

Source

pub fn single(error: SchemaError) -> Self

Creates a SchemaErrors containing a single error.

Source

pub fn from_non_empty(errors: NonEmptyVec<SchemaError>) -> Self

Creates a SchemaErrors from a NonEmptyVec of errors.

Source

pub fn len(&self) -> usize

Returns the number of errors in this collection.

Source

pub fn is_empty(&self) -> bool

Returns false since this collection is guaranteed non-empty.

This method exists for API consistency but always returns false.

Source

pub fn iter(&self) -> impl Iterator<Item = &SchemaError>

Returns an iterator over the contained errors.

Source

pub fn at_path(&self, path: &JsonPath) -> Vec<&SchemaError>

Returns all errors at the specified path.

Source

pub fn with_code(&self, code: &str) -> Vec<&SchemaError>

Returns all errors with the specified error code.

Source

pub fn first(&self) -> &SchemaError

Returns the first error in the collection.

Source

pub fn into_vec(self) -> Vec<SchemaError>

Converts this collection into a Vec<SchemaError>.

Source

pub fn as_non_empty_vec(&self) -> &NonEmptyVec<SchemaError>

Returns a reference to the underlying NonEmptyVec.

Source

pub fn from_vec(errors: Vec<SchemaError>) -> Self

Creates a SchemaErrors from a Vec<SchemaError>.

Returns the SchemaErrors if the vec is non-empty, or panics if empty. Use this when you’re certain the vec contains at least one error.

§Panics

Panics if the provided vec is empty.

Trait Implementations§

Source§

impl Clone for SchemaErrors

Source§

fn clone(&self) -> SchemaErrors

Returns a duplicate of the value. Read more
1.0.0 · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for SchemaErrors

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Display for SchemaErrors

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Error for SchemaErrors

1.30.0 · Source§

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any. Read more
1.0.0 · Source§

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()
1.0.0 · Source§

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting
Source§

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)
Provides type-based access to context intended for error reports. Read more
Source§

impl<'a> IntoIterator for &'a SchemaErrors

Source§

type Item = &'a SchemaError

The type of the elements being iterated over.
Source§

type IntoIter = Box<dyn Iterator<Item = &'a SchemaError> + 'a>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl IntoIterator for SchemaErrors

Source§

type Item = SchemaError

The type of the elements being iterated over.
Source§

type IntoIter = IntoIter<SchemaError>

Which kind of iterator are we turning this into?
Source§

fn into_iter(self) -> Self::IntoIter

Creates an iterator from a value. Read more
Source§

impl PartialEq for SchemaErrors

Source§

fn eq(&self, other: &SchemaErrors) -> bool

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
Source§

impl Semigroup for SchemaErrors

Source§

fn combine(self, other: Self) -> Self

Combine this value with another value associatively Read more
Source§

impl StructuralPartialEq for SchemaErrors

Auto Trait Implementations§

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> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. 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> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T> ToString for T
where T: Display + ?Sized,

Source§

fn to_string(&self) -> String

Converts the given value to a String. Read more
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.