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

• comments
• mir_kinds
  Enumerates the kinds of Mir bodies. TODO: use const generics instead of an open list of types.
• state

Macros

• 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.
• 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
• 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]
• 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
• Ty
  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]
• 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
• get_params_info
  Compute the parameters information for a definition. See ParamsInfo.
• get_thir
• get_trait_info
  Retrieve the trait information, typically for a function call. TODO: rename
• inline_macro_invocations
• make_fn_def
• poly_trait_ref
• solve_item_traits
  Solve the trait obligations for a specific item use (for example, a method call, an ADT, etc.).
• solve_trait
• 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