Enum TypeKind 

pub enum TypeKind<'ast> {
    Reference {
        prefix: Option<AstName<'ast>>,
        prefix_location: Option<Location>,
        prefix_local: Option<&'ast Local<'ast>>,
        name: AstName<'ast>,
        location: Location,
        name_location: Location,
        has_parameter_list: bool,
        parameters: &'ast [TypeOrPack<'ast>],
    },
    Table {
        props: &'ast [TableTypeProp<'ast>],
        indexer: Option<&'ast TableTypeIndexer<'ast>>,
    },
    Function {
        attributes: &'ast [&'ast Attribute<'ast>],
        generics: &'ast [&'ast GenericType<'ast>],
        generic_packs: &'ast [&'ast GenericTypePack<'ast>],
        arg_types: TypeList<'ast>,
        arg_names: &'ast [Option<ArgumentName<'ast>>],
        return_types: TypePack<'ast>,
    },
    Typeof {
        expr: Expression<'ast>,
    },
    SingletonBool {
        value: bool,
    },
    SingletonString {
        value: AstString<'ast>,
    },
    Group {
        ty: Type<'ast>,
    },
    Optional,
    Union {
        types: &'ast [Type<'ast>],
    },
    Intersection {
        types: &'ast [Type<'ast>],
    },
    Error {
        types: &'ast [Type<'ast>],
        missing: bool,
        message_index: usize,
    },
}

Variants

Reference

Fields

prefix: Option<AstName<'ast>>

prefix_location: Option<Location>

prefix_local: Option<&'ast Local<'ast>>

name: AstName<'ast>

location: Location

name_location: Location

has_parameter_list: bool

parameters: &'ast [TypeOrPack<'ast>]

Table

Fields

props: &'ast [TableTypeProp<'ast>]

indexer: Option<&'ast TableTypeIndexer<'ast>>

Function

Fields

attributes: &'ast [&'ast Attribute<'ast>]

generics: &'ast [&'ast GenericType<'ast>]

generic_packs: &'ast [&'ast GenericTypePack<'ast>]

arg_types: TypeList<'ast>

arg_names: &'ast [Option<ArgumentName<'ast>>]

return_types: TypePack<'ast>

Typeof

Fields

expr: Expression<'ast>

SingletonBool

Fields

value: bool

SingletonString

Fields

value: AstString<'ast>

Group

Fields

ty: Type<'ast>

Optional

Union

Fields

types: &'ast [Type<'ast>]

Intersection

Fields

types: &'ast [Type<'ast>]

Error

Fields

types: &'ast [Type<'ast>]

missing: bool

message_index: usize

Implementations

impl<'ast> TypeKind<'ast>

pub fn is_checked_function(&self) -> bool

pub fn has_function_attribute(&self, kind: AttributeKind) -> bool

pub fn get_function_attribute( &self, kind: AttributeKind, ) -> Option<&'ast Attribute<'ast>>

Trait Implementations

impl<'ast> Clone for TypeKind<'ast>

fn clone(&self) -> TypeKind<'ast>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'ast> Copy for TypeKind<'ast>

impl<'ast> Debug for TypeKind<'ast>

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

Formats the value using the given formatter.

impl<'ast> PartialEq for TypeKind<'ast>

fn eq(&self, other: &TypeKind<'ast>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'ast> StructuralPartialEq for TypeKind<'ast>