Struct IrSelect 

pub struct IrSelect {
    pub rows: Vec<IrRowSource>,
    pub filter: Option<IrExpr>,
    pub order_by: Vec<IrSort>,
    pub offset: Option<IrExpr>,
    pub limit: Option<IrExpr>,
    pub distinct: bool,
    pub dml_source: Option<Box<IrStmt>>,
    pub polymorphic: bool,
    pub poly_implementors: Vec<IrPolyImplementor>,
    pub poly_columns: Vec<String>,
    pub lock: Option<IrLockClause>,
}

Fields

rows: Vec<IrRowSource>

What each output row comes from. Almost always exactly one Bound (a schema object) — more than one entry, or a Free entry, only happens for a literal set/union (select {1,2,3}).

filter: Option<IrExpr>

Only ever Some when rows is a single Bound — a free select can never have a FILTER (enforced at compile time).

order_by: Vec<IrSort>

offset: Option<IrExpr>

limit: Option<IrExpr>

distinct: bool

dml_source: Option<Box<IrStmt>>

When this SELECT wraps a DML statement (SELECT (INSERT …) { … }), the inner DML is stored here and emitted as a CTE. None for plain SELECT Type { … } and for any free select. Only ever Some when rows is a single Bound.

polymorphic: bool

True when this SELECT targets an interface type. The SQL emitter builds a UNION ALL inline instead of hitting the view. Only meaningful when rows is a single Bound.

poly_implementors: Vec<IrPolyImplementor>

Concrete implementors of the interface (populated when polymorphic = true).

poly_columns: Vec<String>

Interface column names used in the UNION ALL branches (e.g. ["id", "email"]).

lock: Option<IrLockClause>

Trailing FOR UPDATE/FOR SHARE/… row-locking clause. Validated at compile time (Compiler::compile_select) to only ever be Some on a single schema-bound, non-polymorphic, non-DML-wrapped, non-DISTINCT row source — the same shape Postgres itself requires output rows to map 1:1 to physical table rows for locking to make sense.

Implementations

impl IrSelect

pub fn schema_bound( source: IrSource, shape: Vec<IrShapePointer>, filter: Option<IrExpr>, ) -> Self

The overwhelming-majority shape: one schema-bound row, no DML, no polymorphism — what most correlated-subquery/EXISTS builders want.

Trait Implementations

impl Clone for IrSelect

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrSelect

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

Formats the value using the given formatter.