Struct ShapeGuard 

pub struct ShapeGuard { /* private fields */ }

Validates concrete tensor shapes against symbolic patterns.

Useful for checking model inputs at runtime, ensuring shapes are compatible before attempting operations that would fail.

Examples

let guard = ShapeGuard::new("input")
    .expect(SymbolicShape::from(vec![
        SymDim::symbolic("Batch"),
        SymDim::fixed(784),
    ]));

// This shape is valid (batch=32, features=784)
guard.validate(&Shape::new(vec![32, 784]), &env)?;

// This would error (wrong feature dim)
guard.validate(&Shape::new(vec![32, 100]), &env); // Error!

Implementations

impl ShapeGuard

pub fn new(name: impl Into<String>, pattern: SymbolicShape) -> Self

Create a shape guard with a name and expected pattern.

pub fn validate(&self, shape: &Shape, env: &ShapeEnv) -> Result<()>

Validate a concrete shape against the expected pattern.

Returns Ok(()) if the shape matches, or an error describing the mismatch.

pub fn validate_and_bind(&self, shape: &Shape, env: &mut ShapeEnv) -> Result<()>

Validate and bind — simultaneously validates the shape and binds any unbound symbolic dimensions. Returns Ok if consistent.

Trait Implementations

impl Clone for ShapeGuard

fn clone(&self) -> ShapeGuard

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeGuard

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

Formats the value using the given formatter.