Safe Haskell	Safe-Inferred
Language	Haskell2010

Yaml

Contents

Orphan instances

Documentation

shiftYamlError :: String -> String Source #

validateYamlObject :: MonadFail a => Object -> [String] -> a () Source #

validateKnownYamlKeys :: MonadFail a => Object -> [String] -> a () Source #

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

parseCondition :: Object -> Parser Condition Source #

data Number Source #

Constructors

MetaIndex Text
AnyIndex Slot
Length Binding
Domain Binding
Literal Int

Instances

Instances details

Generic Number Source #
Instance details Defined in Yaml Associated Types type Rep Number :: Type -> Type # 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 #
Eq Number Source #
Instance details Defined in Yaml Methods (==) :: Number -> Number -> Bool # (/=) :: Number -> Number -> Bool #
Metas Number Source #
Instance details Defined in Yaml Methods metas :: Number -> [Text] Source # bare :: [Text] -> Number -> Number Source #
Slots Number Source #
Instance details Defined in Yaml Methods slots :: Number -> [Slot] Source #
FromJSON Number Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Number Source # parseJSONList :: Value -> Parser [Number] Source # omittedField :: Maybe Number Source #
ToCST Number NUMBER Source #
Instance details Defined in CST Methods toCST :: Number -> (Int, EOL) -> NUMBER Source #
type Rep Number Source #
Instance details Defined in Yaml type Rep Number = D1 ('MetaData "Number" "Yaml" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "MetaIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "AnyIndex" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Slot))) :+: (C1 ('MetaCons "Length" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: (C1 ('MetaCons "Domain" '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 Int)))))

data Comparable Source #

Constructors

CmpAttr Attribute
CmpNum Number
CmpExpr Expression

Instances

Instances details

Generic Comparable Source #
Instance details Defined in Yaml Associated Types type Rep Comparable :: Type -> Type # 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 #
Eq Comparable Source #
Instance details Defined in Yaml Methods (==) :: Comparable -> Comparable -> Bool # (/=) :: Comparable -> Comparable -> Bool #
Metas Comparable Source #
Instance details Defined in Yaml Methods metas :: Comparable -> [Text] Source # bare :: [Text] -> Comparable -> Comparable Source #
Slots Comparable Source #
Instance details Defined in Yaml Methods slots :: Comparable -> [Slot] Source #
FromJSON Comparable Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Comparable Source # parseJSONList :: Value -> Parser [Comparable] Source # omittedField :: Maybe Comparable Source #
ToCST Comparable COMPARABLE Source #
Instance details Defined in CST Methods toCST :: Comparable -> (Int, EOL) -> COMPARABLE Source #
type Rep Comparable Source #
Instance details Defined in Yaml type Rep Comparable = D1 ('MetaData "Comparable" "Yaml" "phino-0.0.0-inplace" '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)) :+: C1 ('MetaCons "CmpExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))))

data Condition Source #

Instances

Instances details

Generic Condition Source #
Instance details Defined in Yaml Associated Types type Rep Condition :: Type -> Type # 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 #
Eq Condition Source #
Instance details Defined in Yaml Methods (==) :: Condition -> Condition -> Bool # (/=) :: Condition -> Condition -> Bool #
Metas Condition Source #
Instance details Defined in Yaml Methods metas :: Condition -> [Text] Source # bare :: [Text] -> Condition -> Condition Source #
Slots Condition Source #
Instance details Defined in Yaml Methods slots :: Condition -> [Slot] Source #
FromJSON Condition Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Condition Source # parseJSONList :: Value -> Parser [Condition] Source # omittedField :: Maybe Condition Source #
ToCST Condition CONDITION Source #
Instance details Defined in CST Methods toCST :: Condition -> (Int, EOL) -> CONDITION Source #
type Rep Condition Source #
Instance details Defined in Yaml type Rep Condition = D1 ('MetaData "Condition" "Yaml" "phino-0.0.0-inplace" '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 "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 "Gt" '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 "Absolute" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "Matches" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)))) :+: (C1 ('MetaCons "PartOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Binding)) :+: (C1 ('MetaCons "Disjoint" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Attribute]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])) :+: C1 ('MetaCons "IsFormation" 'PrefixI 'False) (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

Generic ExtraArgument Source #
Instance details Defined in Yaml Associated Types type Rep ExtraArgument :: Type -> Type # 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 #
Metas ExtraArgument Source #
Instance details Defined in Yaml Methods metas :: ExtraArgument -> [Text] Source # bare :: [Text] -> ExtraArgument -> ExtraArgument Source #
Slots ExtraArgument Source #
Instance details Defined in Yaml Methods slots :: ExtraArgument -> [Slot] Source #
FromJSON ExtraArgument Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser ExtraArgument Source # parseJSONList :: Value -> Parser [ExtraArgument] Source # omittedField :: Maybe ExtraArgument Source #
ToCST ExtraArgument EXTRA_ARG Source #
Instance details Defined in CST Methods toCST :: ExtraArgument -> (Int, EOL) -> EXTRA_ARG Source #
type Rep ExtraArgument Source #
Instance details Defined in Yaml type Rep ExtraArgument = D1 ('MetaData "ExtraArgument" "Yaml" "phino-0.0.0-inplace" '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 meta :: ExtraArgument function :: String args :: [ExtraArgument]

Instances

Instances details

Generic Extra Source #
Instance details Defined in Yaml Associated Types type Rep Extra :: Type -> Type # 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 #
Metas Extra Source #
Instance details Defined in Yaml Methods metas :: Extra -> [Text] Source # bare :: [Text] -> Extra -> Extra Source #
Slots Extra Source #
Instance details Defined in Yaml Methods slots :: Extra -> [Slot] Source #
FromJSON Extra Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Extra Source # parseJSONList :: Value -> Parser [Extra] Source # omittedField :: Maybe Extra Source #
ToCST Extra EXTRA Source #
Instance details Defined in CST Methods toCST :: Extra -> (Int, EOL) -> EXTRA Source #
type Rep Extra Source #
Instance details Defined in Yaml type Rep Extra = D1 ('MetaData "Extra" "Yaml" "phino-0.0.0-inplace" '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 :: String label :: Maybe String description :: Maybe String pattern :: Expression result :: Expression when :: Maybe Condition where_ :: Maybe [Extra] having :: Maybe Condition

Instances

Instances details

Generic Rule Source #
Instance details Defined in Yaml Associated Types type Rep Rule :: Type -> Type # 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 #
Metas Rule Source #
Instance details Defined in Yaml Methods metas :: Rule -> [Text] Source # bare :: [Text] -> Rule -> Rule Source #
FromJSON Rule Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Rule Source # parseJSONList :: Value -> Parser [Rule] Source # omittedField :: Maybe Rule Source #
type Rep Rule Source #
Instance details Defined in Yaml type Rep Rule = D1 ('MetaData "Rule" "Yaml" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) (((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))) :: (S1 ('MetaSel ('Just "description") '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])) :*: S1 ('MetaSel ('Just "having") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Condition))))))

universeless :: String -> Value -> Parser () Source #

referenceless :: (MonadFail m, Slots a) => String -> String -> a -> m () Source #

decodeRule :: FromJSON a => (FilePath, ByteString) -> a Source #

normalizationRules :: [Rule] Source #

yamlRule :: FilePath -> IO Rule Source #

data Premise Source #

Constructors

Premise
Fields result :: Text operation :: Operation

Instances

Instances details

Generic Premise Source #
Instance details Defined in Yaml Associated Types type Rep Premise :: Type -> Type # Methods from :: Premise -> Rep Premise x # to :: Rep Premise x -> Premise #
Show Premise Source #
Instance details Defined in Yaml Methods showsPrec :: Int -> Premise -> ShowS # show :: Premise -> String # showList :: [Premise] -> ShowS #
Eq Premise Source #
Instance details Defined in Yaml Methods (==) :: Premise -> Premise -> Bool # (/=) :: Premise -> Premise -> Bool #
Metas Premise Source #
Instance details Defined in Yaml Methods metas :: Premise -> [Text] Source # bare :: [Text] -> Premise -> Premise Source #
Slots Premise Source #
Instance details Defined in Yaml Methods slots :: Premise -> [Slot] Source #
FromJSON Premise Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser Premise Source # parseJSONList :: Value -> Parser [Premise] Source # omittedField :: Maybe Premise Source #
type Rep Premise Source #
Instance details Defined in Yaml type Rep Premise = D1 ('MetaData "Premise" "Yaml" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "Premise" 'PrefixI 'True) (S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "operation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Operation)))

data Operation Source #

Constructors

OpMorph Expression Expression
OpNormalize Expression
OpEvaluate Expression Expression
OpContextualize Expression Expression
OpDataize Expression Expression

Instances

Instances details

Generic Operation Source #
Instance details Defined in Yaml Associated Types type Rep Operation :: Type -> Type # Methods from :: Operation -> Rep Operation x # to :: Rep Operation x -> Operation #
Show Operation Source #
Instance details Defined in Yaml Methods showsPrec :: Int -> Operation -> ShowS # show :: Operation -> String # showList :: [Operation] -> ShowS #
Eq Operation Source #
Instance details Defined in Yaml Methods (==) :: Operation -> Operation -> Bool # (/=) :: Operation -> Operation -> Bool #
Metas Operation Source #
Instance details Defined in Yaml Methods metas :: Operation -> [Text] Source # bare :: [Text] -> Operation -> Operation Source #
Slots Operation Source #
Instance details Defined in Yaml Methods slots :: Operation -> [Slot] Source #
type Rep Operation Source #
Instance details Defined in Yaml type Rep Operation = D1 ('MetaData "Operation" "Yaml" "phino-0.0.0-inplace" 'False) ((C1 ('MetaCons "OpMorph" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "OpNormalize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :+: (C1 ('MetaCons "OpEvaluate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: (C1 ('MetaCons "OpContextualize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :+: C1 ('MetaCons "OpDataize" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)))))

data MorphRule Source #

Constructors

MorphRule
Fields name :: String label :: Maybe String match :: Expression ematch :: Expression nresult :: Expression when :: Maybe Condition premises :: [Premise]

Instances

Instances details

Generic MorphRule Source #
Instance details Defined in Yaml Associated Types type Rep MorphRule :: Type -> Type # Methods from :: MorphRule -> Rep MorphRule x # to :: Rep MorphRule x -> MorphRule #
Show MorphRule Source #
Instance details Defined in Yaml Methods showsPrec :: Int -> MorphRule -> ShowS # show :: MorphRule -> String # showList :: [MorphRule] -> ShowS #
Metas MorphRule Source #
Instance details Defined in Yaml Methods metas :: MorphRule -> [Text] Source # bare :: [Text] -> MorphRule -> MorphRule Source #
FromJSON MorphRule Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser MorphRule Source # parseJSONList :: Value -> Parser [MorphRule] Source # omittedField :: Maybe MorphRule Source #
type Rep MorphRule Source #
Instance details Defined in Yaml type Rep MorphRule = D1 ('MetaData "MorphRule" "Yaml" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "MorphRule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :: S1 ('MetaSel ('Just "match") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :: ((S1 ('MetaSel ('Just "ematch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Just "nresult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression)) :: (S1 ('MetaSel ('Just "when") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Condition)) :: S1 ('MetaSel ('Just "premises") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Premise])))))

data DataizeRule Source #

Constructors

DataizeRule
Fields name :: String label :: Maybe String match :: Expression ematch :: Expression dresult :: Bytes when :: Maybe Condition premises :: [Premise]

Instances

Instances details

Generic DataizeRule Source #
Instance details Defined in Yaml Associated Types type Rep DataizeRule :: Type -> Type # Methods from :: DataizeRule -> Rep DataizeRule x # to :: Rep DataizeRule x -> DataizeRule #
Show DataizeRule Source #
Instance details Defined in Yaml Methods showsPrec :: Int -> DataizeRule -> ShowS # show :: DataizeRule -> String # showList :: [DataizeRule] -> ShowS #
Metas DataizeRule Source #
Instance details Defined in Yaml Methods metas :: DataizeRule -> [Text] Source # bare :: [Text] -> DataizeRule -> DataizeRule Source #
FromJSON DataizeRule Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser DataizeRule Source # parseJSONList :: Value -> Parser [DataizeRule] Source # omittedField :: Maybe DataizeRule Source #
type Rep DataizeRule Source #
Instance details Defined in Yaml type Rep DataizeRule = D1 ('MetaData "DataizeRule" "Yaml" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "DataizeRule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :: S1 ('MetaSel ('Just "match") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :: ((S1 ('MetaSel ('Just "ematch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: S1 ('MetaSel ('Just "dresult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bytes)) :: (S1 ('MetaSel ('Just "when") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Condition)) :: S1 ('MetaSel ('Just "premises") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Premise])))))

data ContextualizeRule Source #

Constructors

ContextualizeRule
Fields name :: String label :: Maybe String match :: Expression cmatch :: Expression cresult :: Expression premises :: [Premise]

Instances

Instances details

Generic ContextualizeRule Source #
Instance details Defined in Yaml Associated Types type Rep ContextualizeRule :: Type -> Type # Methods from :: ContextualizeRule -> Rep ContextualizeRule x # to :: Rep ContextualizeRule x -> ContextualizeRule #
Show ContextualizeRule Source #
Instance details Defined in Yaml Methods showsPrec :: Int -> ContextualizeRule -> ShowS # show :: ContextualizeRule -> String # showList :: [ContextualizeRule] -> ShowS #
Metas ContextualizeRule Source #
Instance details Defined in Yaml Methods metas :: ContextualizeRule -> [Text] Source # bare :: [Text] -> ContextualizeRule -> ContextualizeRule Source #
FromJSON ContextualizeRule Source #
Instance details Defined in Yaml Methods parseJSON :: Value -> Parser ContextualizeRule Source # parseJSONList :: Value -> Parser [ContextualizeRule] Source # omittedField :: Maybe ContextualizeRule Source #
type Rep ContextualizeRule Source #
Instance details Defined in Yaml type Rep ContextualizeRule = D1 ('MetaData "ContextualizeRule" "Yaml" "phino-0.0.0-inplace" 'False) (C1 ('MetaCons "ContextualizeRule" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :: S1 ('MetaSel ('Just "match") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression))) :: (S1 ('MetaSel ('Just "cmatch") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :: (S1 ('MetaSel ('Just "cresult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expression) :*: S1 ('MetaSel ('Just "premises") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Premise])))))

premiseResult :: Object -> Parser Text Source #

premiseOperation :: Object -> Parser Operation Source #

parseLabel :: String -> Object -> Parser (Maybe String) Source #

morphingRules :: [MorphRule] Source #

dataizationRules :: [DataizeRule] Source #

contextualizationRules :: [ContextualizeRule] Source #

Orphan instances

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

And [Condition]
Or [Condition]
In [Attribute] [Binding]
Not Condition
Eq Comparable Comparable
Gt Comparable Comparable
NF Expression
Absolute Expression
Matches String Expression
PartOf Expression Binding
Disjoint [Attribute] [Binding]
IsFormation Expression