Struct pomelo_hir::hir::ValBind

pub struct ValBind {
    pub rec: bool,
    pub pat: Idx<Pat>,
    pub expr: Idx<Expr>,
}

Binding of the names in a pattern to an expression.

Fields

rec: bool

pat: Idx<Pat>

expr: Idx<Expr>

Implementations

impl ValBind

pub fn bound_vids<A: FileArena>(&self, arena: &A) -> Vec<LongVId>

impl ValBind

fn lower(ctx: &mut LoweringCtxt, b: &ValBind, dec_index: Idx<Dec>) -> Self

fn lower_fvalbind(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    b: &FvalBind,
    _dec_index: Idx<Dec>
) -> Self

fn check_row_op(prev_op: &mut Option<bool>, row_op: bool)

fn check_row_vid(prev_vid: &mut Option<VId>, row_vid: VId)

fn check_row_arity(prev_n: &mut Option<usize>, row_n: usize)

fn make_row_pat(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    row: &FvalBindRow,
    n_parameters: usize
) -> Idx<Pat>

fn make_row_expr(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    row: &FvalBindRow
) -> Idx<Expr>

fn make_fresh_vids_and_outer_pat(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    n_parameters: usize
) -> (Vec<Idx<Pat>>, Idx<Expr>)

Returns:

(1) list of pats referring to fresh vids to be used in the chain of fns (2) tuple expr referring to all of these fresh vids to be consumed by the generated case expr

fn make_fn_chain(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    fn_pats: Vec<Idx<Pat>>,
    case_expr: Idx<Expr>
) -> Idx<Expr>

Trait Implementations

impl Clone for ValBind

fn clone(&self) -> ValBind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ValBind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HirPrettyPrint for ValBind

fn pretty<A: FileArena>(&self, arena: &A) -> String

impl PartialEq<ValBind> for ValBind

fn eq(&self, other: &ValBind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ValBind

impl StructuralEq for ValBind

impl StructuralPartialEq for ValBind