Enum PredicateValue

pub enum PredicateValue {
    Simple(SimpleValue),
    Sequence(SequenceOfPredicateValues),
}

Variants

Simple(SimpleValue)

Sequence(SequenceOfPredicateValues)

Implementations

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

impl Clone for PredicateValue

fn clone(&self) -> PredicateValue

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PredicateValue

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PredicateValue

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<PredicateValue> for FunctionBody

fn from(value: PredicateValue) -> FunctionBody

Converts to this type from the input type.

impl From<PredicateValue> for Term

fn from(v: PredicateValue) -> Self

Converts to this type from the input type.

impl From<SequenceOfPredicateValues> for PredicateValue

fn from(v: SequenceOfPredicateValues) -> Self

Converts to this type from the input type.

impl<T> From<T> for PredicateValue

where T: Into<SimpleValue>,

fn from(v: T) -> Self

Converts to this type from the input type.

impl Serialize for PredicateValue

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.