staticanalysis-0.0.0.1: Reusable static analysis interfaces and modules.
StaticAnalysis.Annotated
class Annotated d whereSource
Methods
annotate :: Analysis a => d a -> a -> d aSource
annotation :: Analysis a => d a -> aSource