Trait json_ld::object::MappedEq

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

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

Required Associated Types

type BlankId

Required Methods

fn mapped_eq<'a, 'b, F>(&'a self, other: &T, f: F) -> bool

where F: Clone + Fn(&'a Self::BlankId) -> &'b Self::BlankId, 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 U> for &'t T

where T: MappedEq<U>,

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

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

where F: Clone + Fn(&'a <&'t T as MappedEq<&'u U>>::BlankId) -> &'b <&'t T as MappedEq<&'u U>>::BlankId, <&'t T as MappedEq<&'u U>>::BlankId: 'a + 'b,

impl<T> MappedEq for Option<T>

where T: MappedEq,

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F>(&'a self, other: &Option<T>, f: F) -> bool

where F: Clone + Fn(&'a <Option<T> as MappedEq>::BlankId) -> &'b <Option<T> as MappedEq>::BlankId, <Option<T> as MappedEq>::BlankId: 'a + 'b,

impl<T> MappedEq for [T]

where T: MappedEq,

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F>(&'a self, other: &[T], f: F) -> bool

where F: Clone + Fn(&'a <[T] as MappedEq>::BlankId) -> &'b <[T] as MappedEq>::BlankId, <[T] as MappedEq>::BlankId: 'a + 'b,

impl<T> MappedEq for Vec<T>

where T: MappedEq,

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F>(&'a self, other: &Vec<T>, f: F) -> bool

where F: Clone + Fn(&'a <Vec<T> as MappedEq>::BlankId) -> &'b <Vec<T> as MappedEq>::BlankId, <Vec<T> as MappedEq>::BlankId: 'a + 'b,

impl<T> MappedEq for IndexSet<T>

where T: MappedEq,

type BlankId = <T as MappedEq>::BlankId

fn mapped_eq<'a, 'b, F>(&'a self, other: &IndexSet<T>, f: F) -> bool

where F: Clone + Fn(&'a <IndexSet<T> as MappedEq>::BlankId) -> &'b <IndexSet<T> as MappedEq>::BlankId, <IndexSet<T> as MappedEq>::BlankId: 'a + 'b,

Implementors

impl<T> MappedEq for Indexed<T>

where T: MappedEq,

type BlankId = <T as MappedEq>::BlankId

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

where T: PartialEq, B: PartialEq,

type BlankId = B

impl<T, B> MappedEq for Object<T, B>

where T: Eq + Hash, B: Eq + Hash,

type BlankId = B

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

where T: PartialEq, B: PartialEq,

type BlankId = B

impl<T, B> MappedEq for Node<T, B>

where T: Eq + Hash, B: Eq + Hash,

type BlankId = B

impl<T, B> MappedEq for Properties<T, B>

where T: Eq + Hash, B: Eq + Hash,

type BlankId = B

impl<T, B> MappedEq for ReverseProperties<T, B>

where T: Eq + Hash, B: Eq + Hash,

type BlankId = B

impl<T, B> MappedEq for List<T, B>

where T: Eq + Hash, B: Eq + Hash,

type BlankId = B