Struct TypeId

pub struct TypeId(pub usize);

A unique identifier for a type in the type system

Tuple Fields

0: usize

Implementations

impl TypeId

pub fn new() -> Self

Creates a new unique type identifier for custom types

pub fn from_primitive(primitive: PrimitiveType) -> Self

Creates a TypeId for a primitive type - PREFERRED METHOD

This ensures consistent TypeId assignment for primitive types and is more robust than direct casting.

Arguments

• primitive - The primitive type to create a TypeId for

Returns

A TypeId that is guaranteed to be unique and consistent for the primitive type

pub fn bool() -> Self

Returns the TypeId for bool type

pub fn i32() -> Self

Returns the TypeId for i32 type

pub fn i64() -> Self

Returns the TypeId for i64 type

pub fn u32() -> Self

Returns the TypeId for u32 type

pub fn u64() -> Self

Returns the TypeId for u64 type

pub fn f32() -> Self

Returns the TypeId for f32 type

pub fn f64() -> Self

Returns the TypeId for f64 type

pub fn string() -> Self

Returns the TypeId for string type

pub fn unit() -> Self

Returns the TypeId for unit type

pub fn unspecified_int() -> Self

Returns the TypeId for unspecified integer type

pub fn unspecified_float() -> Self

Returns the TypeId for unspecified float type

pub fn unknown() -> Self

Returns the TypeId for unknown type

Trait Implementations

impl Clone for TypeId

fn clone(&self) -> TypeId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeId

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

Formats the value using the given formatter.

impl Default for TypeId

fn default() -> Self

Returns the “default value” for a type.

impl From<PrimitiveType> for TypeId

fn from(primitive: PrimitiveType) -> Self

Converts to this type from the input type.

impl Hash for TypeId

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 TypeId

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

impl Eq for TypeId

impl StructuralPartialEq for TypeId