Module AnalysisTypes

Exported datatypes:

Constructors:

• LocalAnalysis :: (FuncDecl -> a) -> FunctionAnalysis a
• LocalDataAnalysis :: ([TypeDecl] -> FuncDecl -> a) -> FunctionAnalysis a
• GlobalAnalysis :: ([FuncDecl] -> [(QName,a)]) -> FunctionAnalysis a
• GlobalDataAnalysis :: ([TypeDecl] -> [FuncDecl] -> [(QName,a)]) -> FunctionAnalysis a

Constructors:

• MsgResult :: String -> AnalysisResult
• ActionResult :: (IO String) -> AnalysisResult

Constructors:

• InterfaceAnalysis :: (Prog -> a) -> ModuleAnalysis a
• FlatCurryAnalysis :: (Prog -> a) -> ModuleAnalysis a
• SourceCodeAnalysis :: (String -> IO a) -> ModuleAnalysis a

Constructors:

• ContentsResult :: ContentsKind -> String -> ModuleAnalysisResult
• ModuleAction :: (IO ()) -> ModuleAnalysisResult

Constructors:

• CurryProg :: ContentsKind
• LCurryProg :: ContentsKind
• FlatCurryExp :: ContentsKind
• OtherText :: ContentsKind

Exported operations: