Trait snarkvm_utilities::serialize::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,

Object Safety

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 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>

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

where Self: 'a,

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<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: 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 [T; 32]

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

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

where Self: 'a,

Implementors

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