phino-0.0.0.17: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	None
Language	Haskell2010

Yaml

Contents

Orphan instances

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.17-2b1tbfUUh36B5bHKuQ8jM7" '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.17-2b1tbfUUh36B5bHKuQ8jM7" '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.17-2b1tbfUUh36B5bHKuQ8jM7" '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.17-2b1tbfUUh36B5bHKuQ8jM7" '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

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.17-2b1tbfUUh36B5bHKuQ8jM7" '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)))))

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.17-2b1tbfUUh36B5bHKuQ8jM7" '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)))))

data ExtraArgument Source #

Constructors

ArgAttribute Attribute
ArgExpression Expression
ArgBinding Binding

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.17-2b1tbfUUh36B5bHKuQ8jM7" '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))))

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 #

type Rep ExtraArgument Source #

Instance details

Defined in Yaml

type Rep ExtraArgument = D1 ('MetaData "ExtraArgument" "Yaml" "phino-0.0.0.17-2b1tbfUUh36B5bHKuQ8jM7" '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))))

data Extra Source #

Constructors

Extra
Fields meta :: ExtraArgument function :: String args :: [ExtraArgument]

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

Instance details

Defined in Yaml

type Rep Extra = D1 ('MetaData "Extra" "Yaml" "phino-0.0.0.17-2b1tbfUUh36B5bHKuQ8jM7" '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.17-2b1tbfUUh36B5bHKuQ8jM7" '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 name :: Maybe String pattern :: Expression result :: Expression when :: Maybe Condition where_ :: Maybe [Extra]

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.17-2b1tbfUUh36B5bHKuQ8jM7" '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.17-2b1tbfUUh36B5bHKuQ8jM7" '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

FromJSON Attribute Source #
Instance details Methods parseJSON :: Value -> Parser Attribute # parseJSONList :: Value -> Parser [Attribute] # omittedField :: Maybe Attribute #
FromJSON Binding Source #
Instance details Methods parseJSON :: Value -> Parser Binding # parseJSONList :: Value -> Parser [Binding] # omittedField :: Maybe Binding #
FromJSON Expression Source #
Instance details Methods parseJSON :: Value -> Parser Expression # parseJSONList :: Value -> Parser [Expression] # omittedField :: Maybe Expression #