Trait pomelo_hir::lower::HirLower

trait HirLower: Sized {
    type AstType: AstNode + Clone;

    fn missing(ctx: &mut LoweringCtxt) -> Idx<Self>;
    fn lower(ctx: &mut LoweringCtxt, ast: Self::AstType) -> Idx<Self>;

    fn lower_opt(
        ctx: &mut LoweringCtxt,
        opt_ast: Option<Self::AstType>
    ) -> Idx<Self> { ... }
}

Required Associated Types

type AstType: AstNode + Clone

Required Methods

fn missing(ctx: &mut LoweringCtxt) -> Idx<Self>

fn lower(ctx: &mut LoweringCtxt, ast: Self::AstType) -> Idx<Self>

Provided Methods

fn lower_opt(ctx: &mut LoweringCtxt, opt_ast: Option<Self::AstType>) -> Idx<Self>

Implementors

impl HirLower for Dec

type AstType = Dec

impl HirLower for Expr

type AstType = Expr

impl HirLower for Pat

type AstType = Pat

impl HirLower for Ty

type AstType = Ty