StaticAnalysis.Analyze

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.

Documentation

class (Annotate d, Analysis a) => Analyze d a where

Interface for abstract syntax data structures that can be analyzed.

Methods

analyze :: d a -> d a