Struct pomelo_hir::hir::Expr
source · Expand description
HIR expression node.
Fields§
§kind: ExprKind
§ast_id: AstId<Expr>
Implementations§
source§impl Expr
impl Expr
pub fn kind(&self) -> &ExprKind
pub fn missing(&self) -> bool
pub fn scon(&self) -> Option<&Scon>
pub fn seq(&self) -> Option<&[Idx<Expr>]>
pub fn vid(&self) -> Option<(bool, &(LongVId, DefLoc))>
pub fn record(&self) -> Option<&[ExpRow]>
pub fn let_expr(&self) -> Option<(Idx<Dec>, Idx<Expr>)>
pub fn application(&self) -> Option<(Idx<Expr>, Idx<Expr>)>
pub fn infix(&self) -> Option<(Idx<Expr>, (VId, DefLoc), Idx<Expr>)>
pub fn typed(&self) -> Option<(Idx<Expr>, Idx<Ty>)>
pub fn handle(&self) -> Option<(Idx<Expr>, &[MRule])>
pub fn raise(&self) -> Option<Idx<Expr>>
pub fn fn_expr(&self) -> Option<&[MRule]>
source§impl Expr
impl Expr
sourcepub fn make_tuple(exprs: impl Iterator<Item = Idx<Expr>>) -> ExprKind
pub fn make_tuple(exprs: impl Iterator<Item = Idx<Expr>>) -> ExprKind
Other lowering stages need to make tuple pats