Rindle docs and package mapSkip to main content

FamilyPipeline

Struct FamilyPipeline 

Source
pub struct FamilyPipeline {
    pub top: NodeId,
    pub root_conn: NodeId,
    pub root_take: Option<NodeId>,
    pub param_cols: Vec<ColId>,
    pub bindings: Rc<BindingSet>,
    /* private fields */
}
Expand description

A built family pipeline: what build_family_pipeline returns and what the graph’s bind/unbind/hydrate entry points take. The node ids are the pipeline’s own (the caller records them in a PipelineManifest exactly as for a singleton).

Fields§

§top: NodeId

What the sink is wired to (the pipeline top), as build_pipeline returns it.

§root_conn: NodeId

The root SourceConn — the connection carrying the membership predicate (and, with dynamic guards, the growing push-index guard).

§root_take: Option<NodeId>

The partitioned root limiter, when the template carries a limit.

§param_cols: Vec<ColId>

The partition key: the parameter columns resolved on the root schema, in parameter order. Every root row carries its own partition value, which is what makes output routing a column read (design §4.2).

§bindings: Rc<BindingSet>

The binding-set handle the root connection’s predicate reads.

Implementations§

Source§

impl FamilyPipeline

Source

pub fn constraint_for(&self, b: &CanonKey) -> Constraint

The fetch constraint that names binding b’s partition: the parameter columns paired with the binding’s canonical representatives (CanonVal::to_owned_value).

Trait Implementations§

Source§

impl Debug for FamilyPipeline

Source§

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

Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

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

Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.