hax_frontend_exporter

Module prelude

source

Re-exports§

Modules§

Macros§

Structs§

  • A hash map implemented with quadratic probing and SIMD lookup.
  • An owned, mutable path (akin to String).
  • A single-threaded reference-counting pointer. ‘Rc’ stands for ‘Reference Counted’.

Traits§

  • A data structure that can be deserialized from any data format supported by Serde.
  • A type which can be described as a JSON Schema document.
  • A data structure that can be serialized into any data format supported by Serde.

Attribute Macros§

  • A proc macro unrelated to adt-into: it is useful in hax and we don’t want a whole crate only for that helper.

Derive Macros§