Enum Type 

pub enum Type {
    Error,
    Any,
    Unknown,
    Never,
    Void,
    Null,
    Undefined,
    Boolean,
    Number,
    BigInt,
    String,
    Symbol,
    Object,
    BooleanLiteral(bool),
    NumberLiteral(Box<str>),
    StringLiteral(Box<str>),
    BigIntLiteral(Box<str>),
    Array(TypeId),
    Union(Vec<TypeId>),
    ObjectType(Vec<PropertyType>),
    Function(FunctionSignature),
    Named(SymbolId),
    NumericEnum(SymbolId),
}

The closed space of structural types the first checker slice models.

Error is a recovery type produced for unresolved or unsupported syntax; it behaves like Any in assignability so one upstream mistake never cascades.

Variants

Error

Any

Unknown

Never

Void

Null

Undefined

Boolean

Number

BigInt

String

Symbol

Object

BooleanLiteral(bool)

NumberLiteral(Box<str>)

StringLiteral(Box<str>)

BigIntLiteral(Box<str>)

Array(TypeId)

Union(Vec<TypeId>)

ObjectType(Vec<PropertyType>)

Function(FunctionSignature)

Named(SymbolId)

A nominal named type (type parameter, class, or enum) compared by identity.

NumericEnum(SymbolId)

A numeric enum value, distinct from both its runtime enum object and number.

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

impl Hash for Type

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 Type

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Type