Struct HashShape 

#[non_exhaustive]
pub struct HashShape {
    pub slots: BTreeMap<String, TypeFact>,
    pub fallback_value: Option<Box<TypeFact>>,
}

Shape information for a Perl hash or hash-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.

slots: BTreeMap<String, TypeFact>

Known statically-addressable hash slots.

fallback_value: Option<Box<TypeFact>>

Fallback fact for unknown keys when the hash value type is known.

Implementations

impl HashShape

pub fn new( slots: BTreeMap<String, TypeFact>, fallback_value: Option<TypeFact>, ) -> HashShape

Creates a hash shape from known slots and an optional fallback value.

Trait Implementations

impl Clone for HashShape

fn clone(&self) -> HashShape

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HashShape

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

Formats the value using the given formatter.

impl PartialEq for HashShape

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