Trait sophia_api::term::matcher::TermMatcher

pub trait TermMatcher {
    type Term: TTerm + ?Sized;
    fn constant(&self) -> Option<&Self::Term>;
    fn matches<T>(&self, t: &T) -> bool
    where
        T: TTerm + ?Sized;
}

Generic trait for matching TTerms.

Associated Types

type Term: TTerm + ?Sized

Type of TTerm used internally by this matcher.

Required methods

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

If this matcher matches only one term, return this term, else None.

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

Check whether this matcher matches t.

Implementations on Foreign Types

impl<U> TermMatcher for [&U] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 2] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 3] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 4] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 5] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 6] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 7] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 8] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 9] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 10] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 11] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for [&U; 12] where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<U> TermMatcher for Vec<&U> where
    U: TTerm + ?Sized, 

type Term = U

fn constant(&self) -> Option<&U>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

impl<F> TermMatcher for [F; 1] where
    F: Fn(&dyn TTerm) -> bool, 

type Term = SimpleIri<'static>

fn constant(&self) -> Option<&SimpleIri<'static>>

fn matches<T>(&self, t: &T) -> bool where
    T: TTerm + ?Sized, 

Implementors

impl TermMatcher for AnyTerm

type Term = SimpleIri<'static>

impl<'a, U> TermMatcher for AnyOrExactlyRef<&'a U> where
    U: TTerm + ?Sized, 

type Term = U

impl<U> TermMatcher for AnyOrExactly<U> where
    U: TTerm + Sized, 

type Term = U

impl<U> TermMatcher for U where
    U: TTerm + ?Sized, 

type Term = U