Struct stc_ts_file_analyzer::ty::Union

pub struct Union {
    pub span: Span,
    pub types: Vec<Type, Global>,
    pub metadata: UnionMetadata,
    pub tracker: Tracker<"Union">,
}

a | b

Fields

span: Span

types: Vec<Type, Global>

metadata: UnionMetadata

tracker: Tracker<"Union">

Implementations

impl Union

pub fn assert_valid(&self)

Trait Implementations

impl Clone for Union

fn clone(&self) -> Union

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Union

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Union

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

Deserialize this value from the given Serde deserializer.

impl EqIgnoreSpan for Union

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

impl Fix for Union

fn fix(&mut self)

fn fixed(self) -> Self

impl Fold<Union> for Simplifier<'_>

fn fold(&mut self, union: Union) -> Union

impl Fold<Union> for TypeFactsHandler<'_, '_, '_>

fn fold(&mut self, u: Union) -> Union

impl<V> FoldWith<V> for Unionwhere
    V: ?Sized,

fn fold_children_with(self, _visitor: &mut V) -> Union

fn fold_with(self, visitor: &mut V) -> Selfwhere
    V: Fold<Self>,

impl From<Union> for Type

fn from(v: Union) -> Type

Converts to this type from the input type.

impl PartialEq<Union> for Union

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl RemoveTypes for Union

fn remove_falsy(self) -> Type

Removes falsy values from self.

fn remove_truthy(self) -> Type

Removes truthy values from self.

impl Serialize for Union

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

Serialize this value into the given Serde serializer.

impl Spanned for Union

fn span(&self) -> Span

Get span of self.

fn span_lo(&self) -> BytePos

fn span_hi(&self) -> BytePos

impl TypeEq for Union

fn type_eq(&self, other: &Union) -> bool

Note: This method should return true for non-type values.

impl Valid for Union

fn is_valid(&self) -> bool

impl Visit<Union> for ValidityChecker

fn visit(&mut self, ty: &Union)

impl<V> VisitMutWith<V> for Unionwhere
    V: ?Sized,

fn visit_mut_children_with(&mut self, _visitor: &mut V)

fn visit_mut_with(&mut self, visitor: &mut V)where
    V: VisitMut<Self>,

impl<V> VisitWith<V> for Unionwhere
    V: ?Sized,

fn visit_children_with(&self, _visitor: &mut V)

fn visit_with(&self, visitor: &mut V)where
    V: Visit<Self>,

impl StructuralPartialEq for Union

impl Visitable for Union