Crate hax_frontend_exporter

Re-exports

• pub use hax_frontend_exporter_options as options;
• pub use crate::*;
• pub use crate::prelude::*;
• pub use crate::state::*;

Modules

• body 🔒
• comments
• constant_utils 🔒
• deterministic_hash 🔒
  Stolen from https://github.com/Wassasin/deterministic-hash/blob/main/src/lib.rs
• index_vec 🔒
• mir_kinds
  Enumerates the kinds of Mir bodies. TODO: use const generics instead of an open list of types.
• prelude 🔒
• rustc
• rustc_utils 🔒
• sinto 🔒
• state
• traits 🔒
• types 🔒
• utils 🔒

Macros

• cfg_feature_rustc 🔒
• schema_for
  Generates a RootSchema for the given type using default settings.
• sinto_as_usize
• sinto_todo

Structs

• AdtDef
  Reflects rustc_middle::ty::AdtDef
• AdtExpr
  Reflects rustc_middle::thir::AdtExpr
• Alias
  This type merges the information from rustc_type_ir::AliasKind and rustc_middle::ty::AliasTy
• AnonConst
  Reflects rustc_hir::AnonConst
• Arm
  Reflects rustc_middle::thir::Arm
• Ascription
  Reflects rustc_middle::thir::Ascription
• AssocItem
  Reflects rustc_middle::ty::AssocItem
• AttrItem
  Reflects rustc_ast::ast::AttrItem
• Attribute
  Reflects rustc_ast::ast::Attribute
• BasicBlockData
• Binder
  Reflects rustc_middle::ty::Binder
• BindingMode
  Reflects rustc_ast::ast::BindingMode
• Block
  Reflects rustc_middle::thir::Block
• BoundRegion
  Reflects rustc_middle::ty::BoundRegion
• BoundTy
  Reflects rustc_middle::ty::BoundTy
• CORE_EXTRACTION_MODE
• Canonical
  Reflects rustc_middle::infer::canonical::Canonical
• CanonicalUserTypeAnnotation
  Reflects rustc_middle::ty::CanonicalUserTypeAnnotation
• Clause
  Reflects rustc_middle::ty::Clause and adds a hash-consed predicate identifier.
• ClosureArgs
  Reflects rustc_middle::ty::ClosureArgs
• CoercePredicate
  Reflects rustc_middle::ty::CoercePredicate
• ConstArg
  Reflects rustc_hir::ConstArg
• Constant
• ConstantFieldExpr
• CopyNonOverlapping
• Decorated
  Generic container for decorating items with a type, a span, attributes and other meta-data.
• DefId
  Reflects rustc_hir::def_id::DefId
• DelimArgs
  Reflects rustc_ast::ast::DelimArgs
• DisambiguatedDefPathItem
  Reflects rustc_hir::definitions::DisambiguatedDefPathData
• DiscriminantValue
  Reflects rustc_middle::ty::util::Discr
• EarlyParamRegion
  Reflects rustc_middle::ty::EarlyParamRegion
• ExistentialProjection
  Reflects rustc_type_ir::ExistentialProjection
• ExistentialTraitRef
  Reflects rustc_type_ir::ExistentialTraitRef
• ExpnData
  Reflects rustc_span::hygiene::ExpnData
• FieldDef
  Reflects rustc_middle::ty::FieldDef
• FieldExpr
  A field expression: a field name along with a value
• FieldPat
  A field pattern: a field name along with a pattern
• FnDecl
  Reflects rustc_hir::FnDecl
• FnDef
  Function definition
• FnHeader
  Reflects rustc_hir::FnHeader
• FnSig
  Reflects rustc_hir::FnSig
• ForeignItem
  Reflects rustc_hir::ForeignItem
• FruInfo
  Field Record Update (FRU) informations, this reflects rustc_middle::thir::FruInfo
• FullDef
  Gathers a lot of definition information about a rustc_hir::def_id::DefId.
• GenericParam
  Reflects rustc_hir::GenericParam
• GenericParamDef
  Reflects rustc_middle::ty::GenericParamDef
• GenericPredicates
  Reflects rustc_middle::ty::GenericPredicates
• Generics
  Reflects rustc_hir::Generics
• HashMap
  A hash map implemented with quadratic probing and SIMD lookup.
• HirFieldDef
  Reflects rustc_hir::FieldDef
• HirId
  Reflects rustc_hir::hir_id::HirId
• Impl
  Reflects rustc_hir::Impl.
• ImplExpr
  An ImplExpr describes the full data of a trait implementation. Because of generics, this may need to combine several concrete trait implementation items. For example, ((1u8, 2u8), "hello").clone() combines the generic implementation of Clone for (A, B) with the concrete implementations for u8 and &str, represented as a tree.
• ImplInfos
  Meta-informations about an impl<GENERICS[: PREDICATES]> TRAIT for TYPE where PREDICATES {}
• ImplItem
  Reflects rustc_hir::ImplItem
• IndexVec
• Instance
• Item
  Reflects rustc_hir::Item (and rustc_hir::ItemId)
• ItemAttributes
• LateParamRegion
  Reflects rustc_middle::ty::LateParamRegion
• Lifetime
  Reflects rustc_hir::Lifetime
• Loc
  Reflects rustc_span::Loc
• LocalDecl
• LocalIdent
  Reflects rustc_middle::thir::LocalVarId
• MacCall
  Reflects rustc_ast::ast::MacCall
• MacroDef
  Reflects rustc_ast::ast::MacroDef
• MacroInvokation
  Describe a macro invocation, using macro_invocation_of_raw_mac_invocation
• MetaItemLit
  Reflects rustc_ast::ast::MetaItemLit
• MirBody
• NormalAttr
  Reflects rustc_ast::ast::NormalAttr
• OpaqueTy
  Reflects rustc_hir::OpaqueTy
• OutlivesPredicate
  Reflects rustc_middle::ty::OutlivesPredicate as a named struct instead of a tuple struct. This is because the script converting JSONSchema types to OCaml doesn’t support tuple structs, and this is the only tuple struct in the whole AST.
• Param
  Reflects rustc_middle::thir::Param
• ParamConst
  Reflects rustc_middle::ty::ParamConst
• ParamTy
  Reflects rustc_middle::ty::ParamTy
• ParamsInfo
  We use this to store information about the parameters in parent blocks. This is necessary because when querying the generics of a definition, rustc gives us all the generics used in this definition, including those coming from the outer impl block.
• PatRange
  Reflects rustc_middle::thir::PatRange
• PathBuf
  An owned, mutable path (akin to String).
• PathSegment
  Reflects rustc_hir::PathSegment
• Place
• Placeholder
  Reflects rustc_middle::ty::Placeholder
• Predicate
  Reflects rustc_middle::ty::Predicate and adds a hash-consed predicate identifier.
• PredicateId
  A PredicateId is a unique identifier for a clause or a predicate. It is computed by hashing predicates and clause in a uniform and deterministic way.
• PredicateSearcher
  Stores a set of predicates along with where they came from.
• ProjectionPredicate
  Expresses a constraints over an associated type.
• Rc
  A single-threaded reference-counting pointer. ‘Rc’ stands for ‘Reference Counted’.
• Region
  Reflects rustc_middle::ty::Region
• ReprOptions
  Reflects rustc_middle::ty::ReprOptions
• ScalarInt
• Scope
  Reflects rustc_middle::mir::BinOp
• SourceInfo
• SourceScopeData
• SourceScopeLocalData
• Span
  Reflects rustc_span::Span
• Spanned
  Reflects rustc_span::source_map::Spanned
• Statement
• Stmt
  Reflects rustc_middle::thir::Stmt
• SubtypePredicate
  Reflects rustc_middle::ty::SubtypePredicate
• Terminator
• Token
  Reflects rustc_ast::token::Token
• TraitItem
  Reflects rustc_hir::TraitItem
• TraitPredicate
  Reflects rustc_middle::ty::TraitPredicate
• TraitRef
  Reflects rustc_middle::ty::TraitRef
• Ty
  Reflects rustc_middle::ty::Ty
• TyFnSig
  Reflects rustc_middle::ty::FnSig
• TyGenerics
  Reflects rustc_middle::ty::Generics
• TypeAndMut
  Reflects rustc_middle::ty::TypeAndMut
• TypedConstantKind
• UsePath
  Reflects rustc_hir::UsePath
• UserArgs
  Reflects rustc_middle::ty::UserArgs
• UserSelfTy
  Reflects rustc_middle::ty::UserSelfTy
• Variant
  Reflects rustc_hir::Variant
• VariantDef
  Reflects rustc_middle::ty::VariantDef
• VariantInformations
  Describe a variant
• RDefId
  A DefId identifies a particular definition, by combining a crate index and a def index.
• RLocalDefId
  A LocalDefId is equivalent to a DefId with krate == LOCAL_CRATE. Since we encode this information in the type, we can ensure at compile time that no DefIds from upstream crates get thrown into the mix. There are quite a few cases where we know that only DefIds from the local crate are expected; a DefId from a different crate would signify a bug somewhere. This is when LocalDefId comes in handy.
• ROwnerId

Enums

• Abi
• AdtFlags
• AdtKind
  Reflects rustc_middle::ty::AdtKind
• AggregateKind
• AliasKind
  Reflects [rustc_middle::ty::AliasKind]
• AliasRelationDirection
  Reflects rustc_middle::ty::AliasRelationDirection
• Align
• AnalysisPhase
• AssertMessage
• AssocItemContainer
• AssocItemKind
  Reflects rustc_hir::AssocItemKind
• AssocKind
  Reflects rustc_middle::ty::AssocKind
• AstPass
  Reflects rustc_span::hygiene::AstPass
• AttrArgs
  Reflects rustc_ast::ast::AttrArgs
• AttrArgsEq
  Reflects rustc_ast::ast::AttrArgsEq
• AttrKind
  Reflects rustc_ast::AttrKind
• AttrStyle
  Reflects rustc_ast::ast::AttrStyle
• BasicBlock
• BinOp
  Reflects rustc_middle::mir::BinOp
• BinOpToken
  Reflects rustc_ast::token::BinOpToken
• BlockSafety
  Reflects rustc_middle::thir::BlockSafety
• BorrowKind
  Reflects rustc_middle::mir::BorrowKind
• BoundRegionKind
  Reflects rustc_middle::ty::BoundRegionKind
• BoundTyKind
  Reflects rustc_middle::ty::BoundTyKind
• BoundVariableKind
  Reflects rustc_middle::ty::BoundVariableKind
• ByRef
  Reflects rustc_ast::ast::ByRef
• CallSource
• CanonicalTyVarKind
  Reflects rustc_middle::infer::canonical::CanonicalTyVarKind
• CanonicalVarInfo
  Reflects rustc_middle::infer::canonical::CanonicalVarKind
• CastKind
• ClauseKind
  Reflects rustc_middle::ty::ClauseKind
• ClearCrossCrate
• ClosureKind
  Reflects rustc_middle::ty::ClosureKind
• CommentKind
  Reflects rustc_ast::token::CommentKind
• ConstAllocation
• ConstArgKind
  Reflects rustc_hir::ConstArgKind
• ConstantExprKind
  The subset of Expr that corresponds to constants.
• ConstantInt
• ConstantLiteral
• Constness
  Reflects rustc_hir::Constness
• CoroutineInfo
• CoverageKind
• CtorKind
  Reflects rustc_hir::def::CtorKind
• CtorOf
  Reflects rustc_hir::def::CtorOf
• DefKind
• DefPathItem
  Reflects rustc_hir::definitions::DefPathData
• Defaultness
  Reflects rustc_hir::Defaultness
• DelimSpacing
• DelimSpan
• Delimiter
  Reflects rustc_ast::token::Delimiter
• DesugaringKind
  Reflects rustc_span::hygiene::DesugaringKind
• DiscriminantDefinition
  Reflects rustc_middle::ty::VariantDiscr
• DynKind
  Reflects rustc_middle::ty::DynKind
• Edition
  Reflects rustc_span::edition::Edition
• ErrorGuaranteed
• ExistentialPredicate
  A predicate without Self, for use in dyn Trait.
• ExpnKind
  Reflects rustc_span::hygiene::ExpnKind
• ExprKind
  Reflects rustc_middle::thir::ExprKind
• FakeBorrowKind
  Reflects rustc_middle::mir::FakeBorrowKind
• FakeReadCause
• FieldIdx
• FileName
  Reflects rustc_span::FileName
• FloatTy
  Reflects rustc_type_ir::FloatTy
• FnRetTy
  Reflects rustc_hir::FnRetTy
• ForeignItemKind
  Reflects rustc_hir::ForeignItemKind
• FullDefKind
  Imbues rustc_hir::def::DefKind with a lot of extra information. Important: the owner_id() must be the id of this definition.
• FunOperand
• GenericArg
  Reflects both rustc_middle::ty::GenericArg and rustc_middle::ty::GenericArgKind
• GenericParamDefKind
  Reflects rustc_middle::ty::GenericParamDefKind
• GenericParamKind
  Reflects rustc_hir::GenericParamKind
• HirGenericArgs
• ImplExprAtom
  The source of a particular trait implementation. Most often this is either Concrete for a concrete impl Trait for Type {} item, or LocalBound for a context-bound where T: Trait.
• ImplExprPathChunk
• ImplItemKind
  Reflects rustc_hir::ImplItemKind, inlining the body of the items.
• ImplPolarity
  Reflects rustc_hir::ImplPolarity
• ImplSubject
  Reflects rustc_middle::ty::ImplSubject
• ImplTraitInTraitData
  Reflects rustc_middle::ty::ImplTraitInTraitData
• ImplicitSelfKind
  Reflects rustc_hir::ImplicitSelfKind
• InferTy
  Reflects partially rustc_middle::ty::InferTy
• InlineAsm
• InlineAsmOperand
• InlineAsmOptions
• InlineAsmTemplatePiece
• InlineAttr
  Reflects rustc_attr::InlineAttr
• InstanceKind
• IntTy
  Reflects rustc_type_ir::IntTy
• IntUintTy
• IntegerType
• IsAsync
  Reflects rustc_hir::IsAsync
• IsAuto
  Reflects rustc_hir::IsAuto
• ItemKind
  Reflects rustc_hir::ItemKind
• LifetimeName
  Reflects rustc_hir::LifetimeName
• LifetimeParamKind
  Reflects rustc_hir::LifetimeParamKind
• LintLevel
  Reflects rustc_middle::thir::LintLevel
• LitFloatType
  Reflects rustc_ast::ast::LitFloatType
• LitIntType
  Reflects both rustc_middle::ty::GenericArg and rustc_middle::ty::GenericArgKind
• LitKind
  Reflects rustc_ast::ast::LitKind
• Local
• LocalInfo
• LogicalOp
  Reflects rustc_middle::thir::LogicalOp
• MacroKind
  Reflects rustc_span::hygiene::MacroKind
• MirPhase
• MirSource
• MissingLifetimeKind
• Movability
  Reflects rustc_hir::Movability
• MutBorrowKind
  Reflects rustc_middle::mir::MutBorrowKind
• NonDivergingIntrinsic
• NonMacroAttrKind
  Reflects rustc_hir::def::NonMacroAttrKind
• NormalizesTo
• NullOp
• OpaqueTyOrigin
  Reflects rustc_hir::OpaqueTyOrigin
• Operand
• OwnerId
• ParamName
  Reflects rustc_hir::ParamName
• PatKind
  Reflects rustc_middle::thir::PatKind
• PatRangeBoundary
  Reflects rustc_middle::thir::PatRangeBoundary
• PlaceKind
• PointerCoercion
  Reflects rustc_middle::ty::adjustment::PointerCoercion
• PredicateKind
  Reflects rustc_middle::ty::PredicateKind
• PredicateOrigin
  Reflects rustc_hir::PredicateOrigin
• PrimTy
  Reflects rustc_hir::PrimTy
• ProjectionElem
• ProjectionElemFieldKind
• QPath
• RangeEnd
  Reflects rustc_hir::RangeEnd
• ReadSpanErr
• RealFileName
  Reflects rustc_span::RealFileName
• RegionKind
  Reflects rustc_middle::ty::RegionKind
• ReprFlags
• Res
  Reflects rustc_hir::def::Res
• RetagKind
• RuntimePhase
• Rvalue
• Safety
  Reflects rustc_hir::Safety
• ScalarInt
• ScopeData
  Reflects rustc_middle::mir::BinOp
• SourceScope
• Spacing
  Reflects rustc_ast::tokenstream::Spacing
• StatementKind
• StmtKind
  Reflects rustc_middle::thir::StmtKind
• StrStyle
  Reflects rustc_ast::ast::StrStyle
• SwitchTargets
• Term
  Reflects rustc_middle::ty::Term
• TerminatorKind
• TokenKind
  Reflects rustc_ast::token::TokenKind
• TokenTree
  Reflects rustc_ast::tokenstream::TokenTree
• TraitItemKind
  Reflects rustc_hir::TraitItemKind
• TranslateUnevalRes
• TyKind
  Reflects rustc_middle::ty::TyKind
• UintTy
  Reflects rustc_type_ir::UintTy
• UnOp
  Reflects rustc_middle::mir::UnOp
• UnwindAction
• UnwindTerminateReason
• UseKind
  Reflects rustc_hir::UseKind
• UserType
  Reflects rustc_middle::ty::UserType: this is currently disabled, and everything is printed as debug in the UserType::Todo variant.
• UserTypeAnnotationIndex
• UserTypeProjection
• UserTypeProjections
• VarDebugInfo
• Variance
  Reflects rustc_middle::ty::Variance
• VariantData
  Reflects rustc_hir::VariantData
• VariantKind
  Describe the kind of a variant
• Visibility
  Reflects rustc_middle::ty::Visibility
• WhereEqPredicate
• WhereRegionPredicate

Traits

• ConstantExt
• Deserialize
  A data structure that can be deserialized from any data format supported by Serde.
• ExprKindExt
• IsBody
• IsMirKind
• JsonSchema
  A type which can be described as a JSON Schema document.
• ParamEnv
• SExpect
• SInto
• Serialize
  A data structure that can be serialized into any data format supported by Serde.
• SubstBinder

Functions

• argument_span_of_mac_call
• body_from_id
• const_value_to_constant_expr
• erase_and_norm
• get_params_info
  Compute the parameters information for a definition. See ParamsInfo.
• get_thir
• inline_macro_invocations
• make_fn_def
• self_clause_for_item
  Retrieve the Self: Trait clause for a trait associated item.
• solve_item_traits
  Solve the trait obligations for a specific item use (for example, a method call, an ADT, etc.).
• solve_trait
  This is the entrypoint of the solving.
• super_clause_to_clause_and_impl_expr
  Given a clause clause in the context of some impl block impl_did, susbts correctly Self from clause and (1) derive a Clause and (2) resolve an ImplExpr.
• translate_span

Type Aliases

• BasicBlocks
• BoundVar
• CanonicalUserType
  Reflects rustc_middle::ty::CanonicalUserType
• CanonicalUserTypeAnnotations
• ConstantExpr
  Rustc has different representation for constants: one for MIR (rustc_middle::mir::Const), one for the type system (rustc_middle::ty::ConstKind). For simplicity hax maps those two construct to one same ConstantExpr type.
• ConstantKind
• DebruijnIndex
• EnumDef
• Expr
• FirstStatementIndex
• GlobalIdent
• Ident
  Reflects rustc_span::symbol::Ident
• ItemLocalId
• Mutability
• Pat
• Path
• PlaceholderConst
  Reflects rustc_middle::ty::PlaceholderConst
• PlaceholderRegion
  Reflects rustc_middle::ty::PlaceholderRegion
• PlaceholderType
  Reflects rustc_middle::ty::PlaceholderType
• PolyFnSig
  Reflects rustc_middle::ty::PolyFnSig
• RegionOutlivesPredicate
  Reflects rustc_middle::ty::RegionOutlivesPredicate
• RegionVid
• Symbol
• ThirBody
• TokenStream
  Reflects rustc_ast::tokenstream::TokenStream as a plain string. If you need to reshape that into Rust tokens or construct, please use, e.g., syn.
• TypeOutlivesPredicate
  Reflects rustc_middle::ty::TypeOutlivesPredicate
• UniverseIndex
• VariantIdx

Derive Macros

• AdtInto
  AdtInto derives a SInto instance. This helps at transporting a algebraic data type A to another ADT B when A and B shares a lot of structure.
• Deserialize
• JsonSchema
• Serialize