Struct BridgeWeavePayload 

pub struct BridgeWeavePayload {
    pub rows: Vec<BridgeWeaveRow>,
    pub result_shape: Expr,
}

Typed payload for a bridge/Weave part.

Fields

rows: Vec<BridgeWeaveRow>

Ordered LOOM rows.

result_shape: Expr

Checker-owned result Shape derived from rows.

Implementations

impl BridgeWeavePayload

pub fn new(rows: Vec<BridgeWeaveRow>) -> Self

Builds a weave payload, deriving the result Shape from its rows.

pub fn from_expr(expr: &Expr) -> Result<Self>

Decodes a weave payload expression and rejects any handwritten result Shape that disagrees with the rows.

pub fn to_expr(&self) -> Expr

Encodes this payload as a canonical expression map.

Trait Implementations

impl Clone for BridgeWeavePayload

fn clone(&self) -> BridgeWeavePayload

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BridgeWeavePayload

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

Formats the value using the given formatter.

impl Eq for BridgeWeavePayload

impl PartialEq for BridgeWeavePayload

fn eq(&self, other: &BridgeWeavePayload) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BridgeWeavePayload