Safe Haskell | Safe-Infered |
---|
This module performs dependency analysis for generating subroutines.
- Direct dependency between Manifest/Existing nodes X and Y: the subroutine that outputs Y needs to read X as input
- Indirect dependency between Manifest nodes X and Y: the computation of Y requires that the computation of X is finished, and therefore X and Y cannot be output by the same subroutine
- Calculation dependency between any node X and Manifest node Y: in the subroutine you output Y you need to calculate X.
c.f. Dependency
- writeGrouping :: Ready v g => OM v g Annotation -> OM v g Annotation
Documentation
writeGrouping :: Ready v g => OM v g Annotation -> OM v g AnnotationSource
Give unique numbering to each groups in the entire OM in preparation for code generation