Enum Constructor

pub enum Constructor {
    Single,
    Bool(bool),
    Variant(usize),
    IntRange {
        min: BigInt,
        max: BigInt,
    },
    Missing {
        all_missing: Vec<Constructor>,
    },
    Wildcard,
}

Variants

Single

Patterns that only have a single constructor, like tuples and struct patterns

Bool(bool)

A boolean pattern. The compiler code might look nicer if we define booleans as enums in the standard library or some core lib, but for now we’ll solve it like this

Variant(usize)

Enum variant constructor

IntRange

Fields

min: BigInt

max: BigInt

Missing

Fields

all_missing: Vec<Constructor>

Wildcard

Implementations

impl Constructor

pub fn split( &self, ty: &ConcreteType, other_ctors: impl Iterator<Item = Constructor> + Clone, ) -> Vec<Self>

Some constructors reprersent, like wildcards and int ranges, represent a set of other constructors. This function splits them into their constituent constructors. To efficiently split integer ranges, the set of constructors which we are comparing against must be known because we can’t split it into each constructor individually.

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

Returns true if self is covered by other

pub fn fields(&self, ty: &ConcreteType) -> Vec<ConcreteType>

pub fn arity(&self, ty: &ConcreteType) -> usize

Returns the number of subpatterns which this constructor matches

fn as_range(&self) -> (BigInt, BigInt)

Trait Implementations

impl Clone for Constructor

fn clone(&self) -> Constructor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constructor

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

Formats the value using the given formatter.