Trait MappedEq

pub trait MappedEq<T: ?Sized = Self> {
    type BlankId;

    // Required method
    fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>(
        &'a self,
        other: &T,
        f: F,
    ) -> bool
       where Self::BlankId: 'a + 'b;
}

Required Associated Types

type BlankId

Required Methods

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &T, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

Structural equality with mapped blank identifiers.

Does not care for metadata.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<'u, 't, U, T: MappedEq<U>> MappedEq<&'u U> for &'t T

type BlankId = <T as MappedEq<U>>::BlankId

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &&'u U, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

impl<T: MappedEq> MappedEq for Option<T>

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &Self, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

impl<T: MappedEq> MappedEq for [T]

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &Self, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

impl<T: MappedEq> MappedEq for Vec<T>

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &Self, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

impl<T: MappedEq> MappedEq for IndexSet<T>

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId>( &'a self, other: &Self, f: F, ) -> bool

where Self::BlankId: 'a + 'b,

Implementors

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for Object<T, B>

type BlankId = B

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for List<T, B>

type BlankId = B

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for Properties<T, B>

type BlankId = B

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for ReverseProperties<T, B>

type BlankId = B

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for Node<T, B>

type BlankId = B

impl<T: PartialEq, B: PartialEq> MappedEq for Id<T, B>

type BlankId = B

impl<T: PartialEq, B: PartialEq> MappedEq for ValidId<T, B>

type BlankId = B

impl<T: MappedEq> MappedEq for Indexed<T>

type BlankId = <T as MappedEq>::BlankId