Enum swc_ecma_ast::TsType

pub enum TsType {
    TsKeywordType(TsKeywordType),
    TsThisType(TsThisType),
    TsFnOrConstructorType(TsFnOrConstructorType),
    TsTypeRef(TsTypeRef),
    TsTypeQuery(TsTypeQuery),
    TsTypeLit(TsTypeLit),
    TsArrayType(TsArrayType),
    TsTupleType(TsTupleType),
    TsOptionalType(TsOptionalType),
    TsRestType(TsRestType),
    TsUnionOrIntersectionType(TsUnionOrIntersectionType),
    TsConditionalType(TsConditionalType),
    TsInferType(TsInferType),
    TsParenthesizedType(TsParenthesizedType),
    TsTypeOperator(TsTypeOperator),
    TsIndexedAccessType(TsIndexedAccessType),
    TsMappedType(TsMappedType),
    TsLitType(TsLitType),
    TsTypePredicate(TsTypePredicate),
    TsImportType(TsImportType),
}

Variants

TsKeywordType(TsKeywordType)

TsThisType(TsThisType)

TsFnOrConstructorType(TsFnOrConstructorType)

TsTypeRef(TsTypeRef)

TsTypeQuery(TsTypeQuery)

TsTypeLit(TsTypeLit)

TsArrayType(TsArrayType)

TsTupleType(TsTupleType)

TsOptionalType(TsOptionalType)

TsRestType(TsRestType)

TsUnionOrIntersectionType(TsUnionOrIntersectionType)

TsConditionalType(TsConditionalType)

TsInferType(TsInferType)

TsParenthesizedType(TsParenthesizedType)

TsTypeOperator(TsTypeOperator)

TsIndexedAccessType(TsIndexedAccessType)

TsMappedType(TsMappedType)

TsLitType(TsLitType)

TsTypePredicate(TsTypePredicate)

TsImportType(TsImportType)

Implementations

impl TsType

pub fn is_ts_keyword_type(&self) -> bool

Returns true if self is of variant TsKeywordType.

pub fn as_ts_keyword_type(&self) -> Option<&TsKeywordType>

Returns Some if self is a reference of variant TsKeywordType, and None otherwise.

pub fn expect_ts_keyword_type(self) -> TsKeywordType where
    Self: Debug, 

Unwraps the value, yielding the content of TsKeywordType.

Panics

Panics if the value is not TsKeywordType, with a panic message including the content of self.

pub fn ts_keyword_type(self) -> Option<TsKeywordType>

Returns Some if self is of variant TsKeywordType, and None otherwise.

pub fn is_ts_this_type(&self) -> bool

Returns true if self is of variant TsThisType.

pub fn as_ts_this_type(&self) -> Option<&TsThisType>

Returns Some if self is a reference of variant TsThisType, and None otherwise.

pub fn expect_ts_this_type(self) -> TsThisType where
    Self: Debug, 

Unwraps the value, yielding the content of TsThisType.

Panics

Panics if the value is not TsThisType, with a panic message including the content of self.

pub fn ts_this_type(self) -> Option<TsThisType>

Returns Some if self is of variant TsThisType, and None otherwise.

pub fn is_ts_fn_or_constructor_type(&self) -> bool

Returns true if self is of variant TsFnOrConstructorType.

pub fn as_ts_fn_or_constructor_type(&self) -> Option<&TsFnOrConstructorType>

Returns Some if self is a reference of variant TsFnOrConstructorType, and None otherwise.

pub fn expect_ts_fn_or_constructor_type(self) -> TsFnOrConstructorType where
    Self: Debug, 

Unwraps the value, yielding the content of TsFnOrConstructorType.

Panics

Panics if the value is not TsFnOrConstructorType, with a panic message including the content of self.

pub fn ts_fn_or_constructor_type(self) -> Option<TsFnOrConstructorType>

Returns Some if self is of variant TsFnOrConstructorType, and None otherwise.

pub fn is_ts_type_ref(&self) -> bool

Returns true if self is of variant TsTypeRef.

pub fn as_ts_type_ref(&self) -> Option<&TsTypeRef>

Returns Some if self is a reference of variant TsTypeRef, and None otherwise.

pub fn expect_ts_type_ref(self) -> TsTypeRef where
    Self: Debug, 

Unwraps the value, yielding the content of TsTypeRef.

Panics

Panics if the value is not TsTypeRef, with a panic message including the content of self.

pub fn ts_type_ref(self) -> Option<TsTypeRef>

Returns Some if self is of variant TsTypeRef, and None otherwise.

pub fn is_ts_type_query(&self) -> bool

Returns true if self is of variant TsTypeQuery.

pub fn as_ts_type_query(&self) -> Option<&TsTypeQuery>

Returns Some if self is a reference of variant TsTypeQuery, and None otherwise.

pub fn expect_ts_type_query(self) -> TsTypeQuery where
    Self: Debug, 

Unwraps the value, yielding the content of TsTypeQuery.

Panics

Panics if the value is not TsTypeQuery, with a panic message including the content of self.

pub fn ts_type_query(self) -> Option<TsTypeQuery>

Returns Some if self is of variant TsTypeQuery, and None otherwise.

pub fn is_ts_type_lit(&self) -> bool

Returns true if self is of variant TsTypeLit.

pub fn as_ts_type_lit(&self) -> Option<&TsTypeLit>

Returns Some if self is a reference of variant TsTypeLit, and None otherwise.

pub fn expect_ts_type_lit(self) -> TsTypeLit where
    Self: Debug, 

Unwraps the value, yielding the content of TsTypeLit.

Panics

Panics if the value is not TsTypeLit, with a panic message including the content of self.

pub fn ts_type_lit(self) -> Option<TsTypeLit>

Returns Some if self is of variant TsTypeLit, and None otherwise.

pub fn is_ts_array_type(&self) -> bool

Returns true if self is of variant TsArrayType.

pub fn as_ts_array_type(&self) -> Option<&TsArrayType>

Returns Some if self is a reference of variant TsArrayType, and None otherwise.

pub fn expect_ts_array_type(self) -> TsArrayType where
    Self: Debug, 

Unwraps the value, yielding the content of TsArrayType.

Panics

Panics if the value is not TsArrayType, with a panic message including the content of self.

pub fn ts_array_type(self) -> Option<TsArrayType>

Returns Some if self is of variant TsArrayType, and None otherwise.

pub fn is_ts_tuple_type(&self) -> bool

Returns true if self is of variant TsTupleType.

pub fn as_ts_tuple_type(&self) -> Option<&TsTupleType>

Returns Some if self is a reference of variant TsTupleType, and None otherwise.

pub fn expect_ts_tuple_type(self) -> TsTupleType where
    Self: Debug, 

Unwraps the value, yielding the content of TsTupleType.

Panics

Panics if the value is not TsTupleType, with a panic message including the content of self.

pub fn ts_tuple_type(self) -> Option<TsTupleType>

Returns Some if self is of variant TsTupleType, and None otherwise.

pub fn is_ts_optional_type(&self) -> bool

Returns true if self is of variant TsOptionalType.

pub fn as_ts_optional_type(&self) -> Option<&TsOptionalType>

Returns Some if self is a reference of variant TsOptionalType, and None otherwise.

pub fn expect_ts_optional_type(self) -> TsOptionalType where
    Self: Debug, 

Unwraps the value, yielding the content of TsOptionalType.

Panics

Panics if the value is not TsOptionalType, with a panic message including the content of self.

pub fn ts_optional_type(self) -> Option<TsOptionalType>

Returns Some if self is of variant TsOptionalType, and None otherwise.

pub fn is_ts_rest_type(&self) -> bool

Returns true if self is of variant TsRestType.

pub fn as_ts_rest_type(&self) -> Option<&TsRestType>

Returns Some if self is a reference of variant TsRestType, and None otherwise.

pub fn expect_ts_rest_type(self) -> TsRestType where
    Self: Debug, 

Unwraps the value, yielding the content of TsRestType.

Panics

Panics if the value is not TsRestType, with a panic message including the content of self.

pub fn ts_rest_type(self) -> Option<TsRestType>

Returns Some if self is of variant TsRestType, and None otherwise.

pub fn is_ts_union_or_intersection_type(&self) -> bool

Returns true if self is of variant TsUnionOrIntersectionType.

pub fn as_ts_union_or_intersection_type(
    &self
) -> Option<&TsUnionOrIntersectionType>

Returns Some if self is a reference of variant TsUnionOrIntersectionType, and None otherwise.

pub fn expect_ts_union_or_intersection_type(self) -> TsUnionOrIntersectionType where
    Self: Debug, 

Unwraps the value, yielding the content of TsUnionOrIntersectionType.

Panics

Panics if the value is not TsUnionOrIntersectionType, with a panic message including the content of self.

pub fn ts_union_or_intersection_type(self) -> Option<TsUnionOrIntersectionType>

Returns Some if self is of variant TsUnionOrIntersectionType, and None otherwise.

pub fn is_ts_conditional_type(&self) -> bool

Returns true if self is of variant TsConditionalType.

pub fn as_ts_conditional_type(&self) -> Option<&TsConditionalType>

Returns Some if self is a reference of variant TsConditionalType, and None otherwise.

pub fn expect_ts_conditional_type(self) -> TsConditionalType where
    Self: Debug, 

Unwraps the value, yielding the content of TsConditionalType.

Panics

Panics if the value is not TsConditionalType, with a panic message including the content of self.

pub fn ts_conditional_type(self) -> Option<TsConditionalType>

Returns Some if self is of variant TsConditionalType, and None otherwise.

pub fn is_ts_infer_type(&self) -> bool

Returns true if self is of variant TsInferType.

pub fn as_ts_infer_type(&self) -> Option<&TsInferType>

Returns Some if self is a reference of variant TsInferType, and None otherwise.

pub fn expect_ts_infer_type(self) -> TsInferType where
    Self: Debug, 

Unwraps the value, yielding the content of TsInferType.

Panics

Panics if the value is not TsInferType, with a panic message including the content of self.

pub fn ts_infer_type(self) -> Option<TsInferType>

Returns Some if self is of variant TsInferType, and None otherwise.

pub fn is_ts_parenthesized_type(&self) -> bool

Returns true if self is of variant TsParenthesizedType.

pub fn as_ts_parenthesized_type(&self) -> Option<&TsParenthesizedType>

Returns Some if self is a reference of variant TsParenthesizedType, and None otherwise.

pub fn expect_ts_parenthesized_type(self) -> TsParenthesizedType where
    Self: Debug, 

Unwraps the value, yielding the content of TsParenthesizedType.

Panics

Panics if the value is not TsParenthesizedType, with a panic message including the content of self.

pub fn ts_parenthesized_type(self) -> Option<TsParenthesizedType>

Returns Some if self is of variant TsParenthesizedType, and None otherwise.

pub fn is_ts_type_operator(&self) -> bool

Returns true if self is of variant TsTypeOperator.

pub fn as_ts_type_operator(&self) -> Option<&TsTypeOperator>

Returns Some if self is a reference of variant TsTypeOperator, and None otherwise.

pub fn expect_ts_type_operator(self) -> TsTypeOperator where
    Self: Debug, 

Unwraps the value, yielding the content of TsTypeOperator.

Panics

Panics if the value is not TsTypeOperator, with a panic message including the content of self.

pub fn ts_type_operator(self) -> Option<TsTypeOperator>

Returns Some if self is of variant TsTypeOperator, and None otherwise.

pub fn is_ts_indexed_access_type(&self) -> bool

Returns true if self is of variant TsIndexedAccessType.

pub fn as_ts_indexed_access_type(&self) -> Option<&TsIndexedAccessType>

Returns Some if self is a reference of variant TsIndexedAccessType, and None otherwise.

pub fn expect_ts_indexed_access_type(self) -> TsIndexedAccessType where
    Self: Debug, 

Unwraps the value, yielding the content of TsIndexedAccessType.

Panics

Panics if the value is not TsIndexedAccessType, with a panic message including the content of self.

pub fn ts_indexed_access_type(self) -> Option<TsIndexedAccessType>

Returns Some if self is of variant TsIndexedAccessType, and None otherwise.

pub fn is_ts_mapped_type(&self) -> bool

Returns true if self is of variant TsMappedType.

pub fn as_ts_mapped_type(&self) -> Option<&TsMappedType>

Returns Some if self is a reference of variant TsMappedType, and None otherwise.

pub fn expect_ts_mapped_type(self) -> TsMappedType where
    Self: Debug, 

Unwraps the value, yielding the content of TsMappedType.

Panics

Panics if the value is not TsMappedType, with a panic message including the content of self.

pub fn ts_mapped_type(self) -> Option<TsMappedType>

Returns Some if self is of variant TsMappedType, and None otherwise.

pub fn is_ts_lit_type(&self) -> bool

Returns true if self is of variant TsLitType.

pub fn as_ts_lit_type(&self) -> Option<&TsLitType>

Returns Some if self is a reference of variant TsLitType, and None otherwise.

pub fn expect_ts_lit_type(self) -> TsLitType where
    Self: Debug, 

Unwraps the value, yielding the content of TsLitType.

Panics

Panics if the value is not TsLitType, with a panic message including the content of self.

pub fn ts_lit_type(self) -> Option<TsLitType>

Returns Some if self is of variant TsLitType, and None otherwise.

pub fn is_ts_type_predicate(&self) -> bool

Returns true if self is of variant TsTypePredicate.

pub fn as_ts_type_predicate(&self) -> Option<&TsTypePredicate>

Returns Some if self is a reference of variant TsTypePredicate, and None otherwise.

pub fn expect_ts_type_predicate(self) -> TsTypePredicate where
    Self: Debug, 

Unwraps the value, yielding the content of TsTypePredicate.

Panics

Panics if the value is not TsTypePredicate, with a panic message including the content of self.

pub fn ts_type_predicate(self) -> Option<TsTypePredicate>

Returns Some if self is of variant TsTypePredicate, and None otherwise.

pub fn is_ts_import_type(&self) -> bool

Returns true if self is of variant TsImportType.

pub fn as_ts_import_type(&self) -> Option<&TsImportType>

Returns Some if self is a reference of variant TsImportType, and None otherwise.

pub fn expect_ts_import_type(self) -> TsImportType where
    Self: Debug, 

Unwraps the value, yielding the content of TsImportType.

Panics

Panics if the value is not TsImportType, with a panic message including the content of self.

pub fn ts_import_type(self) -> Option<TsImportType>

Returns Some if self is of variant TsImportType, and None otherwise.

Trait Implementations

impl<'arbitrary> Arbitrary<'arbitrary> for TsType

fn arbitrary(u: &mut Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the given unstructured data.

fn arbitrary_take_rest(u: Unstructured<'arbitrary>) -> Result<Self>

Generate an arbitrary value of Self from the entirety of the given unstructured data.

fn size_hint(depth: usize) -> (usize, Option<usize>)

Get a size hint for how many bytes out of an Unstructured this type needs to construct itself.

impl Archive for TsType

type Archived = ArchivedTsType

The archived representation of this type.

type Resolver = TsTypeResolver

The resolver for this type. It must contain all the additional information from serializing needed to make the archived type from the normal type.

unsafe fn resolve(
    &self,
    pos: usize,
    resolver: Self::Resolver,
    out: *mut Self::Archived
)

Creates the archived version of this value at the given position and writes it to the given output.

impl Clone for TsType

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TsType

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TsType

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl<__D: Fallible + ?Sized> Deserialize<TsType, __D> for Archived<TsType>

fn deserialize(&self, deserializer: &mut __D) -> Result<TsType, __D::Error>

Deserializes using the given deserializer

impl EqIgnoreSpan for TsType

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

impl From<TsArrayType> for TsType

fn from(v: TsArrayType) -> Self

Performs the conversion.

impl From<TsConditionalType> for TsType

fn from(v: TsConditionalType) -> Self

Performs the conversion.

impl From<TsConstructorType> for TsType

fn from(t: TsConstructorType) -> Self

Performs the conversion.

impl From<TsFnOrConstructorType> for TsType

fn from(v: TsFnOrConstructorType) -> Self

Performs the conversion.

impl From<TsFnType> for TsType

fn from(t: TsFnType) -> Self

Performs the conversion.

impl From<TsImportType> for TsType

fn from(v: TsImportType) -> Self

Performs the conversion.

impl From<TsIndexedAccessType> for TsType

fn from(v: TsIndexedAccessType) -> Self

Performs the conversion.

impl From<TsInferType> for TsType

fn from(v: TsInferType) -> Self

Performs the conversion.

impl From<TsIntersectionType> for TsType

fn from(t: TsIntersectionType) -> Self

Performs the conversion.

impl From<TsKeywordType> for TsType

fn from(v: TsKeywordType) -> Self

Performs the conversion.

impl From<TsLitType> for TsType

fn from(v: TsLitType) -> Self

Performs the conversion.

impl From<TsMappedType> for TsType

fn from(v: TsMappedType) -> Self

Performs the conversion.

impl From<TsOptionalType> for TsType

fn from(v: TsOptionalType) -> Self

Performs the conversion.

impl From<TsParenthesizedType> for TsType

fn from(v: TsParenthesizedType) -> Self

Performs the conversion.

impl From<TsRestType> for TsType

fn from(v: TsRestType) -> Self

Performs the conversion.

impl From<TsThisType> for TsType

fn from(v: TsThisType) -> Self

Performs the conversion.

impl From<TsTupleType> for TsType

fn from(v: TsTupleType) -> Self

Performs the conversion.

impl From<TsTypeLit> for TsType

fn from(v: TsTypeLit) -> Self

Performs the conversion.

impl From<TsTypeOperator> for TsType

fn from(v: TsTypeOperator) -> Self

Performs the conversion.

impl From<TsTypePredicate> for TsType

fn from(v: TsTypePredicate) -> Self

Performs the conversion.

impl From<TsTypeQuery> for TsType

fn from(v: TsTypeQuery) -> Self

Performs the conversion.

impl From<TsTypeRef> for TsType

fn from(v: TsTypeRef) -> Self

Performs the conversion.

impl From<TsUnionOrIntersectionType> for TsType

fn from(v: TsUnionOrIntersectionType) -> Self

Performs the conversion.

impl From<TsUnionType> for TsType

fn from(t: TsUnionType) -> Self

Performs the conversion.

impl Hash for TsType

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<TsType> for TsType

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Serialize for TsType

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl<__S: Fallible + ?Sized> Serialize<__S> for TsType where
    __S: Serializer + ScratchSpace, 

fn serialize(&self, serializer: &mut __S) -> Result<Self::Resolver, __S::Error>

Writes the dependencies for the object and returns a resolver that can create the archived type.

impl Spanned for TsType

fn span(&self) -> Span

Get span of self.

impl Eq for TsType

impl StructuralEq for TsType

impl StructuralPartialEq for TsType