Struct erg_compiler::hir::Lambda
source · pub struct Lambda {
pub params: Params,
pub op: Token,
pub body: Block,
pub id: usize,
pub t: Type,
}
Fields§
§params: Params
§op: Token
§body: Block
§id: usize
§t: Type
Implementations§
Trait Implementations§
source§impl HasType for Lambda
impl HasType for Lambda
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 Lambda
impl Locational for Lambda
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.