Enum BuiltinTypeId 

#[repr(u32)]
pub enum BuiltinTypeId {
    Unit = 0,
    Bool = 1,
    Int = 2,
    Byte = 3,
    Char = 4,
    Float = 5,
    Text = 6,
    Vec = 7,
    Deque = 8,
    Grid = 9,
    Map = 10,
    Set = 11,
    Counter = 12,
    MinHeap = 13,
    MaxHeap = 14,
    BitSet = 15,
    Tuple = 16,
    Record = 17,
    Enum = 18,
    Closure = 19,
    VarCell = 20,
    Range = 21,
}

The closed set of built-in runtime types (§11.4).

This enum is the type-id registry: a descriptor’s TypeId is derived from its variant, so two built-ins cannot be labelled with the same id. Uniqueness reduces to enum-discriminant uniqueness, which rustc already enforces.

Variants

Unit = 0

Bool = 1

Int = 2

Byte = 3

Char = 4

Float = 5

Text = 6

Vec = 7

Deque = 8

Grid = 9

Map = 10

Set = 11

Counter = 12

MinHeap = 13

MaxHeap = 14

BitSet = 15

Tuple = 16

Record = 17

Enum = 18

Closure = 19

VarCell = 20

Range = 21

Range (§4.11, ADR-059). New variants are appended, so no existing id ever moves.

Implementations

impl BuiltinTypeId

pub const COUNT: usize = 22

Number of built-in types. Kept honest by BUILTINS’s array length and by builtins_are_indexed_by_their_id.

pub const fn from_u32(v: u32) -> Option<BuiltinTypeId>

Total inverse of the discriminant. A match rather than a transmute, so an out-of-range word yields None instead of an invalid enum value.

pub fn descriptor(self) -> &'static TypeDescriptor

This built-in’s descriptor. The inverse of TypeDescriptor::as_builtin.

Trait Implementations

impl Clone for BuiltinTypeId

fn clone(&self) -> BuiltinTypeId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BuiltinTypeId

impl Debug for BuiltinTypeId

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

Formats the value using the given formatter.

impl Eq for BuiltinTypeId

impl Hash for BuiltinTypeId

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 Ord for BuiltinTypeId

fn cmp(&self, other: &BuiltinTypeId) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for BuiltinTypeId

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for BuiltinTypeId

fn partial_cmp(&self, other: &BuiltinTypeId) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for BuiltinTypeId