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

Language.EO.Phi.Pipeline.Config

Documentation

data TestSetPhi Source #

Constructors

TestSetPhi 

Fields

Instances

Instances details
FromJSON TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser TestSetPhi #

parseJSONList :: Value -> Parser [TestSetPhi] #

ToJSON TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: TestSetPhi -> Value #

toEncoding :: TestSetPhi -> Encoding #

toJSONList :: [TestSetPhi] -> Value #

toEncodingList :: [TestSetPhi] -> Encoding #

Generic TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep TestSetPhi :: Type -> Type #

Methods

from :: TestSetPhi -> Rep TestSetPhi x #

to :: Rep TestSetPhi x -> TestSetPhi #

Show TestSetPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> TestSetPhi -> ShowS #

show :: TestSetPhi -> String #

showList :: [TestSetPhi] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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

Methods

parseJSON :: Value -> Parser (MetricsChangeCategory a) #

parseJSONList :: Value -> Parser [MetricsChangeCategory a] #

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

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: MetricsChangeCategory a -> Value #

toEncoding :: MetricsChangeCategory a -> Encoding #

toJSONList :: [MetricsChangeCategory a] -> Value #

toEncodingList :: [MetricsChangeCategory a] -> Encoding #

Generic (MetricsChangeCategory a) Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

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

Methods

from :: MetricsChangeCategory a -> Rep (MetricsChangeCategory a) x #

to :: Rep (MetricsChangeCategory a) x -> MetricsChangeCategory a #

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

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> MetricsChangeCategory a -> ShowS #

show :: MetricsChangeCategory a -> String #

showList :: [MetricsChangeCategory a] -> ShowS #

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

Defined in Language.EO.Phi.Pipeline.Config

Methods

(==) :: MetricsChangeCategory a -> MetricsChangeCategory a -> Bool #

(/=) :: MetricsChangeCategory a -> MetricsChangeCategory a -> Bool #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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)))

type MetricsChange = Metrics Percent Source #

newtype Percent Source #

Constructors

Percent 

Fields

Instances

Instances details
FromJSON Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser Percent #

parseJSONList :: Value -> Parser [Percent] #

ToJSON Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: Percent -> Value #

toEncoding :: Percent -> Encoding #

toJSONList :: [Percent] -> Value #

toEncodingList :: [Percent] -> Encoding #

Floating Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

pi :: Percent #

exp :: Percent -> Percent #

log :: Percent -> Percent #

sqrt :: Percent -> Percent #

(**) :: Percent -> Percent -> Percent #

logBase :: Percent -> Percent -> Percent #

sin :: Percent -> Percent #

cos :: Percent -> Percent #

tan :: Percent -> Percent #

asin :: Percent -> Percent #

acos :: Percent -> Percent #

atan :: Percent -> Percent #

sinh :: Percent -> Percent #

cosh :: Percent -> Percent #

tanh :: Percent -> Percent #

asinh :: Percent -> Percent #

acosh :: Percent -> Percent #

atanh :: Percent -> Percent #

log1p :: Percent -> Percent #

expm1 :: Percent -> Percent #

log1pexp :: Percent -> Percent #

log1mexp :: Percent -> Percent #

RealFloat Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

floatRadix :: Percent -> Integer #

floatDigits :: Percent -> Int #

floatRange :: Percent -> (Int, Int) #

decodeFloat :: Percent -> (Integer, Int) #

encodeFloat :: Integer -> Int -> Percent #

exponent :: Percent -> Int #

significand :: Percent -> Percent #

scaleFloat :: Int -> Percent -> Percent #

isNaN :: Percent -> Bool #

isInfinite :: Percent -> Bool #

isDenormalized :: Percent -> Bool #

isNegativeZero :: Percent -> Bool #

isIEEE :: Percent -> Bool #

atan2 :: Percent -> Percent -> Percent #

Num Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

(+) :: Percent -> Percent -> Percent #

(-) :: Percent -> Percent -> Percent #

(*) :: Percent -> Percent -> Percent #

negate :: Percent -> Percent #

abs :: Percent -> Percent #

signum :: Percent -> Percent #

fromInteger :: Integer -> Percent #

Fractional Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

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

recip :: Percent -> Percent #

fromRational :: Rational -> Percent #

Real Percent Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toRational :: Percent -> Rational #

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

Methods

showsPrec :: Int -> Percent -> ShowS #

show :: Percent -> String #

showList :: [Percent] -> ShowS #

ToMarkup Percent Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

Methods

toMarkup :: Percent -> Markup #

preEscapedToMarkup :: Percent -> Markup #

ToDataSort Percent Source # 
Instance details

Defined in Language.EO.Phi.Report.Html

Methods

toDataSort :: Percent -> Integer Source #

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

Methods

compare :: Percent -> Percent -> Ordering #

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

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

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

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

max :: Percent -> Percent -> Percent #

min :: Percent -> Percent -> Percent #

roundToStr :: Int -> Double -> String Source #

type MetricsChangeCategorized = Metrics (MetricsChangeCategory Percent) Source #

data ReportInput Source #

Constructors

ReportInput 

Fields

Instances

Instances details
FromJSON ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser ReportInput #

parseJSONList :: Value -> Parser [ReportInput] #

ToJSON ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: ReportInput -> Value #

toEncoding :: ReportInput -> Encoding #

toJSONList :: [ReportInput] -> Value #

toEncodingList :: [ReportInput] -> Encoding #

Generic ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportInput :: Type -> Type #

Methods

from :: ReportInput -> Rep ReportInput x #

to :: Rep ReportInput x -> ReportInput #

Show ReportInput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> ReportInput -> ShowS #

show :: ReportInput -> String #

showList :: [ReportInput] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #

Constructors

ReportOutput 

Fields

Instances

Instances details
FromJSON ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser ReportOutput #

parseJSONList :: Value -> Parser [ReportOutput] #

ToJSON ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: ReportOutput -> Value #

toEncoding :: ReportOutput -> Encoding #

toJSONList :: [ReportOutput] -> Value #

toEncodingList :: [ReportOutput] -> Encoding #

Generic ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportOutput :: Type -> Type #

Methods

from :: ReportOutput -> Rep ReportOutput x #

to :: Rep ReportOutput x -> ReportOutput #

Show ReportOutput Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> ReportOutput -> ShowS #

show :: ReportOutput -> String #

showList :: [ReportOutput] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 #

Constructors

ReportConfig 

Fields

Instances

Instances details
FromJSON ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser ReportConfig #

parseJSONList :: Value -> Parser [ReportConfig] #

ToJSON ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: ReportConfig -> Value #

toEncoding :: ReportConfig -> Encoding #

toJSONList :: [ReportConfig] -> Value #

toEncodingList :: [ReportConfig] -> Encoding #

Generic ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep ReportConfig :: Type -> Type #

Methods

from :: ReportConfig -> Rep ReportConfig x #

to :: Rep ReportConfig x -> ReportConfig #

Show ReportConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> ReportConfig -> ShowS #

show :: ReportConfig -> String #

showList :: [ReportConfig] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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

Methods

parseJSON :: Value -> Parser TestSetEO #

parseJSONList :: Value -> Parser [TestSetEO] #

ToJSON TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: TestSetEO -> Value #

toEncoding :: TestSetEO -> Encoding #

toJSONList :: [TestSetEO] -> Value #

toEncodingList :: [TestSetEO] -> Encoding #

Generic TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep TestSetEO :: Type -> Type #

Methods

from :: TestSetEO -> Rep TestSetEO x #

to :: Rep TestSetEO x -> TestSetEO #

Show TestSetEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> TestSetEO -> ShowS #

show :: TestSetEO -> String #

showList :: [TestSetEO] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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

Methods

parseJSON :: Value -> Parser AtomsSet #

parseJSONList :: Value -> Parser [AtomsSet] #

ToJSON AtomsSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: AtomsSet -> Value #

toEncoding :: AtomsSet -> Encoding #

toJSONList :: [AtomsSet] -> Value #

toEncodingList :: [AtomsSet] -> Encoding #

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

Methods

showsPrec :: Int -> AtomsSet -> ShowS #

show :: AtomsSet -> String #

showList :: [AtomsSet] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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 PathPrefixEO Source #

Constructors

PathPrefixEO 

Fields

Instances

Instances details
FromJSON PathPrefixEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser PathPrefixEO #

parseJSONList :: Value -> Parser [PathPrefixEO] #

ToJSON PathPrefixEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: PathPrefixEO -> Value #

toEncoding :: PathPrefixEO -> Encoding #

toJSONList :: [PathPrefixEO] -> Value #

toEncodingList :: [PathPrefixEO] -> Encoding #

Generic PathPrefixEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep PathPrefixEO :: Type -> Type #

Methods

from :: PathPrefixEO -> Rep PathPrefixEO x #

to :: Rep PathPrefixEO x -> PathPrefixEO #

Show PathPrefixEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> PathPrefixEO -> ShowS #

show :: PathPrefixEO -> String #

showList :: [PathPrefixEO] -> ShowS #

type Rep PathPrefixEO Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep PathPrefixEO = D1 ('MetaData "PathPrefixEO" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "PathPrefixEO" '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))))

data PathPrefixPhi Source #

Constructors

PathPrefixPhi 

Fields

Instances

Instances details
FromJSON PathPrefixPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser PathPrefixPhi #

parseJSONList :: Value -> Parser [PathPrefixPhi] #

ToJSON PathPrefixPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: PathPrefixPhi -> Value #

toEncoding :: PathPrefixPhi -> Encoding #

toJSONList :: [PathPrefixPhi] -> Value #

toEncodingList :: [PathPrefixPhi] -> Encoding #

Generic PathPrefixPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep PathPrefixPhi :: Type -> Type #

Methods

from :: PathPrefixPhi -> Rep PathPrefixPhi x #

to :: Rep PathPrefixPhi x -> PathPrefixPhi #

Show PathPrefixPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> PathPrefixPhi -> ShowS #

show :: PathPrefixPhi -> String #

showList :: [PathPrefixPhi] -> ShowS #

type Rep PathPrefixPhi Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep PathPrefixPhi = D1 ('MetaData "PathPrefixPhi" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "PathPrefixPhi" 'PrefixI 'True) (S1 ('MetaSel ('Just "initial") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath) :*: S1 ('MetaSel ('Just "normalized") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FilePath)))

data PathPrefix Source #

Constructors

PathPrefix 

Fields

Instances

Instances details
FromJSON PathPrefix Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser PathPrefix #

parseJSONList :: Value -> Parser [PathPrefix] #

ToJSON PathPrefix Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: PathPrefix -> Value #

toEncoding :: PathPrefix -> Encoding #

toJSONList :: [PathPrefix] -> Value #

toEncodingList :: [PathPrefix] -> Encoding #

Generic PathPrefix Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep PathPrefix :: Type -> Type #

Methods

from :: PathPrefix -> Rep PathPrefix x #

to :: Rep PathPrefix x -> PathPrefix #

Show PathPrefix Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> PathPrefix -> ShowS #

show :: PathPrefix -> String #

showList :: [PathPrefix] -> ShowS #

type Rep PathPrefix Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep PathPrefix = D1 ('MetaData "PathPrefix" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "PathPrefix" 'PrefixI 'True) (S1 ('MetaSel ('Just "eo") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PathPrefixEO) :*: S1 ('MetaSel ('Just "phi") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PathPrefixPhi)))

data Common Source #

Constructors

Common 

Fields

Instances

Instances details
FromJSON Common Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser Common #

parseJSONList :: Value -> Parser [Common] #

ToJSON Common Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: Common -> Value #

toEncoding :: Common -> Encoding #

toJSONList :: [Common] -> Value #

toEncodingList :: [Common] -> Encoding #

Generic Common Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep Common :: Type -> Type #

Methods

from :: Common -> Rep Common x #

to :: Rep Common x -> Common #

Show Common Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> Common -> ShowS #

show :: Common -> String #

showList :: [Common] -> ShowS #

type Rep Common Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep Common = D1 ('MetaData "Common" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "Common" 'PrefixI 'True) (S1 ('MetaSel ('Just "pathPrefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PathPrefix) :*: S1 ('MetaSel ('Just "bindingsPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))))

data Individual Source #

Constructors

Individual 

Fields

Instances

Instances details
FromJSON Individual Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser Individual #

parseJSONList :: Value -> Parser [Individual] #

ToJSON Individual Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: Individual -> Value #

toEncoding :: Individual -> Encoding #

toJSONList :: [Individual] -> Value #

toEncodingList :: [Individual] -> Encoding #

Generic Individual Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep Individual :: Type -> Type #

Methods

from :: Individual -> Rep Individual x #

to :: Rep Individual x -> Individual #

Show Individual Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> Individual -> ShowS #

show :: Individual -> String #

showList :: [Individual] -> ShowS #

type Rep Individual Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

type Rep Individual = D1 ('MetaData "Individual" "Language.EO.Phi.Pipeline.Config" "eo-phi-normalizer-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "Individual" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "enable") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "include") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String])) :*: (S1 ('MetaSel ('Just "exclude") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [String])) :*: S1 ('MetaSel ('Just "atoms") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe AtomsSet))))))

data TestSet Source #

Constructors

TestSetExtended 

Fields

TestSetCompact 

Fields

Instances

Instances details
FromJSON TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser TestSet #

parseJSONList :: Value -> Parser [TestSet] #

ToJSON TestSet Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: TestSet -> Value #

toEncoding :: TestSet -> Encoding #

toJSONList :: [TestSet] -> Value #

toEncodingList :: [TestSet] -> Encoding #

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

Methods

showsPrec :: Int -> TestSet -> ShowS #

show :: TestSet -> String #

showList :: [TestSet] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" 'False) (C1 ('MetaCons "TestSetExtended" '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)))) :+: C1 ('MetaCons "TestSetCompact" 'PrefixI 'True) (S1 ('MetaSel ('Just "common") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Common) :*: S1 ('MetaSel ('Just "individual") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Individual])))

data PipelineConfig Source #

Constructors

PipelineConfig 

Fields

Instances

Instances details
FromJSON PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

parseJSON :: Value -> Parser PipelineConfig #

parseJSONList :: Value -> Parser [PipelineConfig] #

ToJSON PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

toJSON :: PipelineConfig -> Value #

toEncoding :: PipelineConfig -> Encoding #

toJSONList :: [PipelineConfig] -> Value #

toEncodingList :: [PipelineConfig] -> Encoding #

Generic PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Associated Types

type Rep PipelineConfig :: Type -> Type #

Methods

from :: PipelineConfig -> Rep PipelineConfig x #

to :: Rep PipelineConfig x -> PipelineConfig #

Show PipelineConfig Source # 
Instance details

Defined in Language.EO.Phi.Pipeline.Config

Methods

showsPrec :: Int -> PipelineConfig -> ShowS #

show :: PipelineConfig -> String #

showList :: [PipelineConfig] -> ShowS #

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-3.2.0-JYpRuzRMmxREAY3Gx6hnyF" '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

Methods

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

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

split :: forall a. (a -> Bool) -> [a] -> [[a]] Source #

toExtended :: PipelineConfig -> PipelineConfig Source #

readPipelineConfig :: MonadIO m => FilePath -> m PipelineConfig Source #