Struct pomelo_hir::hir::Dec

pub struct Dec {
    pub kind: DecKind,
    pub ast_id: AstId<Dec>,
}

HIR declaration node.

Fields

kind: DecKind

ast_id: AstId<Dec>

Implementations

impl Dec

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

pub fn bound_tycons<A: FileArena>(&self, arena: &A) -> Vec<LongTyCon>

pub fn kind(&self) -> &DecKind

pub fn missing(&self) -> bool

pub fn seq(&self) -> Option<&[Idx<Dec>]>

pub fn val(&self) -> Option<(&[TyVar], &[ValBind])>

pub fn ty(&self) -> Option<&[TypBind]>

pub fn datatype(&self) -> Option<&[DataBind]>

pub fn replication(&self) -> Option<(&TyCon, &(LongTyCon, DefLoc))>

pub fn abstype(&self) -> Option<(&[DataBind], Idx<Dec>)>

pub fn exception(&self) -> Option<&ExBind>

pub fn local(&self) -> Option<(Idx<Dec>, Idx<Dec>)>

pub fn open(&self) -> Option<&[LongStrId]>

pub fn fixity(&self) -> Option<(&Fixity, &[(VId, DefLoc)])>

impl Dec

fn _make_seq(
    ctx: &mut LoweringCtxt,
    parent: NodeParent,
    kinds: Vec<DecKind>
) -> DecKind

fn lower_val(ctx: &mut LoweringCtxt, dec: &ValDec, index: Idx<Dec>) -> DecKind

fn lower_fun(ctx: &mut LoweringCtxt, dec: &FunDec, index: Idx<Dec>) -> DecKind

fn lower_type(ctx: &mut LoweringCtxt, dec: &TypeDec) -> DecKind

fn lower_datatype(ctx: &mut LoweringCtxt, dec: &DatatypeDec) -> DecKind

fn lower_replication(ctx: &mut LoweringCtxt, dec: &DatatypeRepDec) -> DecKind

fn lower_abstype(ctx: &mut LoweringCtxt, dec: &AbstypeDec) -> DecKind

fn lower_exception(_ctx: &mut LoweringCtxt, _dec: &ExceptionDec) -> DecKind

fn lower_local(ctx: &mut LoweringCtxt, dec: &LocalDec) -> DecKind

fn lower_open(ctx: &mut LoweringCtxt, dec: &OpenDec) -> DecKind

TODO: this might need fixing, it doesn’t do anything semantically yet…

Maybe we should panic here instead?

fn lower_infix(ctx: &mut LoweringCtxt, dec: &InfixDec) -> DecKind

fn lower_infixr(ctx: &mut LoweringCtxt, dec: &InfixrDec) -> DecKind

fn lower_nonfix(ctx: &mut LoweringCtxt, dec: &NonfixDec) -> DecKind

fn lower_fix(
    ctx: &mut LoweringCtxt,
    vids: impl Iterator<Item = VId>,
    fixity: Option<Fixity>,
    f: impl Fn(Option<u8>) -> Fixity
) -> DecKind

fn lower_seq(ctx: &mut LoweringCtxt, dec: &SeqDec) -> DecKind

Trait Implementations

impl Clone for Dec

fn clone(&self) -> Dec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Dec

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

Formats the value using the given formatter.

impl HirLower for Dec

type AstType = Dec

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

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

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

impl HirLowerGenerated for Dec

type Kind = DecKind

fn generated(
    ctx: &mut LoweringCtxt,
    origin: NodeParent,
    kind: Self::Kind
) -> Idx<Self>

impl HirPrettyPrint for Dec

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

impl PartialEq<Dec> for Dec

fn eq(&self, other: &Dec) -> 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 Dec

impl StructuralEq for Dec

impl StructuralPartialEq for Dec