Definition of the datatypes for the various analyses contained in the browser.
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