Enum Type 

pub enum Type {
    Unspecified,
    Number,
    String,
    Bool,
    Array(Box<Type>),
    Record(BTreeMap<String, Type>),
    Subject,
    App {
        args: Vec<Type>,
        result: Box<Type>,
    },
    Date,
    Time,
    DateTime,
    Custom(String),
}

Type information for expressions.

This enum represents the type of an expression in the E

Variants

Unspecified

Type has not been determined yet

Number

Numeric type (f64)

String

String type

Bool

Boolean type

Array(Box<Type>)

Array type

Record(BTreeMap<String, Type>)

Record (object) type

Subject

Subject pattern type

App

Function type

Fields

args: Vec<Type>

result: Box<Type>

Date

Date type (e.g., 2026-01-03)

Used when a field is explicitly converted to a date using the AS DATE syntax.

Time

Time type (e.g., 13:45:39)

Used when a field is explicitly converted to a time using the AS TIME syntax.

DateTime

DateTime type (e.g., 2026-01-01T13:45:39Z)

Used when a field is explicitly converted to a datetime using the AS DATETIME syntax.

Custom(String)

Custom type not defined in the EventQL reference

Used when a field is converted to a custom type registered in AnalysisOptions::custom_types. The string contains the custom type name as it appears in the query.

Examples

use eventql_parser::prelude::{parse_query, AnalysisOptions};

let query = parse_query("FROM e IN events PROJECT INTO { ts: e.data.timestamp as CustomTimestamp }").unwrap();
let options = AnalysisOptions::default().add_custom_type("CustomTimestamp");
let typed_query = query.run_static_analysis(&options).unwrap();

Implementations

impl Type

pub fn as_record_or_panic_mut(&mut self) -> &mut BTreeMap<String, Type>

pub fn check(self, attrs: &Attrs, other: Type) -> Result<Type, AnalysisError>

Checks if two types are the same.

• If self is Type::Unspecified then self is updated to the more specific Type.
• If self is Type::Subject and is checked against a Type::String then self is updated to Type::String

Trait Implementations

impl Clone for Type

fn clone(&self) -> Type

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Type

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

Formats the value using the given formatter.

impl Default for Type

fn default() -> Type

Returns the “default value” for a type.

impl PartialEq for Type

fn eq(&self, other: &Type) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Type

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Type

impl StructuralPartialEq for Type