Struct transform::projection_lifting::ProjectionLifting

pub struct ProjectionLifting {
    recursion_guard: RecursionGuard,
}

Hoist projections through operators.

Fields

recursion_guard: RecursionGuard

Implementations

impl ProjectionLifting

pub fn action(
    &self,
    relation: &mut MirRelationExpr,
    gets: &mut HashMap<Id, (RelationType, Vec<usize>)>
) -> Result<(), TransformError>

Hoist projections through operators.

Trait Implementations

impl CheckedRecursion for ProjectionLifting

fn recursion_guard(&self) -> &RecursionGuard

Extracts a reference to the recursion guard embedded within the type.

fn checked_recur<F, T, E>(&self, f: F) -> Result<T, E> where
    F: FnOnce(&Self) -> Result<T, E>,
    E: From<RecursionLimitError>, 

Checks whether it is safe to recur and calls f if so.

fn checked_recur_mut<F, T, E>(&mut self, f: F) -> Result<T, E> where
    F: FnOnce(&mut Self) -> Result<T, E>,
    E: From<RecursionLimitError>, 

Like CheckedRecursion::checked_recur, but operates on a mutable reference to Self.

impl Debug for ProjectionLifting

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

Formats the value using the given formatter.

impl Default for ProjectionLifting

fn default() -> ProjectionLifting

Returns the “default value” for a type.

impl Transform for ProjectionLifting

fn transform(
    &self,
    relation: &mut MirRelationExpr,
    _: TransformArgs<'_>
) -> Result<(), TransformError>

Transform a relation into a functionally equivalent relation.

fn debug(&self) -> String

A string describing the transform.