Enum StructShape 

pub enum StructShape {
    Ctor {
        name: String,
        arity: u32,
    },
    Proj {
        field_index: u32,
    },
    Other,
}

Represents the shape of a structure expression for comparison.

Variants

Ctor

A constructor applied to n arguments.

Fields

name: String

arity: u32

Proj

A projection of field i from an expression.

Fields

field_index: u32

Other

Any other expression shape.

Implementations

impl StructShape

pub fn ctor(name: impl Into<String>, arity: u32) -> Self

Create a constructor shape.

pub fn proj(field_index: u32) -> Self

Create a projection shape.

pub fn is_ctor(&self) -> bool

Return true if this is a constructor.

pub fn is_proj(&self) -> bool

Return true if this is a projection.

pub fn arity(&self) -> Option<u32>

Return arity if this is a constructor, else None.

Trait Implementations

impl Clone for StructShape

fn clone(&self) -> StructShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructShape

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

Formats the value using the given formatter.

impl PartialEq for StructShape

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for StructShape

impl StructuralPartialEq for StructShape