Module BrowserAnalysisTypes

Definition of the datatypes for the various analyses contained in the browser.

Summary of exported operations:

Exported datatypes:


FunctionAnalysis

Constructors:


AnalysisResult

Constructors:

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

ModuleAnalysis

Constructors:

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

ModuleAnalysisResult

Constructors:

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

ContentsKind

Constructors:

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

Exported operations: