hax_frontend_exporter

Module types

source

Re-exports§

Modules§

  • def_id πŸ”’
    This module contains the type definition for DefId and the types DefId depends on.
  • hir πŸ”’
    Copies of the relevant HIR types. HIR represents the code of a rust crate post-macro expansion. It is close to the parsed AST, modulo some desugarings (and macro expansion).
  • mir πŸ”’
    Copies of the relevant MIR types. MIR represents a rust (function) body as a CFG. It’s a semantically rich representation that contains no high-level control-flow operations like loops or patterns; instead the control flow is entirely described by gotos and switches on integer values.
  • new πŸ”’
    This module contains type definitions that have no equivalent in Rustc.
  • serialize_int πŸ”’
    This module provides serde manual serializes/deserializers as strings for u128 and i128: those types are not well supported in serde (see https://github.com/serde-rs/json/issues/625).
  • span πŸ”’
  • thir πŸ”’
    Copies of the relevant THIR types. THIR represents a HIR (function) body augmented with type information and lightly desugared.
  • ty πŸ”’
    Copies of the relevant type-level types. These are semantically-rich representations of type-level concepts such as types and trait references.