Struct InferredStructType 

pub struct InferredStructType { /* private fields */ }

Struct/type identity carried by inferred constructor, match, and field types.

Equality is owner-sensitive; leaf-only names must be resolved before they become inferred semantic types.

Implementations

impl InferredStructType

pub fn with_owner(owner: DagId, name: StructTypeName) -> Self

pub fn from_resolved(resolved: ResolvedName<StructType>) -> Self

pub const fn from_ref(reference: StructTypeRef) -> Self

pub const fn type_ref(&self) -> &StructTypeRef

pub const fn name(&self) -> &StructTypeName

pub const fn resolved(&self) -> &ResolvedName<StructType>

pub fn matches_resolved(&self, expected: &ResolvedName<StructType>) -> bool

pub fn matches_ref(&self, expected: &StructTypeRef) -> bool

Methods from Deref<Target = StructTypeName>

pub fn atom(&self) -> &NameAtom

Get the underlying atom.

pub fn as_str(&self) -> &str

Get the underlying string slice.

pub fn qualified_by(&self, index: &IndexName) -> QualifiedIndexVariantName

Pair this variant with its index name for qualified rendering.

Trait Implementations

impl Clone for InferredStructType

fn clone(&self) -> InferredStructType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferredStructType

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

Formats the value using the given formatter.

impl Deref for InferredStructType

type Target = NameDef<StructType>

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl Display for InferredStructType

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

Formats the value using the given formatter.

impl Eq for InferredStructType

impl PartialEq for InferredStructType

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.