zerocopy_derive::repr

Struct Config

source
pub struct Config<Repr: KindRepr> {
    pub allowed_combinations_message: &'static str,
    pub derive_unaligned: bool,
    pub allowed_combinations: &'static [&'static [Repr]],
    pub disallowed_but_legal_combinations: &'static [&'static [Repr]],
}

Fields§

§allowed_combinations_message: &'static str§derive_unaligned: bool§allowed_combinations: &'static [&'static [Repr]]§disallowed_but_legal_combinations: &'static [&'static [Repr]]

Implementations§

source§

impl<R: KindRepr> Config<R>

source

pub fn validate_reprs(&self, input: &DeriveInput) -> Result<Vec<R>, Vec<Error>>

Validate that input’s representation attributes conform to the requirements specified by this Config.

validate_reprs extracts the repr attributes, validates that they conform to the requirements of self, and returns them. Regardless of whether align attributes are considered during validation, they are stripped out of the returned value since no callers care about them.

Auto Trait Implementations§

§

impl<Repr> Freeze for Config<Repr>

§

impl<Repr> RefUnwindSafe for Config<Repr>
where Repr: RefUnwindSafe,

§

impl<Repr> Send for Config<Repr>
where Repr: Sync,

§

impl<Repr> Sync for Config<Repr>
where Repr: Sync,

§

impl<Repr> Unpin for Config<Repr>

§

impl<Repr> UnwindSafe for Config<Repr>
where Repr: RefUnwindSafe,

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.