Trait Valid

pub trait Valid: Sized + Sync {
    // Required method
    fn check(&self) -> Result<(), SerializationError>;

    // Provided method
    fn batch_check<'a>(
        batch: impl Iterator<Item = &'a Self> + Send,
    ) -> Result<(), SerializationError>
       where Self: 'a { ... }
}

Required Methods

fn check(&self) -> Result<(), SerializationError>

Provided Methods

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Valid for bool

fn check(&self) -> Result<(), SerializationError>

impl Valid for u8

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl Valid for u16

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl Valid for u32

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl Valid for u64

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl Valid for ()

fn check(&self) -> Result<(), SerializationError>

impl Valid for usize

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl Valid for String

fn check(&self) -> Result<(), SerializationError>

impl Valid for BigUint

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( _batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl<'b, T> Valid for Cow<'b, T>

where T: ToOwned + Sync + Valid + Send, <T as ToOwned>::Owned: CanonicalDeserialize + Send,

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<A> Valid for (A,)

where A: Valid,

fn check(&self) -> Result<(), SerializationError>

impl<A, B> Valid for (A, B)

where A: Valid, B: Valid,

fn check(&self) -> Result<(), SerializationError>

impl<A, B, C> Valid for (A, B, C)

where A: Valid, B: Valid, C: Valid,

fn check(&self) -> Result<(), SerializationError>

impl<A, B, C, D> Valid for (A, B, C, D)

where A: Valid, B: Valid, C: Valid, D: Valid,

fn check(&self) -> Result<(), SerializationError>

impl<A, B, C, D, E> Valid for (A, B, C, D, E)

where A: Valid, B: Valid, C: Valid, D: Valid, E: Valid,

fn check(&self) -> Result<(), SerializationError>

impl<K: Valid, V: Valid> Valid for BTreeMap<K, V>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self>, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Sync> Valid for PhantomData<T>

fn check(&self) -> Result<(), SerializationError>

impl<T: CanonicalDeserialize, const N: usize> Valid for [T; N]

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Valid + Sync + Send> Valid for Arc<T>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Valid> Valid for Option<T>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Valid> Valid for LinkedList<T>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Valid> Valid for VecDeque<T>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<T: Valid> Valid for Vec<T>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

impl<V: Valid> Valid for BTreeSet<V>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Implementors