phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Yaml

Documentation

parseJSON' :: String -> (String -> Either String a) -> Value -> Parser a Source #

data Number Source #

Constructors

Ordinal Attribute 
Length Binding 
Literal Integer 

Instances

Instances details
FromJSON Number Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Number #

parseJSONList :: Value -> Parser [Number] #

omittedField :: Maybe Number #

Generic Number Source # 
Instance details

Defined in Yaml

Associated Types

type Rep Number 
Instance details

Defined in Yaml

type Rep Number = D1 ('MetaData "Number" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Ordinal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "Length" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

Methods

from :: Number -> Rep Number x #

to :: Rep Number x -> Number #

Show Number Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> Number -> ShowS #

show :: Number -> String #

showList :: [Number] -> ShowS #

type Rep Number Source # 
Instance details

Defined in Yaml

type Rep Number = D1 ('MetaData "Number" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Ordinal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: (C1 ('MetaCons "Length" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "Literal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer))))

data Comparable Source #

Constructors

CmpAttr Attribute 
CmpNum Number 

Instances

Instances details
FromJSON Comparable Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Comparable #

parseJSONList :: Value -> Parser [Comparable] #

omittedField :: Maybe Comparable #

Generic Comparable Source # 
Instance details

Defined in Yaml

Associated Types

type Rep Comparable 
Instance details

Defined in Yaml

type Rep Comparable = D1 ('MetaData "Comparable" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "CmpAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "CmpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Number)))

Methods

from :: Comparable -> Rep Comparable x #

to :: Rep Comparable x -> Comparable #

Show Comparable Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> Comparable -> ShowS #

show :: Comparable -> String #

showList :: [Comparable] -> ShowS #

type Rep Comparable Source # 
Instance details

Defined in Yaml

type Rep Comparable = D1 ('MetaData "Comparable" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "CmpAttr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "CmpNum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Number)))

data Condition Source #

Constructors

And [Condition] 
Or [Condition] 
In Attribute Binding 
Not Condition 
Alpha Attribute 
Eq Comparable Comparable 
NF Expression 
XI Expression 
Match String Expression 

Instances

Instances details
FromJSON Condition Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Condition #

parseJSONList :: Value -> Parser [Condition] #

omittedField :: Maybe Condition #

Generic Condition Source # 
Instance details

Defined in Yaml

Associated Types

type Rep Condition 
Instance details

Defined in Yaml

type Rep Condition = D1 ('MetaData "Condition" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (((C1 ('MetaCons "And" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition])) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition]))) :+: (C1 ('MetaCons "In" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "Not" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Condition)))) :+: ((C1 ('MetaCons "Alpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "Eq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comparable) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comparable))) :+: (C1 ('MetaCons "NF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: (C1 ('MetaCons "XI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "Match" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))))))

Methods

from :: Condition -> Rep Condition x #

to :: Rep Condition x -> Condition #

Show Condition Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> Condition -> ShowS #

show :: Condition -> String #

showList :: [Condition] -> ShowS #

type Rep Condition Source # 
Instance details

Defined in Yaml

type Rep Condition = D1 ('MetaData "Condition" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (((C1 ('MetaCons "And" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition])) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Condition]))) :+: (C1 ('MetaCons "In" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "Not" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Condition)))) :+: ((C1 ('MetaCons "Alpha" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "Eq" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comparable) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Comparable))) :+: (C1 ('MetaCons "NF" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: (C1 ('MetaCons "XI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "Match" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))))))

data ExtraArgument Source #

Constructors

ArgAttribute Attribute 
ArgExpression Expression 
ArgBinding Binding 
ArgBytes Bytes 

Instances

Instances details
FromJSON ExtraArgument Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser ExtraArgument #

parseJSONList :: Value -> Parser [ExtraArgument] #

omittedField :: Maybe ExtraArgument #

Generic ExtraArgument Source # 
Instance details

Defined in Yaml

Associated Types

type Rep ExtraArgument 
Instance details

Defined in Yaml

type Rep ExtraArgument = D1 ('MetaData "ExtraArgument" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) ((C1 ('MetaCons "ArgAttribute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "ArgExpression" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :+: (C1 ('MetaCons "ArgBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "ArgBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes))))

Methods

from :: ExtraArgument -> Rep ExtraArgument x #

to :: Rep ExtraArgument x -> ExtraArgument #

Show ExtraArgument Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> ExtraArgument -> ShowS #

show :: ExtraArgument -> String #

showList :: [ExtraArgument] -> ShowS #

Pretty ExtraArgument Source # 
Instance details

Defined in Pretty

Methods

pretty :: ExtraArgument -> Doc ann #

prettyList :: [ExtraArgument] -> Doc ann #

type Rep ExtraArgument Source # 
Instance details

Defined in Yaml

type Rep ExtraArgument = D1 ('MetaData "ExtraArgument" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) ((C1 ('MetaCons "ArgAttribute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Attribute)) :+: C1 ('MetaCons "ArgExpression" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :+: (C1 ('MetaCons "ArgBinding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: C1 ('MetaCons "ArgBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes))))

data Extra Source #

Constructors

Extra 

Fields

Instances

Instances details
FromJSON Extra Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Extra #

parseJSONList :: Value -> Parser [Extra] #

omittedField :: Maybe Extra #

Generic Extra Source # 
Instance details

Defined in Yaml

Associated Types

type Rep Extra 
Instance details

Defined in Yaml

type Rep Extra = D1 ('MetaData "Extra" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Extra" 'PrefixI 'True) (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraArgument) :*: (S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExtraArgument]))))

Methods

from :: Extra -> Rep Extra x #

to :: Rep Extra x -> Extra #

Show Extra Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> Extra -> ShowS #

show :: Extra -> String #

showList :: [Extra] -> ShowS #

type Rep Extra Source # 
Instance details

Defined in Yaml

type Rep Extra = D1 ('MetaData "Extra" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Extra" 'PrefixI 'True) (S1 ('MetaSel ('Just "meta") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtraArgument) :*: (S1 ('MetaSel ('Just "function") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "args") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExtraArgument]))))

data Rule Source #

Constructors

Rule 

Fields

Instances

Instances details
FromJSON Rule Source # 
Instance details

Defined in Yaml

Methods

parseJSON :: Value -> Parser Rule #

parseJSONList :: Value -> Parser [Rule] #

omittedField :: Maybe Rule #

Generic Rule Source # 
Instance details

Defined in Yaml

Associated Types

type Rep Rule 
Instance details

Defined in Yaml

type Rep Rule = D1 ('MetaData "Rule" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "pattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :*: (S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: (S1 ('MetaSel ('Just "when") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Condition)) :*: S1 ('MetaSel ('Just "where_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Extra]))))))

Methods

from :: Rule -> Rep Rule x #

to :: Rep Rule x -> Rule #

Show Rule Source # 
Instance details

Defined in Yaml

Methods

showsPrec :: Int -> Rule -> ShowS #

show :: Rule -> String #

showList :: [Rule] -> ShowS #

type Rep Rule Source # 
Instance details

Defined in Yaml

type Rep Rule = D1 ('MetaData "Rule" "Yaml" "phino-0.0.0.19-5vwcxGi3nbd7CGknzsU6Lx" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "pattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :*: (S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: (S1 ('MetaSel ('Just "when") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Condition)) :*: S1 ('MetaSel ('Just "where_") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Extra]))))))

normalizationRules :: [Rule] Source #

yamlRule :: FilePath -> IO Rule Source #

Orphan instances