eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Pipeline.Config

Documentation

data TestSetPhi Source #

Instances

Instances details
FromJSON TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep TestSetPhi :: Type -> Type #

Show TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSetPhi = D1 ('MetaData "TestSetPhi" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "TestSetPhi" 'PrefixI 'True) ((S1 ('MetaSel ('Just "initial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "normalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :*: (S1 ('MetaSel ('Just "bindingsPathInitial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "bindingsPathNormalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)))))

data MetricsChangeCategory a Source #

Constructors

MetricsChange'Good 

Fields

MetricsChange'Bad 

Fields

MetricsChange'NA 

Instances

Instances details
FromJSON a => FromJSON (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON a => ToJSON (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep (MetricsChangeCategory a) :: Type -> Type #

Show a => Show (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Eq a => Eq (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep (MetricsChangeCategory a) = D1 ('MetaData "MetricsChangeCategory" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "MetricsChange'Good" 'PrefixI 'True) (S1 ('MetaSel ('Just "change") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "MetricsChange'Bad" 'PrefixI 'True) (S1 ('MetaSel ('Just "change") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "MetricsChange'NA" 'PrefixI 'False) (U1 :: Type -> Type)))

newtype Percent Source #

Constructors

Percent 

Fields

Instances

Instances details
FromJSON Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Floating Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

RealFloat Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Num Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Fractional Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Real Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

RealFrac Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

properFraction :: Integral b => Percent -> (b, Percent) #

truncate :: Integral b => Percent -> b #

round :: Integral b => Percent -> b #

ceiling :: Integral b => Percent -> b #

floor :: Integral b => Percent -> b #

Show Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToMarkup Percent Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

ToDataSort Percent Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

Eq Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

(==) :: Percent -> Percent -> Bool #

(/=) :: Percent -> Percent -> Bool #

Ord Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

data ReportInput Source #

Constructors

ReportInput 

Instances

Instances details
FromJSON ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportInput :: Type -> Type #

Show ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportInput = D1 ('MetaData "ReportInput" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ReportInput" 'PrefixI 'True) (S1 ('MetaSel ('Just "js") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "css") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath))))

data ReportOutput Source #

Instances

Instances details
FromJSON ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportOutput :: Type -> Type #

Show ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportOutput = D1 ('MetaData "ReportOutput" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ReportOutput" 'PrefixI 'True) (S1 ('MetaSel ('Just "html") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: (S1 ('MetaSel ('Just "json") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)) :*: S1 ('MetaSel ('Just "markdown") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe FilePath)))))

data ReportConfig Source #

Instances

Instances details
FromJSON ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportConfig :: Type -> Type #

Show ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep ReportConfig = D1 ('MetaData "ReportConfig" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "ReportConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "input") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ReportInput)) :*: S1 ('MetaSel ('Just "output") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReportOutput)) :*: (S1 ('MetaSel ('Just "expectedMetricsChange") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 MetricsChange) :*: S1 ('MetaSel ('Just "expectedImprovedProgramsPercentage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Percent))))

data TestSetEO Source #

Constructors

TestSetEO 

Fields

Instances

Instances details
FromJSON TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep TestSetEO :: Type -> Type #

Show TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSetEO = D1 ('MetaData "TestSetEO" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "TestSetEO" 'PrefixI 'True) ((S1 ('MetaSel ('Just "original") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "yaml") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)) :*: (S1 ('MetaSel ('Just "filtered") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: (S1 ('MetaSel ('Just "include") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String])) :*: S1 ('MetaSel ('Just "exclude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String]))))))

data AtomsSet Source #

Constructors

AtomsSet 

Fields

Instances

Instances details
FromJSON AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep AtomsSet :: Type -> Type #

Methods

from :: AtomsSet -> Rep AtomsSet x #

to :: Rep AtomsSet x -> AtomsSet #

Show AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep AtomsSet = D1 ('MetaData "AtomsSet" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "AtomsSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "enable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String])) :*: S1 ('MetaSel ('Just "disable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String]))))

data TestSet Source #

Constructors

TestSet 

Fields

Instances

Instances details
FromJSON TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep TestSet :: Type -> Type #

Methods

from :: TestSet -> Rep TestSet x #

to :: Rep TestSet x -> TestSet #

Show TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep TestSet = D1 ('MetaData "TestSet" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "TestSet" 'PrefixI 'True) ((S1 ('MetaSel ('Just "eo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TestSetEO) :*: S1 ('MetaSel ('Just "phi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TestSetPhi)) :*: (S1 ('MetaSel ('Just "atoms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AtomsSet)) :*: S1 ('MetaSel ('Just "enable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool)))))

data PipelineConfig Source #

Constructors

PipelineConfig 

Instances

Instances details
FromJSON PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

ToJSON PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Generic PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep PipelineConfig :: Type -> Type #

Show PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep PipelineConfig = D1 ('MetaData "PipelineConfig" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-2.2.2-HCiAPEhyNyPA9TYfe0v2V6" 'False) (C1 ('MetaCons "PipelineConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "report") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ReportConfig) :*: S1 ('MetaSel ('Just "testSets") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TestSet])))

data ReportFormat Source #

Constructors

ReportFormat'Html 
ReportFormat'Markdown

GitHub Flavored Markdown

Instances

Instances details
Eq ReportFormat Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config