Enum TypeClass 

pub enum TypeClass {
    Array,
    BareFn,
    Group,
    ImplTrait,
    Infer,
    Macro,
    Never,
    Paren,
    Path,
    Ptr,
    Reference,
    Slice,
    TraitObject,
    Tuple,
    Any,
}

Constrains for the possible types that a Rust value could have.

Variants

Array

A fixed size array type: [T; n].

BareFn

A bare function type: fn(usize) -> bool.

Group

A type contained within invisible delimiters.

ImplTrait

An impl Bound1 + Bound2 + Bound3 type where Bound is a trait or a lifetime.

Infer

Indication that a type should be inferred by the compiler: _.

Macro

A macro in the type position.

Never

The never type: !.

Paren

A parenthesized type equivalent to the inner type.

Path

A path like std::slice::Iter, optionally qualified with a self-type as in <Vec<T> as SomeTrait>::Associated.

Ptr

A raw pointer type: *const T or *mut T.

Reference

A reference type: &'a T or &'a mut T.

Slice

A dynamically sized slice type: [T].

TraitObject

A trait object type Bound1 + Bound2 + Bound3 where Bound is a trait or a lifetime.

Tuple

A tuple type: (A, B, C, String).

Any

Tokens in type position not interpreted by Syn.

Implementations

impl TypeClass

pub fn check( self, ty: &Type, attr: impl ToString, arg: impl ToString, ) -> Result<(), Error>

Checks the Type against current requirements, generating Error if the requirements are not met.

Trait Implementations

impl Clone for TypeClass

fn clone(&self) -> TypeClass

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TypeClass

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<&Type> for TypeClass

fn from(ty: &Type) -> Self

Converts to this type from the input type.

impl From<Type> for TypeClass

fn from(ty: Type) -> Self

Converts to this type from the input type.

impl From<TypeClass> for ValueClass

fn from(cls: TypeClass) -> Self

Converts to this type from the input type.

impl Hash for TypeClass

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for TypeClass

fn cmp(&self, other: &TypeClass) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for TypeClass

fn eq(&self, other: &TypeClass) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for TypeClass

fn partial_cmp(&self, other: &TypeClass) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for TypeClass

impl Eq for TypeClass

impl StructuralPartialEq for TypeClass

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 1 byte

Size for each variant:

• Array: 0 bytes
• BareFn: 0 bytes
• Group: 0 bytes
• ImplTrait: 0 bytes
• Infer: 0 bytes
• Macro: 0 bytes
• Never: 0 bytes
• Paren: 0 bytes
• Path: 0 bytes
• Ptr: 0 bytes
• Reference: 0 bytes
• Slice: 0 bytes
• TraitObject: 0 bytes
• Tuple: 0 bytes
• Any: 0 bytes