Struct phile::sqir::Filter

pub struct Filter {
    pub domain: RcExpr,
    pub pred: RcExpr,
}

A general filter or selection operation.

Fields

domain: RcExpr

The domain of the selection (see Map too).

pred: RcExpr

The unary, boolean-valued predicate applied to each element of the domain.

Trait Implementations

impl Debug for Filter

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.