Enum IrShapePointer 

pub enum IrShapePointer {
    Scalar(IrScalarPointer),
    SingleLink(IrSingleLinkPointer),
    MultiLink(IrMultiLinkPointer),
    Computed(IrComputedPointer),
    ScalarSet(IrScalarSetPointer),
    Asserted(Box<IrAssertedPointer>),
}

Variants

Scalar(IrScalarPointer)

SingleLink(IrSingleLinkPointer)

MultiLink(IrMultiLinkPointer)

Computed(IrComputedPointer)

ScalarSet(IrScalarSetPointer)

Asserted(Box<IrAssertedPointer>)

p := assert_exists(.prices { … }) — the pointer the argument compiles to, with a cardinality check over the rows it aggregates. A wrapper rather than a field on every variant, because any object pointer can carry one.

Implementations

impl IrShapePointer

pub fn alias(&self) -> &str

The output key this pointer contributes to its object.

pub fn is_object_pointer(&self) -> bool

True when the pointer stands for a set of objects — the only thing a cardinality assert can wrap. A scalar pointer’s assert is an ordinary function call and belongs on the expression path.

Trait Implementations

impl Clone for IrShapePointer

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IrShapePointer

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

Formats the value using the given formatter.