| definition: |
moduleAnalyses :: [(String, ModuleAnalysis ModuleAnalysisResult)]
moduleAnalyses =
[("Interface",
InterfaceAnalysis (\int -> ContentsResult CurryProg (showInterface False int)))
--("Write Interface",
-- InterfaceAnalysis (\int -> ModuleAction (putStrLn (showInterface False int)))),
--("Read source file",
-- SourceCodeAnalysis (\fname -> readFile fname >>= \prog ->
-- return (ContentsResult CurryProg prog))),
,("Curry code (generated from FlatCurry)",
FlatCurryAnalysis (\prog -> ContentsResult CurryProg (showCurryModule prog)))
,("Source program with type signatures added", SourceCodeAnalysis addTypes)
,("FlatCurry code",
FlatCurryAnalysis (\prog -> ContentsResult CurryProg (showFlatCurry prog)))
,("FlatCurry expression",
FlatCurryAnalysis (\prog -> ContentsResult FlatCurryExp (showFlatProg prog)))
]
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
------------------------------------------------------------------------------- -- The list of all available analyses for individual modules. -- Each analysis must return a string representation of its analysis result -- or an IO action to show the result. |
| indeterministic: |
might be indeterministic |
| infix: |
no fixity defined |
| iotype: |
{() |-> {:}}
|
| name: |
moduleAnalyses |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
[(String, BrowserAnalysisTypes.ModuleAnalysis BrowserAnalysisTypes.ModuleAnalysisResult)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |