StaticAnalysis.Annotate

StaticAnalysis

StaticAnalysis/Annotate.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 where

Interface for abstract syntax data structures that can be annotated.

Methods

annotate :: Analysis a => a -> d a -> d a

annotation :: Analysis a => d a -> a