Struct IrAssertedPointer 

pub struct IrAssertedPointer {
    pub fn_name: String,
    pub inner: IrShapePointer,
    pub check: Option<IrShapePointer>,
    pub message: Option<IrExpr>,
}

Fields

fn_name: String

assert_exists or assert_distinct. Both are _pylon functions over anyarray returning it unchanged; assert_single is excluded because it returns the element rather than the array, so it has no place in the boolean the check is read as.

inner: IrShapePointer

check: Option<IrShapePointer>

The set the check reads, when it is not the one the pointer returns — (select assert_distinct(X) … limit 1) asserts over all of X while returning one row of it. None when the two coincide.

message: Option<IrExpr>

message := … — raised in place of the assert’s own text.

Trait Implementations

impl Clone for IrAssertedPointer

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 IrAssertedPointer

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

Formats the value using the given formatter.