Trait TermMatcher

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

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

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

Generic trait for matching Terms.

Required Associated Types

type Term: Term + ?Sized

The type of term that this TermMatcher contains

Required Methods

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

Check whether this matcher matches t.

Provided Methods

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

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

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

fn gn(self) -> TermMatcherGn<Self>

where Self: Sized,

Converts this TermMatcher into a GraphNameMatcher

If you only want to borrow this matcher as a GraphNameMatcher, call gn on the result of matcher_ref.

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

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

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<S, P, O> TermMatcher for (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, term: &T2) -> bool

impl<T> TermMatcher for &[T]

where T: Term,

Matches any of the terms in the slice.

type Term = T

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

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

impl<T> TermMatcher for Option<T>

where T: Term,

Matches the wrapped term if any, otherwise matches nothing.

type Term = T

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

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

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

where T: Term,

Matches any of the terms in the array.

type Term = T

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

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

Implementors

impl TermMatcher for TermKind

Matches any term if the given kind

type Term = SimpleTerm<'static>

impl TermMatcher for Any

type Term = SimpleTerm<'static>

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

type Term = <T as TermMatcher>::Term

impl<F> TermMatcher for F

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

Matches any term satisfying the function.

type Term = SimpleTerm<'static>

impl<T: Borrow<str>> TermMatcher for DatatypeMatcher<T>

type Term = SimpleTerm<'static>

impl<T: Borrow<str>> TermMatcher for LanguageTagMatcher<T>

type Term = SimpleTerm<'static>