Trait sophia_api::term::matcher::GraphNameMatcher

pub trait GraphNameMatcher {
    type Term: Term + ?Sized;

    // Required method
    fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool;

    // Provided methods
    fn constant(&self) -> Option<GraphName<&Self::Term>> { ... }
    fn matcher_ref(&self) -> MatcherRef<'_, Self> { ... }
}

Generic trait for matching GraphNames.

Required Associated Types

type Term: Term + ?Sized

The type of term that this GraphNameMatcher contains

Required Methods

fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool

Check whether this matcher matches t.

Provided Methods

fn constant(&self) -> Option<GraphName<&Self::Term>>

Return None, unless this matcher can only match a single graph name, in which case this method may return that graph name.

This method is provided for optimization purposes, so implementing it is optional.

fn matcher_ref(&self) -> MatcherRef<'_, Self>

Return a GraphNameMatcher that is actually just a reference to this one.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl GraphNameMatcher for Option<TermKind>

type Term = SimpleTerm<'static>

fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool

impl<S, P, O> GraphNameMatcher for Option<(S, P, O)>

where S: TermMatcher, P: TermMatcher, O: TermMatcher,

Matches only embedded triple whose components match the corresponding matchers.

type Term = <S as TermMatcher>::Term

fn matches<T2: Term + ?Sized>(&self, graph_name: Option<&T2>) -> bool

impl<T> GraphNameMatcher for &[GraphName<T>]

where T: Term,

type Term = T

fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool

fn constant(&self) -> Option<GraphName<&Self::Term>>

impl<T> GraphNameMatcher for Option<Option<T>>

where T: Term,

type Term = T

fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool

fn constant(&self) -> Option<GraphName<&Self::Term>>

impl<T, const N: usize> GraphNameMatcher for [GraphName<T>; N]

where T: Term,

type Term = T

fn matches<T2: Term + ?Sized>(&self, graph_name: GraphName<&T2>) -> bool

fn constant(&self) -> Option<GraphName<&Self::Term>>

Implementors

impl GraphNameMatcher for Any

type Term = SimpleTerm<'static>

impl<'a, T: GraphNameMatcher + ?Sized> GraphNameMatcher for MatcherRef<'a, T>

type Term = <T as GraphNameMatcher>::Term

impl<F> GraphNameMatcher for F

where F: Fn(GraphName<SimpleTerm<'_>>) -> bool + ?Sized,

type Term = SimpleTerm<'static>

impl<M> GraphNameMatcher for TermMatcherGn<M>

where M: TermMatcher,

type Term = <M as TermMatcher>::Term