Enum Type 

pub enum Type {
    Named {
        name: String,
        generics: Vec<Type>,
        span: Span,
    },
    Tuple(Vec<Type>, Span),
    Array(Box<Type>, usize, Span),
    Slice(Box<Type>, Span),
    Ref {
        mutable: bool,
        inner: Box<Type>,
        lifetime: Option<String>,
        span: Span,
    },
    Function {
        params: Vec<Type>,
        return_type: Box<Type>,
        effects: Vec<Effect>,
        span: Span,
    },
    Option(Box<Type>, Span),
    Result(Box<Type>, Box<Type>, Span),
    Infer(Span),
    Never(Span),
    Unit(Span),
    Impl {
        trait_name: String,
        generics: Vec<Type>,
        span: Span,
    },
}

Variants

Named

Named type: Int, String, Vec<T>

Fields

name: String

generics: Vec<Type>

span: Span

Tuple(Vec<Type>, Span)

Tuple: (A, B, C)

Array(Box<Type>, usize, Span)

Array: [T; N]

Slice(Box<Type>, Span)

Slice: [T]

Ref

Reference: &T, &mut T

Fields

mutable: bool

inner: Box<Type>

lifetime: Option<String>

span: Span

Function

Function type: fn(A, B) -> C with Effects

Fields

params: Vec<Type>

return_type: Box<Type>

effects: Vec<Effect>

span: Span

Option(Box<Type>, Span)

Option shorthand: T?

Result(Box<Type>, Box<Type>, Span)

Result shorthand: T!E

Infer(Span)

Inferred: _

Never(Span)

Never type: !

Unit(Span)

Unit type: ()

Impl

impl Trait: impl Future, impl Iterator<Item = T>

Fields

trait_name: String

generics: Vec<Type>

span: Span

Implementations

impl Type

pub fn span(&self) -> Span

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

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.

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