Enum Type

pub enum Type {
    ResolvedPath(Path),
    DynTrait(DynTrait),
    Generic(String),
    Primitive(String),
    FunctionPointer(Box<FunctionPointer>),
    Tuple(Vec<Type>),
    Slice(Box<Type>),
    Array {
        type_: Box<Type>,
        len: String,
    },
    Pat {
        type_: Box<Type>,
        /* private fields */
    },
    ImplTrait(Vec<GenericBound>),
    Infer,
    RawPointer {
        is_mutable: bool,
        type_: Box<Type>,
    },
    BorrowedRef {
        lifetime: Option<String>,
        is_mutable: bool,
        type_: Box<Type>,
    },
    QualifiedPath {
        name: String,
        args: Box<GenericArgs>,
        self_type: Box<Type>,
        trait_: Option<Path>,
    },
}

A type.

Variants

ResolvedPath(Path)

Structs, enums, unions and type aliases, e.g. std::option::Option<u32>

DynTrait(DynTrait)

Dynamic trait object type (dyn Trait).

Generic(String)

Parameterized types. The contained string is the name of the parameter.

Primitive(String)

Built-in numeric types (e.g. u32, f32), bool, char.

FunctionPointer(Box<FunctionPointer>)

A function pointer type, e.g. fn(u32) -> u32, extern "C" fn() -> *const u8

Tuple(Vec<Type>)

A tuple type, e.g. (String, u32, Box<usize>)

Slice(Box<Type>)

An unsized slice type, e.g. [u32].

Array

An array type, e.g. [u32; 15]

Fields

type_: Box<Type>

The type of the contained element.

len: String

The stringified expression that is the length of the array.

Keep in mind that it’s not guaranteed to match the actual source code of the expression.

Pat

A pattern type, e.g. u32 is 1..

See the tracking issue

Fields

type_: Box<Type>

The base type, e.g. the u32 in u32 is 1..

ImplTrait(Vec<GenericBound>)

An opaque type that satisfies a set of bounds, impl TraitA + TraitB + ...

Infer

A type that’s left to be inferred, _

RawPointer

A raw pointer type, e.g. *mut u32, *const u8, etc.

Fields

is_mutable: bool

This is true for *mut _ and false for *const _.

type_: Box<Type>

The type of the pointee.

BorrowedRef

&'a mut String, &str, etc.

Fields

lifetime: Option<String>

The name of the lifetime of the reference, if provided.

is_mutable: bool

This is true for &mut i32 and false for &i32

type_: Box<Type>

The type of the pointee, e.g. the i32 in &'a mut i32

QualifiedPath

Associated types like <Type as Trait>::Name and T::Item where T: Iterator or inherent associated types like Struct::Name.

Fields

name: String

The name of the associated type in the parent type.

<core::array::IntoIter<u32, 42> as Iterator>::Item
//                                            ^^^^

args: Box<GenericArgs>

The generic arguments provided to the associated type.

<core::slice::IterMut<'static, u32> as BetterIterator>::Item<'static>
//                                                          ^^^^^^^^^

self_type: Box<Type>

The type with which this type is associated.

<core::array::IntoIter<u32, 42> as Iterator>::Item
// ^^^^^^^^^^^^^^^^^^^^^^^^^^^^

trait_: Option<Path>

None iff this is an inherent associated type.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Type

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for Type

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 PartialEq for Type

fn eq(&self, other: &Type) -> 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 Serialize for Type

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Type

impl StructuralPartialEq for Type