Enum sophia_term::matcher::AnyOrExactly

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

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

Variants

Any

Match any term.

Exactly(T)

Match only this term.

Trait Implementations

impl<T> From<Option<T>> for AnyOrExactly<T> where
    T: TTerm, 

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

Performs the conversion.

impl<U> GraphNameMatcher for AnyOrExactly<Option<U>> where
    U: TTerm, 

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<U> TermMatcher for AnyOrExactly<U> where
    U: TTerm, 

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.