Module rustc::hir
[−]
[src]
rustc_private
)Reexports
pub use self::BindingMode::*; |
pub use self::BinOp_::*; |
pub use self::BlockCheckMode::*; |
pub use self::CaptureClause::*; |
pub use self::Decl_::*; |
pub use self::Expr_::*; |
pub use self::FunctionRetTy::*; |
pub use self::ForeignItem_::*; |
pub use self::Item_::*; |
pub use self::Mutability::*; |
pub use self::PrimTy::*; |
pub use self::Stmt_::*; |
pub use self::Ty_::*; |
pub use self::TyParamBound::*; |
pub use self::UnOp::*; |
pub use self::UnsafeSource::*; |
pub use self::Visibility::Public; |
pub use self::Visibility::Inherited; |
pub use self::PathParameters::*; |
Modules
check_attr |
[ Experimental ]
|
def |
[ Experimental ]
|
def_id |
[ Experimental ]
|
intravisit |
[ Experimental ] HIR walker for walking the contents of nodes. |
itemlikevisit |
[ Experimental ]
|
lowering |
[ Experimental ]
|
map |
[ Experimental ]
|
pat_util |
[ Experimental ]
|
[ Experimental ]
|
|
svh |
[ Experimental ] Calculation and management of a Strict Version Hash for crates |
Structs
AngleBracketedParameterData |
[ Experimental ] A path like |
Arg |
[ Experimental ] represents an argument in a function header |
Arm |
[ Experimental ] represents one arm of a 'match' |
BareFnTy |
[ Experimental ]
|
Block |
[ Experimental ]
|
Body |
[ Experimental ] The body of a function or constant value. |
BodyId |
[ Experimental ]
|
Crate |
[ Experimental ]
|
Destination |
[ Experimental ]
|
EnumDef |
[ Experimental ]
|
Expr |
[ Experimental ] An expression |
Field |
[ Experimental ]
|
FieldPat |
[ Experimental ] A single field in a struct pattern |
FnDecl |
[ Experimental ] Represents the header (not the body) of a function declaration |
ForeignItem |
[ Experimental ]
|
ForeignMod |
[ Experimental ]
|
Freevar |
[ Experimental ] A free variable referred to in a function. |
Generics |
[ Experimental ] Represents lifetimes and type parameters attached to a declaration of a function, enum, trait, etc. |
ImplItem |
[ Experimental ] Represents anything within an |
ImplItemId |
[ Experimental ]
|
ImplItemRef |
[ Experimental ] A reference from an impl to one of its associated items. This contains the item's id, naturally, but also the item's name and some other high-level details (like whether it is an associated type or method, and whether it is public). This allows other passes to find the impl they want without loading the id (which means fewer edges in the incremental compilation graph). |
InlineAsm |
[ Experimental ]
|
InlineAsmOutput |
[ Experimental ]
|
Item |
[ Experimental ] An item |
ItemId |
[ Experimental ]
|
Lifetime |
[ Experimental ]
|
LifetimeDef |
[ Experimental ] A lifetime definition, eg |
Local |
[ Experimental ] Local represents a |
MacroDef |
[ Experimental ] A macro definition, in this crate or imported from another. |
MethodSig |
[ Experimental ] Represents a method's signature in a trait declaration or implementation. |
Mod |
[ Experimental ]
|
MutTy |
[ Experimental ]
|
ParenthesizedParameterData |
[ Experimental ] A path like |
Pat |
[ Experimental ]
|
Path |
[ Experimental ] A "Path" is essentially Rust's notion of a name; for instance: std::cmp::PartialEq . It's represented as a sequence of identifiers, along with a bunch of supporting information. |
PathSegment |
[ Experimental ] A segment of a path: an identifier, an optional lifetime, and a set of types. |
PolyTraitRef |
[ Experimental ]
|
StructField |
[ Experimental ]
|
TraitCandidate |
[ Experimental ]
|
TraitItem |
[ Experimental ] Represents an item declaration within a trait declaration, possibly including a default implementation. A trait item is either required (meaning it doesn't have an implementation, just a signature) or provided (meaning it has a default implementation). |
TraitItemId |
[ Experimental ]
|
TraitItemRef |
[ Experimental ] A reference from an trait to one of its associated items. This contains the item's id, naturally, but also the item's name and some other high-level details (like whether it is an associated type or method, and whether it is public). This allows other passes to find the impl they want without loading the id (which means fewer edges in the incremental compilation graph). |
TraitRef |
[ Experimental ] TraitRef's appear in impls. |
Ty |
[ Experimental ]
|
TyParam |
[ Experimental ]
|
TypeBinding |
[ Experimental ]
|
Variant_ |
[ Experimental ]
|
WhereBoundPredicate |
[ Experimental ] A type bound, eg |
WhereClause |
[ Experimental ] A |
WhereEqPredicate |
[ Experimental ] An equality predicate (unsupported), e.g. |
WhereRegionPredicate |
[ Experimental ] A lifetime predicate, e.g. |
Enums
AssociatedItemKind |
[ Experimental ]
|
BinOp_ |
[ Experimental ]
|
BindingMode |
[ Experimental ]
|
BlockCheckMode |
[ Experimental ]
|
CaptureClause |
[ Experimental ]
|
Constness |
[ Experimental ]
|
Decl_ |
[ Experimental ]
|
Defaultness |
[ Experimental ]
|
Expr_ |
[ Experimental ]
|
ForeignItem_ |
[ Experimental ] An item within an |
FunctionRetTy |
[ Experimental ]
|
ImplItemKind |
[ Experimental ] Represents different contents within |
ImplPolarity |
[ Experimental ]
|
Item_ |
[ Experimental ]
|
LoopIdError |
[ Experimental ]
|
LoopIdResult |
[ Experimental ]
|
LoopSource |
[ Experimental ] The loop type that yielded an ExprLoop |
MatchSource |
[ Experimental ] Hints at the original code for a |
Mutability |
[ Experimental ]
|
PatKind |
[ Experimental ]
|
PathParameters |
[ Experimental ]
|
PrimTy |
[ Experimental ] Not represented directly in the AST, referred to by name through a ty_path. |
QPath |
[ Experimental ] Optionally |
RangeEnd |
[ Experimental ]
|
Stmt_ |
[ Experimental ]
|
TraitBoundModifier |
[ Experimental ] A modifier on a bound, currently this is only used for |
TraitItemKind |
[ Experimental ] Represents a trait method or associated constant or type |
TraitMethod |
[ Experimental ] A trait method's body (or just argument names). |
TyParamBound |
[ Experimental ] The AST represents all type param bounds as types. typeck::collect::compute_bounds matches these against the "special" built-in traits (see middle::lang_items) and detects Copy, Send and Sync. |
Ty_ |
[ Experimental ] The different kinds of types recognized by the compiler |
UnOp |
[ Experimental ]
|
UnsafeGeneric |
[ Experimental ]
|
UnsafeSource |
[ Experimental ]
|
Unsafety |
[ Experimental ]
|
UseKind |
[ Experimental ]
|
VariantData |
[ Experimental ] Fields and Ids of enum variants and structs |
Visibility |
[ Experimental ]
|
WherePredicate |
[ Experimental ] A single predicate in a |
Type Definitions
BinOp |
[ Experimental ]
|
CaptureModeMap |
[ Experimental ]
|
CrateConfig |
[ Experimental ]
|
Decl |
[ Experimental ]
|
FreevarMap |
[ Experimental ]
|
GlobMap |
[ Experimental ]
|
HirVec |
[ Experimental ] HIR doesn't commit to a concrete storage type and have its own alias for a vector.
It can be |
Stmt |
[ Experimental ] A statement |
TraitMap |
[ Experimental ]
|
TyParamBounds |
[ Experimental ]
|
Variant |
[ Experimental ]
|