Struct verify::serde::Spanned

pub struct Spanned<'k, S: ?Sized + Serialize, SP: Spans> { /* fields omitted */ }

This is supported on feature="serde" only.

Spanned allows validation of any value that implements Serde Serialize with a given Spans.

Implementations

impl<'k, S: ?Sized, SP> Spanned<'k, S, SP> where
    S: Serialize,
    SP: Spans, 

pub fn new(value: &'k S, spans: SP) -> Self

This is supported on feature="serde" only.

Create a new spanned value.

Trait Implementations

impl<'k, S: ?Sized, SP> Display for Spanned<'k, S, SP> where
    S: Display + Serialize,
    SP: Spans, 

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

Formats the value using the given formatter.

impl<'k, S: ?Sized, SP> Hash for Spanned<'k, S, SP> where
    S: Serialize + Hash,
    SP: Spans, 

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].

impl<'k, S: ?Sized, SP> Spanned for Spanned<'k, S, SP> where
    S: Serialize,
    SP: Spans, 

type Span = SP::Span

Span is information about the value.

fn span(&self) -> Option<Self::Span>

Return the span for the value if any.

impl<'k, S: ?Sized, SP> Validate for Spanned<'k, S, SP> where
    S: Serialize,
    SP: Spans, 

fn validate<V: Validator<Self::Span>>(
    &self,
    validator: V
) -> Result<(), V::Error>

Validate self against a given validator.