Enum Type 

pub enum Type {
    Path {
        path: Path,
        args: Vec<Spanned<Type>>,
    },
    Ref {
        is_mut: bool,
        inner: Box<Spanned<Type>>,
    },
    Ptr {
        is_mut: bool,
        inner: Box<Spanned<Type>>,
    },
    Array(Box<Spanned<Type>>),
    Tuple(Vec<Spanned<Type>>),
    Fn {
        params: Vec<Spanned<Type>>,
        ret: Box<Spanned<Type>>,
    },
    Optional(Box<Spanned<Type>>),
    Infer,
}

A type expression.

Variants

Path

A named type, possibly with generic arguments: Vec<Int>, String.

Fields

path: Path

args: Vec<Spanned<Type>>

Ref

A shared reference &T or mutable reference &mut T.

Fields

is_mut: bool

inner: Box<Spanned<Type>>

Ptr

A raw pointer *T or *mut T (unsafe only).

Fields

is_mut: bool

inner: Box<Spanned<Type>>

Array(Box<Spanned<Type>>)

An array / slice type [T].

Tuple(Vec<Spanned<Type>>)

A tuple type (A, B, C). Empty tuple () is the unit type.

Fn

A function type fn(A, B) -> C.

Fields

params: Vec<Spanned<Type>>

ret: Box<Spanned<Type>>

Optional(Box<Spanned<Type>>)

The optional sugar T? (equivalent to Option<T>).

Infer

A placeholder _ that tells the compiler to infer the type.

Trait Implementations

impl Clone for Type

fn clone(&self) -> Self

Returns a duplicate 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.