-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Reusable static analysis interfaces and modules.
--   
--   Reusable static analysis interfaces and modules.
@package staticanalysis
@version 0.0.0.3


-- | StaticAnalysis
--   
--   <pre>
--   StaticAnalysis/Analysis.hs
--   </pre>
--   
--   Interface for data structure that represents static analysis results.
module StaticAnalysis.Analysis

-- | Interface for analysis result data structures.
class Analysis a
unanalyzed :: Analysis a => a

-- | Interface for analysis result data structures with multiple analysis
--   components.
class (Analysis a, Analysis b) => Component b a
project :: Component b a => a -> b
inject :: Component b a => b -> a -> a


-- | StaticAnalysis
--   
--   <pre>
--   StaticAnalysis/Annotate.hs
--   </pre>
--   
--   Interface for abstract syntax data structures in which every node can
--   be annotated with a data structure that represents static analysis
--   results.
module StaticAnalysis.Annotate

-- | Interface for abstract syntax data structures that can be annotated.
class Annotate d
annotate :: (Annotate d, Analysis a) => a -> d a -> d a
annotation :: (Annotate d, Analysis a) => d a -> a


-- | StaticAnalysis
--   
--   <pre>
--   StaticAnalysis/Annotated.hs
--   </pre>
--   
--   Interface for abstract syntax data structures in which every node can
--   be annotated with a data structure that represents static analysis
--   results.
module StaticAnalysis.Analyze

-- | Interface for abstract syntax data structures that can be analyzed.
class (Annotate d, Analysis a) => Analyze d a
analyze :: Analyze d a => d a -> d a


-- | StaticAnalysis
--   
--   <pre>
--   StaticAnalysis/All.hs
--   </pre>
--   
--   Wrapper module for all StaticAnalysis modules.
module StaticAnalysis.All