Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- Config
Node - A hierarchical configuration tree.
- EtaChecker
- A simple memoised eta-normal-form checker.
- EtaJob
- Represents a pending eta-reduction job.
- EtaJob
Queue - A priority queue for eta reduction jobs.
- EtaLog
- A log of eta-reduction outcomes with timestamps.
- EtaNorm
Info - Information about the eta-normal form of an expression.
- EtaNormal
Cache - A cache mapping expression hashes to whether they are eta-normal.
- EtaOp
Counter - A simple counter for tracking eta-related operations.
- EtaReduction
Stats - Statistics tracking eta-reduction performance.
- EtaRewrite
Rule - Represents a rewrite rule
lhs → rhs. - EtaStat
Counter - A counter tracking min/max/sum for eta pass statistics.
- Focus
Stack - A mutable reference stack for tracking the current “focus” in a tree traversal.
- Label
Set - A label set for a graph node.
- Lambda
Stats - Statistics about an expression’s lambda structure.
- NonEmpty
Vec - A non-empty list (at least one element guaranteed).
- PathBuf
- A reusable scratch buffer for path computations.
- RawFn
Ptr - A type-erased function pointer with arity tracking.
- Rewrite
Rule - A rewrite rule:
lhs → rhs(both closed expressions). - 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.
- Stat
Summary - A generic counter that tracks min/max/sum for statistical summaries.
- 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.
Enums§
- EtaOutcome
- Records the outcome of an eta-reduction attempt.
- EtaStructure
- Describes the structure of an expression for eta-expansion purposes.