Trait rdf_types::interpretation::ReverseTermInterpretation

pub trait ReverseTermInterpretation: Interpretation {
    type IdRef<'a>
       where Self: 'a;
    type LiteralRef<'a>
       where Self: 'a;
    type Ids<'a>: Iterator<Item = Self::IdRef<'a>>
       where Self: 'a;
    type Literals<'a>: Iterator<Item = Self::LiteralRef<'a>>
       where Self: 'a;

    // Required methods
    fn ids_of(&self, id: &Self::Resource) -> Self::Ids<'_>;
    fn literals_of(&self, id: &Self::Resource) -> Self::Literals<'_>;

    // Provided methods
    fn terms_of(&self, id: &Self::Resource) -> TermsOf<'_, Self>  { ... }
    fn term_of(
        &self,
        id: &Self::Resource
    ) -> Option<Term<Self::IdRef<'_>, Self::LiteralRef<'_>>> { ... }
    fn has_term(&self, id: &Self::Resource) -> bool { ... }
}

Required Associated Types

type IdRef<'a> where Self: 'a

type LiteralRef<'a> where Self: 'a

type Ids<'a>: Iterator<Item = Self::IdRef<'a>> where Self: 'a

type Literals<'a>: Iterator<Item = Self::LiteralRef<'a>> where Self: 'a

Required Methods

fn ids_of(&self, id: &Self::Resource) -> Self::Ids<'_>

fn literals_of(&self, id: &Self::Resource) -> Self::Literals<'_>

Provided Methods

fn terms_of(&self, id: &Self::Resource) -> TermsOf<'_, Self>

fn term_of( &self, id: &Self::Resource ) -> Option<Term<Self::IdRef<'_>, Self::LiteralRef<'_>>>

fn has_term(&self, id: &Self::Resource) -> bool

Implementors

impl ReverseTermInterpretation for Indexed

type IdRef<'a> where Self: 'a = Id<&'a IriIndex, &'a BlankIdIndex>

type LiteralRef<'a> where Self: 'a = &'a LiteralIndex

type Ids<'a> = IdsOf<'a, Indexed>

type Literals<'a> = Flatten<IntoIter<Iter<'a, LiteralIndex>>>