Trait swc_common::TypeEq

pub trait TypeEq {
    fn type_eq(&self, other: &Self) -> bool;
}

Derive with #[derive(TypeEq)].

Required Methods

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

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

Implementations on Foreign Types

impl<T> TypeEq for Option<T>where
    T: TypeEq,

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

impl<T> TypeEq for Vec<T>where
    T: TypeEq,

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

impl TypeEq for bool

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

impl TypeEq for usize

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

impl TypeEq for u8

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

impl TypeEq for u16

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

impl TypeEq for u32

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

impl TypeEq for u64

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

impl TypeEq for u128

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

impl TypeEq for isize

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

impl TypeEq for i8

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

impl TypeEq for i16

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

impl TypeEq for i32

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

impl TypeEq for i64

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

impl TypeEq for i128

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

impl TypeEq for f32

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

impl TypeEq for f64

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

impl TypeEq for char

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

impl TypeEq for str

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

impl TypeEq for String

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

impl<S: PartialEq> TypeEq for Atom<S>

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

impl<N> TypeEq for Box<N>where
    N: TypeEq,

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

impl<N> TypeEq for Rc<N>where
    N: TypeEq,

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

impl<'a, N> TypeEq for &'a Nwhere
    N: TypeEq,

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

impl<N> TypeEq for RefCell<N>where
    N: TypeEq,

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

impl TypeEq for BigInt

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

impl<B: TypeEq, A: TypeEq> TypeEq for (B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<V: TypeEq, U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<W: TypeEq, V: TypeEq, U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (W, V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<X: TypeEq, W: TypeEq, V: TypeEq, U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (X, W, V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<Y: TypeEq, X: TypeEq, W: TypeEq, V: TypeEq, U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (Y, X, W, V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

impl<Z: TypeEq, Y: TypeEq, X: TypeEq, W: TypeEq, V: TypeEq, U: TypeEq, T: TypeEq, S: TypeEq, R: TypeEq, Q: TypeEq, P: TypeEq, O: TypeEq, N: TypeEq, M: TypeEq, L: TypeEq, K: TypeEq, J: TypeEq, I: TypeEq, H: TypeEq, G: TypeEq, F: TypeEq, E: TypeEq, D: TypeEq, C: TypeEq, B: TypeEq, A: TypeEq> TypeEq for (Z, Y, X, W, V, U, T, S, R, Q, P, O, N, M, L, K, J, I, H, G, F, E, D, C, B, A)

fn type_eq(&self, rhs: &Self) -> bool

Implementors

impl TypeEq for SyntaxContext

impl TypeEq for BytePos

impl TypeEq for Span

impl<N> TypeEq for Arc<N>where
    N: TypeEq,

impl TypeEq for NodeId

impl<T> TypeEq for ArcCow<T>where
    T: TypeEq + Take + Freeze,

impl TypeEq for RTsKeywordType

impl TypeEq for RTsThisType

impl TypeEq for RTsThisTypeOrIdent

impl TypeEq for RIdent

impl TypeEq for RTsEntityName

impl TypeEq for RTsNamespaceDecl

impl TypeEq for RTsEnumMemberId

impl TypeEq for RExpr

impl TypeEq for RPropName

impl TypeEq for RBool

impl TypeEq for RStr

impl TypeEq for RNumber

impl TypeEq for RBigInt

impl TypeEq for RTsLitType

impl TypeEq for RTsLit

impl TypeEq for BindingKind

impl TypeEq for ExpandOpts

impl TypeEq for PropertyName

impl TypeEq for ExpandGenericOpts

impl TypeEq for Id

impl TypeEq for StringMapping

impl TypeEq for IntrinsicKind

impl TypeEq for CommonTypeMetadata

impl TypeEq for UnionMetadata

impl TypeEq for IntersectionMetadata

impl TypeEq for KeywordTypeMetadata

impl TypeEq for LitTypeMetadata

impl TypeEq for TupleMetadata

impl TypeEq for SymbolMetadata

impl TypeEq for InstanceMetadata

impl TypeEq for ThisTypeMetadata

impl TypeEq for StaticThisMetadata

impl TypeEq for TplTypeMetadata

impl TypeEq for ArrayMetadata

impl TypeEq for QueryTypeMetadata

impl TypeEq for InferTypeMetadata

impl TypeEq for ImportTypeMetadata

impl TypeEq for PredicateMetadata

impl TypeEq for IndexedAccessTypeMetadata

impl TypeEq for RefMetadata

impl TypeEq for ConditionalMetadata

impl TypeEq for FunctionMetadata

impl TypeEq for ConstructorMetadata

impl TypeEq for OperatorMetadata

impl TypeEq for MappedMetadata

impl TypeEq for ClassMetadata

impl TypeEq for ClassDefMetadata

impl TypeEq for TypeParamMetadata

impl TypeEq for EnumVariantMetadata

impl TypeEq for InterfaceMetadata

impl TypeEq for AliasMetadata

impl TypeEq for EnumMetadata

impl TypeEq for StringMappingMetadata

impl TypeEq for RestTypeMetadata

impl TypeEq for OptionalTypeMetadata

impl TypeEq for NamespaceTypeMetadata

impl TypeEq for ModuleTypeMetadata

impl TypeEq for TypeLitMetadata

impl TypeEq for TypeElMetadata

impl TypeEq for ModuleId

impl<const N: &'static str> TypeEq for Tracker<N>

impl TypeEq for ClassId

impl TypeEq for SymbolId

impl TypeEq for ModuleTypeData

impl TypeEq for Type

impl TypeEq for Key

impl TypeEq for PrivateName

impl TypeEq for ComputedKey

impl TypeEq for Instance

impl TypeEq for LitType

impl TypeEq for KeywordType

impl TypeEq for Symbol

impl TypeEq for RestType

impl TypeEq for OptionalType

impl TypeEq for IndexedAccessType

impl TypeEq for Ref

impl TypeEq for InferType

impl TypeEq for QueryType

impl TypeEq for QueryExpr

impl TypeEq for ImportType

impl TypeEq for Namespace

impl TypeEq for Module

impl TypeEq for Enum

impl TypeEq for EnumMember

impl TypeEq for Class

impl TypeEq for ClassDef

impl TypeEq for ClassMember

impl TypeEq for Method

impl TypeEq for ClassProperty

impl TypeEq for Mapped

impl TypeEq for Conditional

impl TypeEq for Index

impl TypeEq for Readonly

impl TypeEq for Unique

impl TypeEq for Tuple

impl TypeEq for TupleElement

impl TypeEq for Alias

impl TypeEq for Interface

impl TypeEq for TypeLit

impl TypeEq for TypeParamDecl

impl TypeEq for TsExpr

impl TypeEq for TypeParamInstantiation

impl TypeEq for TypeElement

impl TypeEq for CallSignature

impl TypeEq for ConstructorSignature

impl TypeEq for PropertySignature

impl TypeEq for MethodSignature

impl TypeEq for IndexSignature

impl TypeEq for Array

impl TypeEq for Union

impl TypeEq for FnParam

impl TypeEq for Intersection

impl TypeEq for TypeParam

impl TypeEq for EnumVariant

impl TypeEq for Function

impl TypeEq for Constructor

impl TypeEq for Predicate

impl TypeEq for TypeOrSpread

impl TypeEq for StaticThis

impl TypeEq for ThisType

impl TypeEq for TplType

impl TypeEq for TplElem

impl TypeEq for Freezed

impl TypeEq for Accessor