pub struct ProvInfo {
    id: Id,
    dereferenced_projection: Vec<Option<MirScalarExpr>>,
    exact: bool,
}
Expand description

A relationship between a collections columns and some source columns.

An instance of this type indicates that some of the bearer’s columns derive from id. In particular, the non-None elements in dereferenced_projection correspond to columns that can be derived from id’s projection.

The guarantee is that projected on to these columns, the distinct values of the bearer are contained in the set of distinct values of projected columns of id. In the case that exact is set, the two sets are equal.

Fields

id: Id

The Id (local or global) of the source.

dereferenced_projection: Vec<Option<MirScalarExpr>>

The projection of the bearer written in terms of the columns projected by the underlying Get operator. Set to None for columns that cannot be expressed as scalar expression referencing only columns of the underlying Get operator.

exact: bool

If true, all distinct projected source rows are present in the rows of the projection of the current collection. This constraint is lost as soon as a transformation may drop records.

Implementations

Rewrite expr so it refers to the columns of the original source instead of the columns of the projected source.

Like dereference but only returns expressions that actually depend on the original source.

Merge two constraints to find a constraint that satisfies both inputs.

This method returns nothing if no columns are in common (either because difference sources are identified, or just no columns in common) and it intersects bindings and the exact bit.

Trait Implementations

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

Formats the value using the given formatter. Read more

This method returns an Ordering between self and other. Read more

Compares and returns the maximum of two values. Read more

Compares and returns the minimum of two values. Read more

Restrict a value to a certain interval. Read more

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

This method returns an ordering between self and other values if one exists. Read more

This method tests less than (for self and other) and is used by the < operator. Read more

This method tests less than or equal to (for self and other) and is used by the <= operator. Read more

This method tests greater than (for self and other) and is used by the > operator. Read more

This method tests greater than or equal to (for self and other) and is used by the >= operator. Read more

Auto Trait Implementations

Blanket Implementations

Gets the TypeId of self. Read more

Immutably borrows from an owned value. Read more

Mutably borrows from an owned value. Read more

Compare self to key and return true if they are equal.

Returns the argument unchanged.

Attaches the provided Context to this type, returning a WithContext wrapper. Read more

Attaches the current Context to this type, returning a WithContext wrapper. Read more

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Wrap the input message T in a tonic::Request

The alignment of pointer.

The type for initializers.

Initializes a with the given initializer. Read more

Dereferences the given pointer. Read more

Mutably dereferences the given pointer. Read more

Drops the object pointed to by the given pointer. Read more

Upcasts this ProgressEventTimestamp to Any. Read more

Returns the name of the concrete type of this object. Read more

Should always be Self

The resulting type after obtaining ownership.

Creates owned data from borrowed data, usually by cloning. Read more

Uses borrowed data to replace owned data, usually by cloning. Read more

The type returned in the event of a conversion error.

Performs the conversion.

The type returned in the event of a conversion error.

Performs the conversion.

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more