hax_frontend_exporter

Module id_table

source

Modules§

  • heterogeneous_map 🔒
    This module provides an heterogenous map that can store types that implement the trait SupportedType.
  • serde_repr 🔒
    Defines representations for various types when serializing or/and deserializing via serde

Structs§

  • Id
    Unique IDs in a ID table.
  • Node
    A node is a bundle of an ID with a value.
  • Session
    A session providing fresh IDs for ID table.
  • Table
    A table is a map from IDs to Values. When serialized, we represent a table as a sorted vector. Indeed, the values stored in the table might reference each other, without cycle, so the order matters.
  • WithTable
    Wrapper for a type T that creates a bundle containing both a ID table and a value T. That value may contains Node values inside it. Serializing WithTable<T> will serialize IDs only, skipping values. Deserialization of a WithTable<T> will automatically use the table and IDs to reconstruct skipped values.

Enums§

  • Value
    The different types of values one can store in an ID table.

Statics§

Functions§