Struct ConcreteTypeId

pub struct ConcreteTypeId {
    pub id: u64,
    pub debug_name: Option<SmolStr>,
}

The identity of a concrete type.

Fields

id: u64

debug_name: Option<SmolStr>

Optional name for testing and debugging.

Implementations

impl ConcreteTypeId

pub fn new(id: u64) -> Self

pub fn from_string(name: impl Into<SmolStr>) -> Self

Trait Implementations

impl Clone for ConcreteTypeId

fn clone(&self) -> ConcreteTypeId

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ConcreteTypeId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ConcreteTypeId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ConcreteTypeId

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

Formats the value using the given formatter.

impl From<&str> for ConcreteTypeId

fn from(name: &str) -> Self

Converts to this type from the input type.

impl From<ConcreteTypeId> for ParamSignature

fn from(ty: ConcreteTypeId) -> Self

Converts to this type from the input type.

impl From<SmolStr> for ConcreteTypeId

fn from(name: SmolStr) -> Self

Converts to this type from the input type.

impl From<String> for ConcreteTypeId

fn from(name: String) -> Self

Converts to this type from the input type.

impl From<u64> for ConcreteTypeId

fn from(id: u64) -> Self

Converts to this type from the input type.

impl Hash for ConcreteTypeId

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 IdAsHashKey for ConcreteTypeId

fn get(&self) -> u64

Gets the inner id.

fn new(id: u64) -> Self

Returns a new id from the given value.

impl InternKey for ConcreteTypeId

fn from_intern_id(salsa_id: InternId) -> Self

Create an instance of the intern-key from a u32 value.

fn as_intern_id(&self) -> InternId

Extract the u32 with which the intern-key was created.

impl PartialEq for ConcreteTypeId

fn eq(&self, other: &Self) -> 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 Serialize for ConcreteTypeId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ConcreteTypeId