pub enum PredicateValue {
Simple(SimpleValue),
Sequence(SequenceOfPredicateValues),
}
Variants§
Simple(SimpleValue)
Sequence(SequenceOfPredicateValues)
Implementations§
Source§impl PredicateValue
impl PredicateValue
pub const fn is_simple(&self) -> bool
pub const fn as_simple(&self) -> Option<&SimpleValue>
pub const fn is_sequence(&self) -> bool
pub const fn as_sequence(&self) -> Option<&SequenceOfPredicateValues>
Trait Implementations§
Source§impl Clone for PredicateValue
impl Clone for PredicateValue
Source§fn clone(&self) -> PredicateValue
fn clone(&self) -> PredicateValue
Returns a duplicate 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 Debug for PredicateValue
impl Debug for PredicateValue
Source§impl<'de> Deserialize<'de> for PredicateValue
impl<'de> Deserialize<'de> for PredicateValue
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl From<PredicateValue> for FunctionBody
impl From<PredicateValue> for FunctionBody
Source§fn from(value: PredicateValue) -> FunctionBody
fn from(value: PredicateValue) -> FunctionBody
Converts to this type from the input type.
Source§impl From<PredicateValue> for Term
impl From<PredicateValue> for Term
Source§fn from(v: PredicateValue) -> Self
fn from(v: PredicateValue) -> Self
Converts to this type from the input type.
Source§impl From<SequenceOfPredicateValues> for PredicateValue
impl From<SequenceOfPredicateValues> for PredicateValue
Source§fn from(v: SequenceOfPredicateValues) -> Self
fn from(v: SequenceOfPredicateValues) -> Self
Converts to this type from the input type.
Source§impl<T> From<T> for PredicateValuewhere
T: Into<SimpleValue>,
impl<T> From<T> for PredicateValuewhere
T: Into<SimpleValue>,
Auto Trait Implementations§
impl Freeze for PredicateValue
impl RefUnwindSafe for PredicateValue
impl Send for PredicateValue
impl Sync for PredicateValue
impl Unpin for PredicateValue
impl UnwindSafe for PredicateValue
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