Trait json_ld_core::object::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.

Object Safety

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