Enum polar_core::events::QueryEvent

pub enum QueryEvent {
    None,
    Done {
        result: bool,
    },
    Run {
        call_id: u64,
        runnable: Box<dyn Runnable>,
    },
    Debug {
        message: String,
    },
    MakeExternal {
        instance_id: u64,
        constructor: Term,
    },
    ExternalCall {
        call_id: u64,
        instance: Term,
        attribute: Symbol,
        args: Option<Vec<Term>>,
        kwargs: Option<BTreeMap<Symbol, Term>>,
    },
    ExternalIsa {
        call_id: u64,
        instance: Term,
        class_tag: Symbol,
    },
    ExternalIsaWithPath {
        call_id: u64,
        base_tag: Symbol,
        path: TermList,
        class_tag: Symbol,
    },
    ExternalIsSubSpecializer {
        call_id: u64,
        instance_id: u64,
        left_class_tag: Symbol,
        right_class_tag: Symbol,
    },
    ExternalIsSubclass {
        call_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,
    },
    NextExternal {
        call_id: u64,
        iterable: Term,
    },
}

Variants

None

Done

This runnable is complete with result.

Fields of Done

result: bool

Run

Run runnable, and report the result to its parent using call_id when it completes.

Fields of Run

call_id: u64runnable: Box<dyn Runnable>

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 a method call.

kwargs: Option<BTreeMap<Symbol, Term>>

A map of keyword arguments to 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

ExternalIsaWithPath

Starting from base_tag, traverse path fields and check if the result is an instance of class_tag.

Fields of ExternalIsaWithPath

call_id: u64base_tag: Symbolpath: TermListclass_tag: Symbol

ExternalIsSubSpecializer

Checks if the left is more specific than right with respect to instance.

Fields of ExternalIsSubSpecializer

call_id: u64instance_id: u64left_class_tag: Symbolright_class_tag: Symbol

ExternalIsSubclass

Checks if left class tag is a subclass or the same class as right.

Fields of ExternalIsSubclass

call_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

NextExternal

Fields of NextExternal

call_id: u64iterable: Term

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.