Safe Haskell | None |
---|---|
Language | Haskell2010 |
- type ApproxLevel = Float
- type Analysis = ([(String, Float -> Check Pattern)], [ApproxLevel])
- data AnalysisResult = AnalysisResult {}
- total :: AnalysisResult -> Int
- (<+>) :: Map String Int -> Map String Int -> Map String Int
- emptyRes :: Analysis -> Map String Int
- analysePattern :: Analysis -> (Pattern, Pattern, String) -> AnalysisResult
- analysePatternGroup :: Analysis -> PatternGroup -> AnalysisResult
- orderedResults :: Analysis -> AnalysisResult -> [(String, Int)]
- fullAnalysis :: Analysis
- exactAnalysis :: Analysis
- protoAnalysis :: Analysis
- compoAnalysis :: Analysis
- approx6Analysis :: Analysis
Documentation
type ApproxLevel = Float Source #
total :: AnalysisResult -> Int Source #
emptyRes :: Analysis -> Map String Int Source #
An empty result includes map entries for all analyses.
analysePattern :: Analysis -> (Pattern, Pattern, String) -> AnalysisResult Source #
Analyse a single pattern.
analysePatternGroup :: Analysis -> PatternGroup -> AnalysisResult Source #
Analyse a pattern group.
orderedResults :: Analysis -> AnalysisResult -> [(String, Int)] Source #
Get the results of an analysis, ordered by their occurence in its definition.
Orphan instances
Show (String, ApproxLevel) Source # | |