Enum Type 

pub enum Type {
    Any,
    Void,
    Never,
    Unknown,
    Number,
    String,
    Boolean,
    Symbol,
    BigInt,
    Array(Box<Type>),
    Object(HashMap<String, Type>),
    Function(Vec<Type>, Box<Type>),
    TypeVar(String),
    Interface(String),
    GenericInterface(String, Vec<Type>),
    TypeAlias(String),
    GenericTypeAlias(String, Vec<Type>),
    Union(Vec<Type>),
    Intersection(Vec<Type>),
    Conditional(Box<Type>, Box<Type>, Box<Type>, Box<Type>),
    Mapped(String, Box<Type>, Box<Type>),
    IndexAccess(Box<Type>, Box<Type>),
    KeyOf(Box<Type>),
    Literal(String),
    Tuple(Vec<Type>),
    Exclude(Box<Type>, Box<Type>),
    Extract(Box<Type>, Box<Type>),
    ThisType(Box<Type>),
    OmitThisParameter(Box<Type>),
    ThisParameterType(Box<Type>),
}

导出类型和特性 类型

Variants

Any

基本类型

Void

Never

Unknown

Number

String

Boolean

Symbol

BigInt

Array(Box<Type>)

复合类型

Object(HashMap<String, Type>)

Function(Vec<Type>, Box<Type>)

TypeVar(String)

类型变量

Interface(String)

接口类型

GenericInterface(String, Vec<Type>)

泛型接口类型

TypeAlias(String)

类型别名

GenericTypeAlias(String, Vec<Type>)

泛型类型别名

Union(Vec<Type>)

联合类型

Intersection(Vec<Type>)

交叉类型

Conditional(Box<Type>, Box<Type>, Box<Type>, Box<Type>)

条件类型: T extends U ? X : Y

Mapped(String, Box<Type>, Box<Type>)

映射类型: { [K in keyof T]: T[K] }

IndexAccess(Box<Type>, Box<Type>)

索引访问类型: T[K]

KeyOf(Box<Type>)

关键字类型

Literal(String)

字面量类型

Tuple(Vec<Type>)

元组类型

Exclude(Box<Type>, Box<Type>)

排除类型: Exclude<T, U>

Extract(Box<Type>, Box<Type>)

提取类型: Extract<T, U>

ThisType(Box<Type>)

this 类型: ThisType

OmitThisParameter(Box<Type>)

省略 this 参数类型: OmitThisParameter

ThisParameterType(Box<Type>)

this 参数类型: ThisParameterType

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

impl StructuralPartialEq for Type