Enum amplify_syn::ListReq[−][src]

pub enum ListReq<T> where
    T: Clone,  {
    Single {
        whitelist: Option<Vec<T>>,
        default: Option<T>,
    },
    Many {
        whitelist: Option<Vec<T>>,
        required: bool,
        max_no: Option<u8>,
    },
    Predefined {
        whitelist: Option<Vec<T>>,
        default: Vec<T>,
    },
    Deny,
}
Expand description

Requirements for list elements. For instance, used in AttrReq for providing [ParametrizedAttr] fields requirements.

Variants

Single

Only a single value allowed and it must be present

Show fields

Fields of Single

whitelist: Option<Vec<T>>

Restricts set of possible values to the given whitelist

NB: If whitelist does not contain values from the default field, they are still accepted as valid, i.e. “automatically whitelisted”

default: Option<T>

Default value assigned as a signe list item if no values are provided

NB: If whitelist does not contain values from the default field, they are still accepted as valid, i.e. “automatically whitelisted”

Many

Any number of any elements may be present

Show fields

Fields of Many

whitelist: Option<Vec<T>>

Restricts set of possible values to the given whitelist

required: bool

Require that at least one value is present

max_no: Option<u8>

Restricts the maximum number of items

Predefined

Any number of any elements may not be present; if none of the elements is present the list will use default vec of the values

Show fields

Fields of Predefined

whitelist: Option<Vec<T>>

Restricts set of possible values to the given whitelist.

NB: If whitelist does not contain values from the default field, they are still accepted as valid, i.e. “automatically whitelisted”

default: Vec<T>

Default set of values for the list used if no values are provided

NB: If whitelist does not contain values from the default field, they are still accepted as valid, i.e. “automatically whitelisted”

Deny

Element must not be present

Implementations

impl<T> ListReq<T> where
    T: Clone + ToTokens, [src]

pub fn check(
    &self,
    value: &mut Vec<T>,
    attr: impl ToString,
    arg: impl ToString
) -> Result<(), Error>[src]

Checks the value against the list requirements, generating Error if the requirements are not met.

Trait Implementations

impl<T: Clone> Clone for ListReq<T> where
    T: Clone, [src]

fn clone(&self) -> ListReq<T>[src]

Returns a copy of the value. Read more

fn clone_from(&mut self, source: &Self)1.0.0[src]

Performs copy-assignment from source. Read more

Auto Trait Implementations

impl<T> RefUnwindSafe for ListReq<T> where
    T: RefUnwindSafe, 

impl<T> Send for ListReq<T> where
    T: Send, 

impl<T> Sync for ListReq<T> where
    T: Sync, 

impl<T> Unpin for ListReq<T> where
    T: Unpin, 

impl<T> UnwindSafe for ListReq<T> where
    T: UnwindSafe, 

Blanket Implementations

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

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T> ToOwned for T where
    T: Clone, [src]

type Owned = T

The resulting type after obtaining ownership.

pub fn to_owned(&self) -> T[src]

Creates owned data from borrowed data, usually by cloning. Read more

pub fn clone_into(&self, target: &mut T)[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

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

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

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

The type returned in the event of a conversion error.

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

Performs the conversion.