Module pomelo_hir::hir

source ·
Expand description

Definition of the hir.

This module’s contents are exported at the crate root, this is just separated for some internal organization.

Structs

Binding of a datatype constructor.
Binding of a new datatype.
HIR declaration node.
Record entry in an expression.
HIR expression node.
Wrapper so we can derive Eq for Scon.
A rule in a match statement.
HIR pattern node.
HIR type node.
Record entry in a type.
Binding of a type constructor.
Binding of the names in a pattern to an expression.

Enums

Kinds of HIR declarations.
Location where an identifier is bound.
Binding an exception.
Kinds of HIR expressions.
Type of fixity, including whether it is left- or right-associative and its operator precedence.
Kinds of HIR expressions.
Record entry in a pattern.
HIR constant (literal).
Kinds of HIR types.