Struct 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,
    sources: &HashSet<GlobalId>,
    locals: &mut HashSet<LocalId>
) -> Result<bool, TransformError>

Determines if a relation is monotonic, and applies any optimizations along the way.

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.