-- 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.1

module StaticAnalysis.Analysis
class Analysis a
unanalyzed :: Analysis a => a

module StaticAnalysis.Annotated
class Annotated d
annotate :: (Annotated d, Analysis a) => d a -> a -> d a
annotation :: (Annotated d, Analysis a) => d a -> a

module StaticAnalysis.All