Struct Ty 

pub struct Ty<'gcx>(/* private fields */);

An interned type.

Implementations

impl<'gcx> Ty<'gcx>

pub fn new(gcx: Gcx<'gcx>, kind: TyKind<'gcx>) -> Ty<'gcx>

pub fn with_loc(self, gcx: Gcx<'gcx>, loc: DataLocation) -> Ty<'gcx>

pub fn peel_refs(self) -> Ty<'gcx>

Peels Ref layers from the type, returning the inner type.

pub fn as_externally_callable_function(self, gcx: Gcx<'gcx>) -> Ty<'gcx>

pub fn make_ref(self, gcx: Gcx<'gcx>, loc: DataLocation) -> Ty<'gcx>

pub fn make_type_type(self, gcx: Gcx<'gcx>) -> Ty<'gcx>

pub fn make_meta(self, gcx: Gcx<'gcx>) -> Ty<'gcx>

pub fn is_ref(self) -> bool

Returns true if the type is a reference.

pub fn is_ref_at(self, loc: DataLocation) -> bool

Returns true if the type is a reference to the given location.

pub fn is_value_type(self) -> bool

Returns true if the type is a value type.

Reference: https://docs.soliditylang.org/en/latest/types.html#value-types

pub fn is_reference_type(self) -> bool

Returns true if the type is a reference type.

pub fn is_recursive(self) -> bool

Returns true if the type is recursive.

pub fn has_mapping(self) -> bool

Returns true if this type contains a mapping.

pub fn has_error(self) -> Result<(), ErrorGuaranteed>

Returns true if this type contains an error.

pub fn can_be_exported(self) -> bool

Returns true if this type can be part of an externally callable function.

pub fn parameters(self) -> Option<&'gcx [Ty<'gcx>]>

Returns the parameter types of the type.

pub fn returns(self) -> Option<&'gcx [Ty<'gcx>]>

Returns the return types of the type.

pub fn state_mutability(self) -> Option<StateMutability>

Returns the state mutability of the type.

pub fn visibility(self) -> Option<Visibility>

Returns the visibility of the type.

pub fn visit<T>( self, f: &mut impl FnMut(Ty<'gcx>) -> ControlFlow<T>, ) -> ControlFlow<T>

Visits the type and its subtypes.

pub fn display(self, gcx: Gcx<'gcx>) -> impl Display + use<'gcx>

Displays the type with the default format.

Trait Implementations

impl<'gcx> Clone for Ty<'gcx>

fn clone(&self) -> Ty<'gcx>

Returns a duplicate 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<(), Error>

Formats the value using the given formatter.

impl<'gcx> Deref for Ty<'gcx>

type Target = &'gcx TyData<'gcx>

The resulting type after dereferencing.

fn deref(&self) -> &<Ty<'gcx> as Deref>::Target

Dereferences the value.

impl<'gcx> Hash for Ty<'gcx>

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<'gcx> PartialEq for Ty<'gcx>

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

impl<'gcx> Eq for Ty<'gcx>

impl<'gcx> StructuralPartialEq for Ty<'gcx>