ArrayValidator

Struct ArrayValidator 

Source
pub struct ArrayValidator {
Show 14 fields pub comment: String, pub contains: Vec<Validator>, pub items: Box<Validator>, pub prefix: Vec<Validator>, pub max_len: u32, pub min_len: u32, pub in_list: Vec<Vec<Value>>, pub nin_list: Vec<Vec<Value>>, pub unique: bool, pub query: bool, pub array: bool, pub contains_ok: bool, pub unique_ok: bool, pub size: bool,
}
Expand description

Validator for arrays.

This validator type will only pass array values. Validation passes if:

  • If the in list is not empty, the array must be among the arrays in the list.
  • The array must not be among the arrays in the nin list.
  • The arrays’s length is less than or equal to the value in max_len.
  • The arrays’s length is greater than or equal to the value in min_len.
  • If unique is true, the array items are all unique.
  • For each validator in the contains list, at least one item in the array passes.
  • Each item in the array is checked with a validator at the same index in the prefix array. All validators must pass. If there is no validator at the same index, the validator in items must pass. If a validator is not used, it passes automatially.

§Defaults

Fields that aren’t specified for the validator use their defaults instead. The defaults for each field are:

  • comment: “”
  • contains: empty
  • items: Validator::Any
  • prefix: empty
  • max_len: u32::MAX
  • min_len: u32::MIN
  • in_list: empty
  • nin_list: empty
  • unique: false
  • query: false
  • array: false
  • contains_ok: false
  • unique_ok: false
  • size: false

§Query Checking

Queries for arrays are only allowed to use non-default values for each field if the corresponding query permission is set in the schema’s validator:

  • query: in and nin lists
  • array: prefix and items
  • contains_ok: contains
  • unique_ok: unique
  • size: max_len and min_len

In addition, sub-validators in the query are matched against the schema’s sub-validators:

  • Each validator in contains is checked against all of the schema’s prefix validators, as well as its items validator.
  • The items validator is checked against the schema’s `items’ validator
  • The prefix validators are checked against the schema’s prefix validators. Unmatched query validators are checked against the schema’s items validator.

Fields§

§comment: String

An optional comment explaining the validator.

§contains: Vec<Validator>

For each validator in this array, at least one item in the array must pass the validator.

§items: Box<Validator>

A validator that each item in the array must pass, unless it is instead checked by prefix.

§prefix: Vec<Validator>

An array of validators, which are matched up against the items in the array. Unmatched validators automatically pass, while unmatched items are checked against the items Validator.

§max_len: u32

The maximum allowed number of items in the array.

§min_len: u32

The minimum allowed number of items in the array.

§in_list: Vec<Vec<Value>>

A vector of specific allowed values, stored under the in field. If empty, this vector is not checked against.

§nin_list: Vec<Vec<Value>>

A vector of specific unallowed values, stored under the nin field.

§unique: bool

If set, all items in the array must be unique.

§query: bool

If true, queries against matching spots may have values in the in or nin lists.

§array: bool

If true, queries against matching spots may use items and prefix.

§contains_ok: bool

If true, queries against matching spots may use contains.

§unique_ok: bool

If true, queries against matching spots may use unique.

§size: bool

If true, queries against matching spots may use max_len and min_len.

Implementations§

Source§

impl ArrayValidator

Source

pub fn new() -> Self

Make a new validator with the default configuration.

Source

pub fn comment(self, comment: impl Into<String>) -> Self

Set a comment for the validator.

Source

pub fn contains_add(self, validator: Validator) -> Self

Extend the contains list with another validator

Source

pub fn items(self, items: Validator) -> Self

Set the items validator.

Source

pub fn prefix_add(self, prefix: Validator) -> Self

Extend the prefix list with another validator

Source

pub fn max_len(self, max_len: u32) -> Self

Set the maximum number of allowed bytes.

Source

pub fn min_len(self, min_len: u32) -> Self

Set the minimum number of allowed bytes.

Source

pub fn in_add(self, add: impl Into<Vec<Value>>) -> Self

Add a value to the in list.

Source

pub fn nin_add(self, add: impl Into<Vec<Value>>) -> Self

Add a value to the nin list.

Source

pub fn unique(self, unique: bool) -> Self

Set whether the items in the array must be unique.

Source

pub fn query(self, query: bool) -> Self

Set whether or not queries can use the in and nin lists.

Source

pub fn array(self, array: bool) -> Self

Set whether or not queries can use the items and prefix values.

Source

pub fn contains_ok(self, contains_ok: bool) -> Self

Set whether or not queries can use the contains value.

Source

pub fn unique_ok(self, unique_ok: bool) -> Self

Set whether or not queries can use the unique setting.

Source

pub fn size(self, size: bool) -> Self

Set whether or not queries can use the max_len and min_len values.

Source

pub fn build(self) -> Validator

Build this into a Validator enum.

Trait Implementations§

Source§

impl Clone for ArrayValidator

Source§

fn clone(&self) -> ArrayValidator

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 ArrayValidator

Source§

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

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

impl Default for ArrayValidator

Source§

fn default() -> Self

Returns the “default value” for a type. Read more
Source§

impl<'de> Deserialize<'de> for ArrayValidator

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl PartialEq for ArrayValidator

Source§

fn eq(&self, other: &ArrayValidator) -> 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 Serialize for ArrayValidator

Source§

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>
where __S: Serializer,

Serialize this value into the given Serde serializer. Read more
Source§

impl StructuralPartialEq for ArrayValidator

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

Source§

type Output = T

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

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,