Expand description
Auto-generated module
🤖 Generated with SplitRS
Structs§
- AnfConverter
- A-normal form converter for erased expressions.
- Erase
Config - Configuration for the type eraser.
- Erased
Ast - High-level AST node wrapping an erased expression with source metadata.
- Erased
Beta Reducer - Performs beta reduction on erased expressions.
- Erased
BitOps - Bit manipulation operations for erased literal values.
- Erased
Call Site - Describes a call site in the erased IR.
- Erased
Closure Env - Represents a captured environment for a closure in erased code.
- Erased
Codegen - A simple code generator for erased expressions (stub).
- Erased
Const Folder - Constant folding for erased arithmetic expressions.
- Erased
Constant Pool - Pools integer literals to avoid duplication in the erased IR.
- ErasedDCE
- Dead-code elimination for erased expressions.
- Erased
Env - Environment for erased computation (parallel binding arrays).
- Erased
Flat App - A flat representation of a spine:
f a0 a1 … aN. - Erased
Inliner - Inline simple constants in an erased expression.
- Erased
Interpreter - A small-step interpreter for erased expressions.
- Erased
LetChain - A chain of let-bindings produced by ANF conversion.
- Erased
Liveness - Tracks which de Bruijn indices are live at a given program point.
- Erased
Match Arm - A single arm of an erased match expression.
- Erased
Module - A collection of erased declarations forming a module.
- Erased
Normalizer - A normalizer for erased expressions (beta + delta reduction).
- Erased
Optimizer - A simple optimizer that chains beta reduction, inlining, and DCE.
- Erased
Printer - Prints an erased expression to a structured string format.
- Erased
Reachability - A reachability tracker for erased expressions.
- Erased
Renamer - Rename all free variables in an expression using a substitution map.
- Erased
Scope - A scope for erased code: a stack of local bindings.
- Erased
Size Bound - Checks size bounds on erased expressions.
- Erased
Stack - A stack-based evaluator for erased expressions.
- Erased
Subst Map - A substitution map from de Bruijn index to erased expression.
- Erased
Tuple Ops - Tuple constructor and projector for erased expressions.
- Erased
Type Map - A map from expression ids to their erased forms.
- Erasure
Context - An erasure context tracking which variables are types vs terms.
- Erasure
Pass - A pass pipeline combining multiple transformation passes.
- Erasure
Stats - Statistics collected during type erasure.
- Pipeline
Runner - Runs a sequence of
ErasedPassimplementations in order. - Type
Eraser - Performs type erasure on kernel expressions.
Enums§
- Erased
Decl - An erased module declaration.
- Erased
Expr - A kernel expression with type information erased.
- Erased
Expr Ext - An erased expression node with only runtime-relevant information.
- Erased
Heap Obj - A heap-allocated object in the erased runtime.
- Erased
Pattern - A pattern in an erased match expression.
- Erased
Value - An erased value (runtime representation after full reduction).