pub struct DatatypeMatcher<T: Borrow<str>>(/* private fields */);
Expand description
A TermMatcher
that matches all literals with a given datatype
Implementations§
Trait Implementations§
Source§impl<T: Clone + Borrow<str>> Clone for DatatypeMatcher<T>
impl<T: Clone + Borrow<str>> Clone for DatatypeMatcher<T>
Source§fn clone(&self) -> DatatypeMatcher<T>
fn clone(&self) -> DatatypeMatcher<T>
Returns a copy of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moreSource§impl<T: Borrow<str>> TermMatcher for DatatypeMatcher<T>
impl<T: Borrow<str>> TermMatcher for DatatypeMatcher<T>
Source§type Term = SimpleTerm<'static>
type Term = SimpleTerm<'static>
The type of term that this TermMatcher contains
Source§fn constant(&self) -> Option<&Self::Term>
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. Read moreSource§fn gn(self) -> TermMatcherGn<Self>where
Self: Sized,
fn gn(self) -> TermMatcherGn<Self>where
Self: Sized,
Source§fn matcher_ref(&self) -> MatcherRef<'_, Self>
fn matcher_ref(&self) -> MatcherRef<'_, Self>
Return a
TermMatcher
that is actually just a reference to this one.impl<T: Copy + Borrow<str>> Copy for DatatypeMatcher<T>
Auto Trait Implementations§
impl<T> Freeze for DatatypeMatcher<T>where
T: Freeze,
impl<T> RefUnwindSafe for DatatypeMatcher<T>where
T: RefUnwindSafe,
impl<T> Send for DatatypeMatcher<T>where
T: Send,
impl<T> Sync for DatatypeMatcher<T>where
T: Sync,
impl<T> Unpin for DatatypeMatcher<T>where
T: Unpin,
impl<T> UnwindSafe for DatatypeMatcher<T>where
T: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more