Enum CollectionCtor 

pub enum CollectionCtor {
    Vec,
    Deque,
    Map,
    Set,
    Counter,
    MinHeap,
    MaxHeap,
    BitSet,
    Grid,
    Range,
    Seq,
}

Built-in collection constructors (§6.1). Range and BitSet take no type arguments; the others take one (Vec, Set, …) or two (Map).

Seq has no rows and no values. It is the compiler-internal pipeline source (§6.3), threading an element type through what a lazy chain would need; the pipeline is eager (ADR-028 decision 2), so no row answers one. Nothing produces a Seq, nothing consumes one, and retiring the constructor itself is a mechanical follow-up rather than a decision.

Variants

Vec

Deque

Map

Set

Counter

MinHeap

MaxHeap

BitSet

Grid

Range

Seq

Compiler-internal lazy sequence (§6.3). Never appears in source.

Implementations

impl CollectionCtor

pub fn arity(self) -> usize

The number of element type parameters this constructor takes.

pub fn from_name(name: &str) -> Option<CollectionCtor>

The constructor a source name denotes, or None for any other name.

The inverse of name, and the one authority for the mapping: HIR resolves a constructor call through it and MIR picks the allocation’s ctor through it, so the two cannot come to disagree about which names construct a collection. Seq is deliberately absent — it is compiler-internal and no source name reaches it (§6.3).

pub fn name(self) -> &'static str

The user-facing name of this collection constructor, e.g. Vec. Seq is internal and has no user-facing name; name() returns "Seq" only for diagnostics/debugging.

Trait Implementations

impl Clone for CollectionCtor

fn clone(&self) -> CollectionCtor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for CollectionCtor

impl Debug for CollectionCtor

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

Formats the value using the given formatter.

impl Eq for CollectionCtor

impl Hash for CollectionCtor

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for CollectionCtor

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for CollectionCtor