Enum TypeKind 

pub enum TypeKind {
    Primitive,
    Literal,
    Object,
    Array,
    Tuple,
    Union,
    Intersection,
    Function,
    Generic,
    TypeParameter,
    Conditional,
    Mapped,
    IndexAccess,
    TemplateLiteral,
    TypeQuery,
    KeyOf,
    Reference,
    Error,
    Other,
}

Classification of types into broad categories.

Variants

Primitive

Primitive types (string, number, boolean, etc.)

Literal

Literal types (“hello”, 42, true)

Object

Object types

Array

Array types

Tuple

Tuple types

Union

Union types

Intersection

Intersection types

Function

Function/callable types

Generic

Generic types (type applications)

TypeParameter

Type parameters (T, K, etc.)

Conditional

Conditional types (T extends U ? X : Y)

Mapped

Mapped types ({ [K in Keys]: V })

IndexAccess

Index access types (T[K])

TemplateLiteral

Template literal types (hello${T})

TypeQuery

Type query (typeof expr)

KeyOf

KeyOf types (keyof T)

Reference

Named type references (interfaces, type aliases)

Error

Error types

Other

Other/unknown

Trait Implementations

impl Clone for TypeKind

fn clone(&self) -> TypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeKind

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

Formats the value using the given formatter.

impl Hash for TypeKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypeKind

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

impl Eq for TypeKind

impl StructuralPartialEq for TypeKind