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;
}

Equality up to a renaming of blank node identifiers.

Required Associated Types

type BlankId

Blank node identifier type the renaming applies to.

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".

Implementations on Foreign Types

impl<'u, U, T: MappedEq<U>> MappedEq<&'u U> for &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 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 [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 List<T, B>

type BlankId = B

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

type BlankId = B

impl<T: Eq + Hash, B: Eq + Hash> MappedEq for Object<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: MappedEq> MappedEq for IndexSet<T>

type BlankId = <T as MappedEq>::BlankId

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

type BlankId = <T as MappedEq>::BlankId

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