Enum PrimitiveType

pub enum PrimitiveType {
    I32,
    I64,
    U32,
    U64,
    F32,
    F64,
    Bool,
    String,
    UnspecifiedInt,
    UnspecifiedFloat,
    Unit,
    Unknown,
}

Represents all primitive types in the language

Variants

I32

32-bit signed integer

I64

64-bit signed integer

U32

32-bit unsigned integer

U64

64-bit unsigned integer

F32

32-bit floating point

F64

64-bit floating point

Bool

Boolean type

String

String type

UnspecifiedInt

Unspecified integer type (for literals)

UnspecifiedFloat

Unspecified float type (for literals)

Unit

Unit type (similar to Rust’s ())

Unknown

Unknown type

Implementations

impl PrimitiveType

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

pub fn from_str(s: &str) -> Option<Self>

impl PrimitiveType

pub fn iter() -> impl Iterator<Item = PrimitiveType> + Clone

impl PrimitiveType

pub fn from_int<T: Into<usize>>(value: T) -> Option<Self>

impl PrimitiveType

pub fn is_numeric(&self) -> bool

Check if this is a numeric type (integer or float)

pub fn is_integer(&self) -> bool

Check if this is an integer type

pub fn is_float(&self) -> bool

Check if this is a float type

pub fn is_signed_integer(&self) -> bool

Check if this is a signed integer type

pub fn is_unsigned_integer(&self) -> bool

Check if this is an unsigned integer type

pub fn bit_width(&self) -> u8

Get the bit width of this type (0 for unspecified types)

pub fn to_type_kind(&self) -> TypeKind

Get the TypeKind for this primitive type

This method defines the actual type characteristics for each primitive type, separating type definition from type registration logic.

Trait Implementations

impl Clone for PrimitiveType

fn clone(&self) -> PrimitiveType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PrimitiveType

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

Formats the value using the given formatter.

impl From<PrimitiveType> for TypeId

fn from(primitive: PrimitiveType) -> Self

Converts to this type from the input type.

impl From<PrimitiveType> for usize

fn from(primitive: PrimitiveType) -> usize

Converts to this type from the input type.

impl Hash for PrimitiveType

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 PrimitiveType

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

impl Eq for PrimitiveType

impl StructuralPartialEq for PrimitiveType