Struct cairo_lang_semantic::expr::inference::canonic::CanonicalImpl

pub struct CanonicalImpl(pub ImplId);

A solution for a CanonicalTrait.

Tuple Fields

0: ImplId

Implementations

impl CanonicalImpl

pub fn canonicalize( db: &dyn SemanticGroup, impl_id: ImplId, mapping: &CanonicalMapping ) -> Result<Self, MapperError>

Canonicalizes a concrete impl that is part of an Inference. Uses the same same canonicalization of the trait, to be consistent.

pub fn embed( &self, inference: &Inference<'_>, mapping: &CanonicalMapping ) -> ImplId

Embeds a canonical impl into an Inference. Uses the same embedding of the trait, to be consistent.

Trait Implementations

impl Clone for CanonicalImpl

fn clone(&self) -> CanonicalImpl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CanonicalImpl

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

Formats the value using the given formatter.

impl Hash for CanonicalImpl

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 CanonicalImpl

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for CanonicalImpl

impl Eq for CanonicalImpl

impl StructuralEq for CanonicalImpl

impl StructuralPartialEq for CanonicalImpl