Struct erg_compiler::hir::DefBody
source · pub struct DefBody {
pub op: Token,
pub block: Block,
pub id: DefId,
}
Fields§
§op: Token
§block: Block
§id: DefId
Implementations§
Trait Implementations§
source§impl HasType for DefBody
impl HasType for DefBody
fn ref_t(&self) -> &Type
source§fn ref_mut_t(&mut self) -> &mut Type
fn ref_mut_t(&mut self) -> &mut Type
x.ref_mut_t()
may panic, in which case x
is Call
and x.ref_t() == Type::Failure
.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 DefBody
impl Locational for DefBody
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.fn ln_begin(&self) -> Option<u32>
fn ln_end(&self) -> Option<u32>
fn col_begin(&self) -> Option<u32>
fn col_end(&self) -> Option<u32>
source§impl PartialEq<DefBody> for DefBody
impl PartialEq<DefBody> for DefBody
impl Eq for DefBody
impl StructuralEq for DefBody
impl StructuralPartialEq for DefBody
Auto Trait Implementations§
impl !RefUnwindSafe for DefBody
impl !Send for DefBody
impl !Sync for DefBody
impl Unpin for DefBody
impl !UnwindSafe for DefBody
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more