Module adapton::reflect::trace
[−]
[src]
Gives effects and traces for cleaning and dirtying, the engine's
internal DCG traversal/processing. By contrast, the enclosing
module (reflect
) only gives reflected versions of the DCG
itself, not changes that the engine makes to it.
Structs
Cost |
For analytic cost analysis |
Edge |
An edge in the DCG, representing an effect of the incremental program. |
Trace |
|
TraceCount |
Count of effects and effect-patterns in trace. For fields
with two numbers, the first and second projection give the
|
Enums
AllocCase |
Distinguish fresh allocations from those that reuse an existing location. |
AllocKind |
Distinguish ref cell allocations from thunk allocations |
ChangeFlag | |
Effect |
The effects of the DCG (including cleaning and dirtying) on one of its edges. |
ForceCase |
When the program |
Role |
Functions
trace_count | |
trace_count_rec | |
trace_count_zero |