Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Annotation
Table - A key-value annotation table for arbitrary metadata.
- Before
After - A pair of values useful for before/after comparisons.
- BiMap
- A bidirectional map between two types.
- Checked
Equiv - A checked equivalence with its witness proof.
- Diag
Meta - A key-value store for diagnostic metadata.
- Equiv
Class - A single equivalence class with a canonical representative.
- Equiv
Manager - Equivalence manager for caching def_eq results during type checking.
- Equiv
Manager Stats - Statistics for the equivalence manager.
- Equiv
Query - A read-only view into an
EquivManagerfor query-only access. - Equiv
Stats - Statistics about the equivalence manager usage.
- Equivalence
Table - Maps expression hashes to equivalence class IDs.
- Event
Counter - A simple event counter with named events.
- Expr
Equiv Cache - A cache that records proven expression equalities.
- Frequency
Table - Tracks the frequency of items.
- Generation
- A generation counter for validity tracking.
- IdDispenser
- A counter that dispenses monotonically increasing
TypedIdvalues. - Index
Equiv Manager - A simple equivalence relation over integer indices.
- Instrumented
Equiv Manager - An instrumented equivalence manager that collects statistics.
- Interval
Set - A set of non-overlapping integer intervals.
- Loop
Clock - A clock that measures elapsed time in a loop.
- Memo
Slot - A memoized computation slot that stores a cached value.
- Persistent
Equiv Manager - A persistent equivalence manager that supports efficient batch updates.
- Ring
Buffer - A growable ring buffer with fixed maximum capacity.
- Scope
Stack - A simple stack-based scope tracker.
- Scoped
Equiv Manager - A scoped equivalence manager that supports push/pop of equivalence frames.
- SeqNum
- A sequence number that can be compared for ordering.
- Simple
LruCache - A simple LRU cache backed by a linked list + hash map.
- Slot
- A slot that can hold a value, with lazy initialization.
- Sparse
BitSet - A simple sparse bit set.
- Stat
Cache - A counted-access cache that tracks hit and miss statistics.
- String
Interner - Interns strings to save memory (each unique string stored once).
- Symmetric
Relation - A symmetric binary relation stored as a set of unordered pairs.
- Timestamp
- A monotonic timestamp in microseconds.
- TypedId
- A type-safe wrapper around a
u32identifier. - Union
Find - A union-find (disjoint-set) data structure with path compression.
- Work
Queue - A FIFO work queue.
- Work
Stack - A simple LIFO work queue.
Enums§
- Equiv
Proof Term - A proof term witnessing an equivalence.