Trait TypeEq

pub trait TypeEq {
    // Required method
    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.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl TypeEq for bool

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

impl TypeEq for char

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 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 isize

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

impl TypeEq for str

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 usize

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

impl TypeEq for BigInt

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

impl TypeEq for String

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

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

where N: TypeEq,

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 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<N> TypeEq for RefCell<N>

where N: TypeEq,

fn type_eq(&self, other: &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: PartialEq> TypeEq for Atom<S>

fn type_eq(&self, other: &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 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<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,