Enum OptionKeySet 

pub enum OptionKeySet {
    Closed(BTreeSet<MapKey>),
    Open(BTreeSet<MapKey>),
    Unresolved,
}

The top-level key universe of a family-declared option map type, parsed from its stored TypeDecl.rhs. The firing rule below consumes only the Closed form: an Open or Unresolved set on the side being asked “is this key legal here” is unrepresentable as a drifted key, by construction rather than by a runtime flag.

Variants

Closed(BTreeSet<MapKey>)

A literal map with only literal atom keys.

Open(BTreeSet<MapKey>)

A literal map with at least one wildcard key entry (atom(), term(), _). The literal keys found alongside the wildcard are still recorded, for display.

Unresolved

The right-hand side is not a literal map at the top level (a union, or a reference to another type).

Implementations

impl OptionKeySet

pub fn literal_keys(&self) -> &BTreeSet<MapKey>

The literal keys this set carries, for either closed or open forms; empty for Unresolved.

Trait Implementations

impl Clone for OptionKeySet

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OptionKeySet

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

Formats the value using the given formatter.

impl Eq for OptionKeySet

impl PartialEq for OptionKeySet

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for OptionKeySet