eo-phi-normalizer-3.2.0: Command line normalizer of 𝜑-calculus expressions.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Report.Data

Documentation

data ReportRow Source #

Constructors

ReportRow
Fields fileInitial :: Maybe FilePath fileNormalized :: Maybe FilePath bindingsPathInitial :: Maybe Path bindingsPathNormalized :: Maybe Path attributeInitial :: Maybe String attributeNormalized :: Maybe String metricsChange :: MetricsChangeCategorized metricsInitial :: Metrics Int metricsNormalized :: Metrics Int

Instances

Instances details

FromJSON ReportRow Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods parseJSON :: Value -> Parser ReportRow # parseJSONList :: Value -> Parser [ReportRow] #
ToJSON ReportRow Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods toJSON :: ReportRow -> Value # toEncoding :: ReportRow -> Encoding # toJSONList :: [ReportRow] -> Value # toEncodingList :: [ReportRow] -> Encoding #

data ProgramReport Source #

Constructors

ProgramReport
Fields programRow :: ReportRow bindingsRows :: [ReportRow]

Instances

Instances details

FromJSON ProgramReport Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods parseJSON :: Value -> Parser ProgramReport # parseJSONList :: Value -> Parser [ProgramReport] #
ToJSON ProgramReport Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods toJSON :: ProgramReport -> Value # toEncoding :: ProgramReport -> Encoding # toJSONList :: [ProgramReport] -> Value # toEncodingList :: [ProgramReport] -> Encoding #

data Report Source #

Constructors

Report
Fields totalRow :: ReportRow programReports :: [ProgramReport]

Instances

Instances details

FromJSON Report Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods parseJSON :: Value -> Parser Report # parseJSONList :: Value -> Parser [Report] #
ToJSON Report Source #
Instance details Defined in Language.EO.Phi.Report.Data Methods toJSON :: Report -> Value # toEncoding :: Report -> Encoding # toJSONList :: [Report] -> Value # toEncodingList :: [Report] -> Encoding #

calculateMetricsChange :: MetricsChange -> MetricsCount -> MetricsCount -> MetricsChangeCategorized Source #

makeProgramReport :: PipelineConfig -> TestSetPhi -> ProgramMetrics -> ProgramMetrics -> ProgramReport Source #

makeReport :: PipelineConfig -> [ProgramReport] -> Report Source #