Enum polar_core::events::QueryEvent [−][src]
pub enum QueryEvent {
Show 13 variants
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,
},
Result {
bindings: Bindings,
trace: Option<TraceResult>,
},
ExternalOp {
call_id: u64,
operator: Operator,
args: TermList,
},
NextExternal {
call_id: u64,
iterable: Term,
},
}
Variants
This runnable is complete with result
.
Fields of Done
result: bool
Run runnable
, and report the result to its parent using call_id
when it completes.
Fields of Debug
message: String
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.
Checks if the instance is an instance of (a subclass of) the class_tag.
Starting from base_tag
, traverse path
fields and check if the result is an instance of
class_tag
.
Checks if the left is more specific than right with respect to instance.
Fields of ExternalIsSubSpecializer
Checks if left class tag is a subclass or the same class as right.
Fields of Result
bindings: Bindings
trace: Option<TraceResult>
Trait Implementations
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
Auto Trait Implementations
impl !RefUnwindSafe for QueryEvent
impl !Send for QueryEvent
impl !Sync for QueryEvent
impl Unpin for QueryEvent
impl !UnwindSafe for QueryEvent
Blanket Implementations
Mutably borrows from an owned value. Read more