Struct erg_compiler::hir::Def
source · pub struct Def {
pub sig: Signature,
pub body: DefBody,
}
Fields§
§sig: Signature
§body: DefBody
Implementations§
Trait Implementations§
source§impl FromIterator<Def> for RecordAttrs
impl FromIterator<Def> for RecordAttrs
source§impl HasType for Def
impl HasType for Def
fn ref_t(&self) -> &Type
fn ref_mut_t(&mut self) -> &mut Type
fn signature_t(&self) -> Option<&Type>
fn signature_mut_t(&mut self) -> Option<&mut Type>
fn t(&self) -> Type
fn inner_ts(&self) -> Vec<Type>
fn lhs_t(&self) -> &Type
fn rhs_t(&self) -> &Type
source§impl Locational for Def
impl Locational for Def
source§fn loc(&self) -> Location
fn loc(&self) -> Location
NOTE:
loc
cannot be treated as a light method when self
is a large grammatical element.
If possible, delay the computation by passing &impl Locational
or other means.