Skip to main content

Query

Struct Query 

Source
pub struct Query<A> {
    pub attrs: Attrs,
    pub sources: Vec<Source<A>>,
    pub predicate: Option<ExprRef>,
    pub group_by: Option<GroupBy>,
    pub order_by: Option<OrderBy>,
    pub limit: Option<Limit>,
    pub projection: ExprRef,
    pub distinct: bool,
    pub meta: A,
}
Expand description

A complete EventQL query.

This is the root node of the AST, representing a full query with all its clauses. A query must have at least one source and a projection; other clauses are optional.

§Structure

FROM <alias> <source>
[FROM <alias> <source>] ...
[WHERE <condition>]
[GROUP BY <field> [HAVING <condition>]]
[ORDER BY <field> ASC|DESC]
[TOP|SKIP <n>]
PROJECT INTO [DISTINCT] <projection>

§Examples

use eventql_parser::Session;

let mut session = Session::builder().use_stdlib().build();
let query = session.parse(
    "FROM e IN events \
     WHERE e.price > 100 \
     ORDER BY e.timestamp DESC \
     TOP 10 \
     PROJECT INTO {id: e.id, price: e.price}"
).unwrap();

assert_eq!(query.sources.len(), 1);
assert!(query.predicate.is_some());
assert!(query.order_by.is_some());
assert!(query.limit.is_some());

Fields§

§attrs: Attrs

Metadata about this query

§sources: Vec<Source<A>>

FROM clause sources (must have at least one)

§predicate: Option<ExprRef>

Optional WHERE clause filter predicate

§group_by: Option<GroupBy>

Optional GROUP BY clause expression

§order_by: Option<OrderBy>

Optional ORDER BY clause

§limit: Option<Limit>

Optional LIMIT clause (TOP or SKIP)

§projection: ExprRef

PROJECT INTO clause expression (required)

§distinct: bool

Remove duplicate rows from the query’s results

§meta: A

Type-level metadata about the query’s analysis state.

This field uses a generic type parameter to track whether the query is in a raw (unparsed/untyped) state or has been statically analyzed:

  • Query<Raw>: Query parsed but not yet type-checked
  • Query<Typed>: Query that has passed static analysis with validated types and variable scopes

This provides compile-time guarantees about the query’s type safety.

Trait Implementations§

Source§

impl<A: Clone> Clone for Query<A>

Source§

fn clone(&self) -> Query<A>

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<A: Debug> Debug for Query<A>

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<A> Serialize for Query<A>
where A: Serialize,

Source§

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

Serialize this value into the given Serde serializer. Read more

Auto Trait Implementations§

§

impl<A> Freeze for Query<A>
where A: Freeze,

§

impl<A> RefUnwindSafe for Query<A>
where A: RefUnwindSafe,

§

impl<A> Send for Query<A>
where A: Send,

§

impl<A> Sync for Query<A>
where A: Sync,

§

impl<A> Unpin for Query<A>
where A: Unpin,

§

impl<A> UnwindSafe for Query<A>
where A: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.