Safe Haskell | Safe-Inferred |
---|
StaticAnalysis.Analyze
Description
StaticAnalysis
StaticAnalysis/Annotated.hs
Interface for abstract syntax data structures in which every node can be annotated with a data structure that represents static analysis results.