Struct mz_transform::monotonic::MonotonicFlag

pub struct MonotonicFlag {
    recursion_guard: RecursionGuard,
}

A struct that holds a recursive function that determines if a relation is monotonic, and applies any optimizations along the way.

Fields

recursion_guard: RecursionGuard

Implementations

impl MonotonicFlag

pub fn apply( &self, expr: &mut MirRelationExpr, mon_ids: &BTreeSet<GlobalId>, locals: &mut BTreeSet<LocalId> ) -> Result<bool, RecursionLimitError>

Determines if a relation is monotonic, and applies any optimizations along the way. mon_ids should be the ids of monotonic sources and indexes involved in expr.

Trait Implementations

impl CheckedRecursion for MonotonicFlag

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 MonotonicFlag

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

Formats the value using the given formatter.

impl Default for MonotonicFlag

fn default() -> MonotonicFlag

Returns the “default value” for a type.