pub struct KeywordType;Expand description
The @type keyword, as a type of its own.
Its Borrow<str> implementation yields "@type", which lets a
term lookup that is generic over the key type match the @type entry of a
context alongside ordinary terms.
Implementations§
Trait Implementations§
Source§impl Borrow<str> for KeywordType
impl Borrow<str> for KeywordType
Source§impl Clone for KeywordType
impl Clone for KeywordType
impl Copy for KeywordType
Source§impl Debug for KeywordType
impl Debug for KeywordType
impl Eq for KeywordType
Source§impl Hash for KeywordType
impl Hash for KeywordType
Source§impl Ord for KeywordType
impl Ord for KeywordType
1.21.0 (const: unstable) · Source§fn max(self, other: Self) -> Selfwhere
Self: Sized,
fn max(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the maximum of two values. Read more
1.21.0 (const: unstable) · Source§fn min(self, other: Self) -> Selfwhere
Self: Sized,
fn min(self, other: Self) -> Selfwhere
Self: Sized,
Compares and returns the minimum of two values. Read more
Source§impl PartialEq for KeywordType
impl PartialEq for KeywordType
Source§impl PartialOrd for KeywordType
impl PartialOrd for KeywordType
impl StructuralPartialEq for KeywordType
Auto Trait Implementations§
impl Freeze for KeywordType
impl RefUnwindSafe for KeywordType
impl Send for KeywordType
impl Sync for KeywordType
impl Unpin for KeywordType
impl UnsafeUnpin for KeywordType
impl UnwindSafe for KeywordType
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
Source§impl<T> BorrowUnordered for T
impl<T> BorrowUnordered for T
Source§fn as_unordered(&self) -> &Unordered<T>
fn as_unordered(&self) -> &Unordered<T>
Views this value as an
Unordered reference.impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Comparable<K> for Q
impl<Q, K> Comparable<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if
self is equivalent to key.Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.