Analysis

Documentation

type ApproxLevel = Float

type Analysis = ([(String, Float -> Check Pattern)], [ApproxLevel])

data AnalysisResult

Constructors

AnalysisResult

Fields

• name :: String
• results :: Map String Int
• unclassified :: [(String, Pattern)]

Instances

Generic AnalysisResult

Associated Types

type Rep AnalysisResult :: * -> *

Methods

from :: AnalysisResult -> Rep AnalysisResult x

to :: Rep AnalysisResult x -> AnalysisResult

Monoid AnalysisResult

Methods

mempty :: AnalysisResult

mappend :: AnalysisResult -> AnalysisResult -> AnalysisResult

mconcat :: [AnalysisResult] -> AnalysisResult

type Rep AnalysisResult

type Rep AnalysisResult = D1 (MetaData "AnalysisResult" "Analysis" "hs-pattrans-0.1.0.2-inplace" False) (C1 (MetaCons "AnalysisResult" PrefixI True) ((:*:) (S1 (MetaSel (Just Symbol "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) ((:*:) (S1 (MetaSel (Just Symbol "results") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String Int))) (S1 (MetaSel (Just Symbol "unclassified") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(String, Pattern)])))))

total :: AnalysisResult -> Int

(<+>) :: Map String Int -> Map String Int -> Map String Int

Combining analysis results.

emptyRes :: Analysis -> Map String Int

An empty result includes map entries for all analyses.

analysePattern :: Analysis -> (Pattern, Pattern, String) -> AnalysisResult

Analyse a single pattern.

analysePatternGroup :: Analysis -> PatternGroup -> AnalysisResult

Analyse a pattern group.

orderedResults :: Analysis -> AnalysisResult -> [(String, Int)]

Get the results of an analysis, ordered by their occurence in its definition.

fullAnalysis :: Analysis

exactAnalysis :: Analysis

protoAnalysis :: Analysis

compoAnalysis :: Analysis

approx6Analysis :: Analysis

Orphan instances

Show (String, ApproxLevel)

Methods

showsPrec :: Int -> (String, ApproxLevel) -> ShowS

show :: (String, ApproxLevel) -> String

showList :: [(String, ApproxLevel)] -> ShowS