Struct Contains

pub struct Contains<'a, A>(pub &'a A);

The value must contain the specified member or the specified member must be part of the value.

The validation function can be applied in the FieldName context. It is implemented for all types T that implement the HasMember property trait and Into<Value>.

Tuple Fields

0: &'a A

Trait Implementations

impl<'a, A: Clone> Clone for Contains<'a, A>

fn clone(&self) -> Contains<'a, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, A: Debug> Debug for Contains<'a, A>

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

Formats the value using the given formatter.

impl<'a, A: PartialEq> PartialEq for Contains<'a, A>

fn eq(&self, other: &Contains<'a, A>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<'a, T, A> Validate<Contains<'a, A>, FieldName> for T

where T: HasMember<A> + Into<Value>, A: Clone + Into<Value>,

fn validate( self, name: impl Into<FieldName>, constraint: &Contains<'a, A>, ) -> Validation<Contains<'a, A>, Self>

Validates this value for being compliant to the specified constraint C in the given context S.

impl<'a, A: Copy> Copy for Contains<'a, A>

impl<'a, A: Eq> Eq for Contains<'a, A>

impl<'a, A> StructuralPartialEq for Contains<'a, A>