Enum TyKind 

pub enum TyKind {
    Path {
        path: Path,
        args: Vec<Ty>,
    },
    Fn {
        params: Vec<(Mode, Ty)>,
        ret: Option<Box<Ty>>,
    },
    SelfType,
    Error,
}

The forms of a written type.

Variants

Path

Int, List<User>, model.User.

Fields

path: Path

The name.

args: Vec<Ty>

Type arguments.

Fn

fn(Int, mut List<Int>) -> Bool

Fields

params: Vec<(Mode, Ty)>

Parameter modes and types.

ret: Option<Box<Ty>>

The result; None means Void.

SelfType

Self

Error

A type that could not be parsed.

Trait Implementations

impl Clone for TyKind

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 TyKind

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

Formats the value using the given formatter.

impl PartialEq for TyKind

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TyKind