Enum IntrinsicId

pub(in elab) enum IntrinsicId {
    Box,
    Array,
    As,
    IntCast,
    IntToFloat,
    Trunc,
    Unknown(String),
}

Builtin intrinsic identifier used by semantic phases.

Variants

Box

@box(expr) pointer allocation intrinsic.

Array

@array(init, len) array construction intrinsic.

As

@as(T, x) safe numeric cast intrinsic.

IntCast

@intCast(T, x) checked integer cast intrinsic.

IntToFloat

@intToFloat(T, x) integer-to-float cast intrinsic.

Trunc

@trunc(T, x) narrowing cast intrinsic.

Unknown(String)

Unknown intrinsic name preserved for diagnostics.

Implementations

impl IntrinsicId

pub fn known() -> &'static [IntrinsicId]

Return all known intrinsics in stable display order.

pub fn parse(name: &str) -> IntrinsicId

Parse one intrinsic identifier from the @name tail.

pub fn name(&self) -> &str

Return the canonical user-facing intrinsic name.

pub fn signature(&self) -> Option<IntrinsicSignature>

Return required argument counts for known intrinsics.

pub fn syntax(&self) -> Option<&'static str>

Return the canonical syntax snippet for this intrinsic.

pub fn summary(&self) -> Option<&'static str>

Return one-line user-facing behavior text for docs and help.

pub fn is_numeric_cast(&self) -> bool

Return whether this intrinsic belongs to numeric cast operations.

Trait Implementations

impl Clone for IntrinsicId

fn clone(&self) -> IntrinsicId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for IntrinsicId

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

Formats the value using the given formatter.

impl Hash for IntrinsicId

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

where __H: Hasher,

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 IntrinsicId

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

impl StructuralPartialEq for IntrinsicId