Enum ShapeNormalKind 

pub enum ShapeNormalKind {
    Any,
    Atom(Symbol),
    And(Vec<ShapeNormalForm>),
    Or(Vec<ShapeNormalForm>),
    Not(Box<ShapeNormalForm>),
    List {
        items: Vec<ShapeNormalForm>,
        rest: Option<Box<ShapeNormalForm>>,
    },
    Table {
        fields: Vec<(Symbol, ShapeNormalForm)>,
        closed: bool,
    },
    Repeat {
        body: Box<ShapeNormalForm>,
        min: usize,
        max: Option<usize>,
    },
    Opaque,
}

Normalized shape structure understood by comparison helpers.

Variants

Any

The total AnyShape.

Atom(Symbol)

A symbol-bearing atomic shape.

And(Vec<ShapeNormalForm>)

Flattened conjunction.

Or(Vec<ShapeNormalForm>)

Flattened disjunction, including OneOfShape.

Not(Box<ShapeNormalForm>)

Complement of another normal form.

List

Fixed or variadic list structure.

Fields

items: Vec<ShapeNormalForm>

Prefix item shapes.

rest: Option<Box<ShapeNormalForm>>

Optional rest shape for variadic lists.

Table

Table fields and whether extra keys are rejected.

Fields

fields: Vec<(Symbol, ShapeNormalForm)>

Named field shapes.

closed: bool

True when the table rejects extra keys.

Repeat

Repeated collection body and bounds.

Fields

body: Box<ShapeNormalForm>

Item shape.

min: usize

Minimum item count.

max: Option<usize>

Optional maximum item count.

Opaque

Shape with no exposed structure.

Trait Implementations

impl Clone for ShapeNormalKind

fn clone(&self) -> ShapeNormalKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShapeNormalKind

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

Formats the value using the given formatter.

impl Eq for ShapeNormalKind

impl PartialEq for ShapeNormalKind

fn eq(&self, other: &ShapeNormalKind) -> 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 StructuralPartialEq for ShapeNormalKind