Enum PureType 

pub enum PureType {
    Path(String),
    Ref {
        lifetime: Option<String>,
        is_mut: bool,
        ty: Box<PureType>,
    },
    Tuple(Vec<PureType>),
    Array {
        ty: Box<PureType>,
        len: String,
    },
    Slice(Box<PureType>),
    Fn {
        params: Vec<PureType>,
        ret: Option<Box<PureType>>,
    },
    ImplTrait(Vec<String>),
    TraitObject(Vec<String>),
    Infer,
    Never,
    Other(String),
}

A type.

Variants

Path(String)

Path type: String, std::io::Result<T>

Ref

Reference: &T, &mut T, &'a T

Fields

lifetime: Option<String>

Optional explicit lifetime ('a).

is_mut: bool

mut qualifier (&mut).

ty: Box<PureType>

Referent type.

Tuple(Vec<PureType>)

Tuple: (A, B, C)

Array

Array: [T; N]

Fields

ty: Box<PureType>

Element type.

len: String

Length expression as a raw string.

Slice(Box<PureType>)

Slice: [T]

Fn

Function pointer: fn(A) -> B

Fields

params: Vec<PureType>

Parameter types.

ret: Option<Box<PureType>>

Optional return type (None = unit).

ImplTrait(Vec<String>)

Impl trait: impl Trait

TraitObject(Vec<String>)

Dyn trait: dyn Trait

Infer

Inferred: _

Never

Never: !

Other(String)

Other (as string).

Trait Implementations

impl Clone for PureType

fn clone(&self) -> PureType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PureType

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

Formats the value using the given formatter.

impl PartialEq for PureType

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

type Output = Type

syn output type produced from self.

fn to_syn(&self) -> Result<Type, ToSynError>

Convert self back into its syn representation.

impl Eq for PureType

impl StructuralPartialEq for PureType