Struct ArrayShape 

#[non_exhaustive]
pub struct ArrayShape {
    pub indexed: BTreeMap<usize, TypeFact>,
    pub element: Option<Box<TypeFact>>,
}

Shape information for a Perl array or array-like literal.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

indexed: BTreeMap<usize, TypeFact>

Known statically-addressable array indexes.

element: Option<Box<TypeFact>>

Fallback fact for unknown indexes when the array element type is known.

Implementations

impl ArrayShape

pub fn new( indexed: BTreeMap<usize, TypeFact>, element: Option<TypeFact>, ) -> ArrayShape

Creates an array shape from known indexes and an optional element fallback.

Trait Implementations

impl Clone for ArrayShape

fn clone(&self) -> ArrayShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ArrayShape

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

Formats the value using the given formatter.

impl PartialEq for ArrayShape

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