Trait ark_serialize::Valid

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

    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,

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 BigUint

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

fn batch_check<'a>(
    _batch: impl Iterator<Item = &'a Self>
) -> 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: Sync> Valid for PhantomData<T>

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

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<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> 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 Valid for String

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

impl Valid for ()

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

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