Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Annotated
Error - An annotated kernel error: primary error plus a list of notes.
- Config
Node - A hierarchical configuration tree.
- Diagnostic
- A kernel diagnostic: severity + message.
- Diagnostic
Collection - A collection of diagnostics.
- Error
Accumulator - An accumulator that collects multiple kernel errors.
- Error
Context - A builder for constructing detailed error messages.
- Error
Note - A single note attached to a kernel error, providing extra context.
- Error
Report - A structured error report.
- Fixture
- A simple mutable key-value store for test fixtures.
- Flat
Substitution - A flat list of substitution pairs
(from, to). - Focus
Stack - A mutable reference stack for tracking the current “focus” in a tree traversal.
- Label
Set - A label set for a graph node.
- MinHeap
- A min-heap implemented as a binary heap.
- NonEmpty
Vec - A non-empty list (at least one element guaranteed).
- PathBuf
- A reusable scratch buffer for path computations.
- Phased
Error - A phased error: kernel error associated with a compilation phase.
- Prefix
Counter - A trie-based prefix counter.
- RawFn
Ptr - A type-erased function pointer with arity tracking.
- Rewrite
Rule - Represents a rewrite rule
lhs → rhs. - Rewrite
Rule Set - A set of rewrite rules.
- Simple
Dag - A simple directed acyclic graph.
- Sliding
Sum - A fixed-size sliding window that computes a running sum.
- Small
Map - A simple key-value store backed by a sorted Vec for small maps.
- Sparse
Vec - A sparse vector: stores only non-default elements.
- Stack
Calc - A simple stack-based calculator for arithmetic expressions.
- Stat
Summary - A generic counter that tracks min/max/sum for statistical summaries.
- Stopwatch
- A counter that can measure elapsed time between snapshots.
- String
Pool - A pool of reusable string buffers.
- Token
Bucket - A token bucket rate limiter.
- Transform
Stat - A pair of
StatSummaryvalues tracking before/after a transformation. - Transitive
Closure - A dependency closure builder (transitive closure via BFS).
- Versioned
Record - A versioned record that stores a history of values.
- Window
Iterator - A window iterator that yields overlapping windows of size
n. - Write
Once - A write-once cell.
Enums§
- Decision
Node - A simple decision tree node for rule dispatching.
- Either2
- A tagged union for representing a simple two-case discriminated union.
- Error
Category - High-level category of a kernel error, useful for structured handling.
- Kernel
Error - Errors that can occur during kernel type checking.
- Kernel
Phase - A phase label for grouping errors.
- Severity
- Severity of a kernel diagnostic.