Struct mun_hir::Ty

pub struct Ty(_);

External representation of a type. This should be cheap to clone.

Implementations

impl Ty

pub fn interned(&self) -> &TyKind

Returns the TyKind from which this instance was constructed

pub fn interned_mut(&mut self) -> &mut TyKind

Returns a mutable reference of TyKind for this instance

pub fn into_inner(self) -> TyKind

Convert this instance back to the TyKind that created it.

impl Ty

pub fn unit() -> Self

Constructs an instance of the unit type ()

pub fn struct_ty(strukt: Struct) -> Ty

Constructs a new struct type

pub fn as_struct(&self) -> Option<Struct>

If this type represents a struct type, returns the type of the struct.

pub fn as_tuple(&self) -> Option<&Substitution>

If this type represents a tuple type, returns a reference to the substitutions of the tuple.

pub fn as_array(&self) -> Option<&Ty>

If this type represents an array type, returns a reference to the element type.

pub fn is_empty(&self) -> bool

Returns true if this type represents the empty tuple type

pub fn is_never(&self) -> bool

Returns true if this type represents the never type

pub fn as_callable_def(&self) -> Option<CallableDef>

Returns the callable definition for the given expression or None if the type does not represent a callable.

pub fn callable_sig(&self, db: &dyn HirDatabase) -> Option<FnSig>

Returns the callable signature of the type, if the type is callable.

pub fn guid_string(&self, db: &dyn HirDatabase) -> Option<String>

Returns the type’s name as a string, if one exists.

This name needs to be unique as it is used to generate a type’s Guid.

pub fn is_known(&self) -> bool

Returns true if this instance represents a known type.

pub fn is_unknown(&self) -> bool

Returns true if this instance is of an unknown type.

pub fn type_parameters(&self) -> Option<&Substitution>

Returns the type parameters of this type if it has some (i.e. is an ADT or function); so if self is an Option<u32>, this returns the u32

pub fn type_parameters_mut(&mut self) -> Option<&mut Substitution>

Returns a mutable reference to the type parameters of this type if it has some (i.e. is an ADT or function); so if self is an Option<u32>, this returns the u32

pub fn equals_ctor(&self, other: &Ty) -> bool

Returns true if the other type has the same type constructor

Trait Implementations

impl Clone for Ty

fn clone(&self) -> Ty

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Ty

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

Formats the value using the given formatter.

impl FromIterator<Ty> for Substitution

fn from_iter<T: IntoIterator<Item = Ty>>(iter: T) -> Self

Creates a value from an iterator.

impl HasVisibility for Ty

fn visibility(&self, db: &dyn HirDatabase) -> Visibility

impl Hash for Ty

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 HirDisplay for &Ty

fn hir_fmt(&self, f: &mut HirFormatter<'_, '_>) -> Result

fn display<'a>(&'a self, db: &'a dyn HirDatabase) -> HirDisplayWrapper<'a, Self>where
    Self: Sized,

impl HirDisplay for Ty

fn hir_fmt(&self, f: &mut HirFormatter<'_, '_>) -> Result

fn display<'a>(&'a self, db: &'a dyn HirDatabase) -> HirDisplayWrapper<'a, Self>where
    Self: Sized,

impl PartialEq<Ty> for Ty

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

impl StructuralEq for Ty

impl StructuralPartialEq for Ty