Enum polar_core::events::QueryEvent

#[must_use]pub enum QueryEvent {
    None,
    Done,
    Debug {
        message: String,
    },
    MakeExternal {
        instance_id: u64,
        constructor: Term,
    },
    ExternalCall {
        call_id: u64,
        instance: Term,
        attribute: Symbol,
        args: Option<Vec<Term>>,
    },
    ExternalIsa {
        call_id: u64,
        instance: Term,
        class_tag: Symbol,
    },
    ExternalIsSubSpecializer {
        call_id: u64,
        instance_id: u64,
        left_class_tag: Symbol,
        right_class_tag: Symbol,
    },
    ExternalUnify {
        call_id: u64,
        left_instance_id: u64,
        right_instance_id: u64,
    },
    Result {
        bindings: Bindings,
        trace: Option<TraceResult>,
    },
    ExternalOp {
        call_id: u64,
        operator: Operator,
        args: TermList,
    },
}

Variants

None

Done

Debug

Fields of Debug

message: String

MakeExternal

Fields of MakeExternal

instance_id: u64constructor: Term

ExternalCall

Fields of ExternalCall

call_id: u64

Persistent id across all requests for results from the same external call.

instance: Term

The external instance to make this call on.

attribute: Symbol

Field name to lookup or method name to call. A class name indicates a constructor should be called.

args: Option<Vec<Term>>

List of arguments to use if this is a method call.

ExternalIsa

Checks if the instance is an instance of (a subclass of) the class_tag.

Fields of ExternalIsa

call_id: u64instance: Termclass_tag: Symbol

ExternalIsSubSpecializer

Checks if the instance is more specifically and instance/subclass of A than B.

Fields of ExternalIsSubSpecializer

call_id: u64instance_id: u64left_class_tag: Symbolright_class_tag: Symbol

ExternalUnify

Unifies two external instances.

Fields of ExternalUnify

call_id: u64left_instance_id: u64right_instance_id: u64

Result

Fields of Result

bindings: Bindingstrace: Option<TraceResult>

ExternalOp

Fields of ExternalOp

call_id: u64operator: Operatorargs: TermList

Trait Implementations

impl Clone for QueryEvent

fn clone(&self) -> QueryEvent

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for QueryEvent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for QueryEvent

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for QueryEvent

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

Serialize this value into the given Serde serializer.