Enum QueryKind 

pub enum QueryKind {
    ImportThir {
        input: Vec<Item<ThirBody>>,
        translation_options: TranslationOptions,
    },
    ApplyPhases {
        phases: Vec<String>,
        input: Vec<Item>,
    },
    Print {
        printer: Backend<()>,
        input: Vec<Item>,
    },
}

The payload of the query. Response below mirrors this enum to represent the response from the engine.

Variants

ImportThir

Ask the OCaml engine to import the given THIR from the frontend

Fields

input: Vec<Item<ThirBody>>

The input THIR items

translation_options: TranslationOptions

Translation options which contains include clauses (items filtering)

ApplyPhases

Ask the OCaml engine to run given phases on given items

Fields

phases: Vec<String>

The phases to run. See untyped_phases.ml.

input: Vec<Item>

The items on which the phases will be applied.

Print

Ask the OCaml engine to call an OCaml printer

Fields

printer: Backend<()>

Which printer to use

input: Vec<Item>

The items after applying the phases.

Implementations

impl QueryKind

pub fn execute(self, table: Option<Table>) -> Option<Response>

Execute the query synchronously.

Trait Implementations

impl Clone for QueryKind

fn clone(&self) -> QueryKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QueryKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for QueryKind

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for QueryKind

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for QueryKind

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

where __S: Serializer,

Serialize this value into the given Serde serializer.