Enum sophia_term::matcher::AnyOrExactlyRef

pub enum AnyOrExactlyRef<T> {
    Any,
    Exactly(T),
}

A matcher matching either any term, or only a specific borrowed term.

Variants

Any

Match any term.

Exactly(T)

Match only this term.

Trait Implementations

impl<T> From<Option<T>> for AnyOrExactlyRef<T>

fn from(other: Option<T>) -> AnyOrExactlyRef<T>

Performs the conversion.

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

type Term = U

Type of TTerm used internally by this matcher.

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

If this matcher matches only one graph name, return it, else None.

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

Check whether this matcher matches g.

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

type Term = U

Type of TTerm used internally by this matcher.

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

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.