Enum PhraseResult

pub enum PhraseResult {
    BooleanQuery(PhraseResultBooleanQuery),
    InstanceQuery(PhraseResultInstanceQuery),
    StateChange(PhraseResultStateChange),
}

Defines the execution result of a particular Phrase.

There are three variants:

• Boolean queries encodes the result to a boolean query (no way!);

Variants

BooleanQuery(PhraseResultBooleanQuery)

Encodes the result to a boolean query, i.e., to:

?citizen(Amy).
query successful  // <-- this

InstanceQuery(PhraseResultInstanceQuery)

Encodes the result to an instance query, i.e., to:

?- citizen.
citizen(string("Bob"))  // <-- these
citizen(string("Amy"))  // <-- these

StateChange(PhraseResultStateChange)

Encodes the result to phrases that induce state changes, i.e., to:

+citizen(Amy).
+citizen(string("Amy"))  // <-- this

Trait Implementations

impl Clone for PhraseResult

fn clone(&self) -> PhraseResult

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PhraseResult

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PhraseResult

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl EnumDebug for PhraseResult

fn type_name() -> &'static str

Returns the static name of the type used for EnumDebug-printing.

fn variant_names() -> &'static [&'static str]

Returns all variants in the trait as a list of names.

fn variant_name(&self) -> &'static str

Returns the static name of the variant.

fn variant(&self) -> EnumDebugFormatter<'_, Self>

Returns a formatter for this enum that writes its variant name.

fn variants() -> Copied<Iter<'static, &'static str>>

Returns an iterator over all variants in this enum.

impl Serialize for PhraseResult

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

where __S: Serializer,

Serialize this value into the given Serde serializer.