Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Rules.Yaml

Contents

Orphan instances

Synopsis

data RuleSet = RuleSet {
- title :: String
- rules :: [Rule]
}
data RuleContext = RuleContext {
- global_object :: Maybe Object
- current_object :: Maybe Object
- current_attribute :: Maybe Attribute
}
data Rule = Rule {
- name :: String
- description :: String
- context :: Maybe RuleContext
- forall :: Maybe [MetaId]
- pattern :: Object
- result :: Object
- fresh :: Maybe [FreshMetaId]
- when :: Maybe [Condition]
- tests :: Maybe [RuleTest]
}
data FreshMetaId = FreshMetaId {
- name :: LabelMetaId
- prefix :: Maybe String
}
data RuleTest = RuleTest {
- name :: String
- input :: Object
- output :: [Object]
- options :: Maybe [RuleTestOption]
}
newtype RuleTestOption = TakeOne {
- take_one :: Bool
}
data AttrsInBindings = AttrsInBindings {
- attrs :: [RuleAttribute]
- bindings :: [Binding]
}
data Condition
- = IsNF {
  - nf :: Object
  }
- | IsNFInsideFormation {
  - nf_inside_formation :: Object
  }
- | PresentAttrs {
  - present_attrs :: AttrsInBindings
  }
- | AbsentAttrs {
  - absent_attrs :: AttrsInBindings
  }
- | AttrNotEqual {
  - not_equal :: (Attribute, Attribute)
  }
- | ApplyInSubformations {
  - apply_in_subformations :: Bool
  }
- | ApplyInAbstractSubformations {
  - apply_in_abstract_subformations :: Bool
  }
parseRuleSetFromFile :: FilePath -> IO RuleSet
convertRule :: Rule -> Rule
convertRuleNamed :: Rule -> NamedRule
mkFreshSubst :: Context -> Object -> Maybe [FreshMetaId] -> Subst
mkFreshAttributes :: Set LabelId -> [FreshMetaId] -> [(LabelMetaId, Attribute)]
mkFreshAttribute :: Set LabelId -> FreshMetaId -> ((LabelMetaId, Attribute), Set LabelId)
usedLabelIds :: Context -> Set LabelId
objectLabelIds :: Object -> Set LabelId
bindingLabelIds :: Binding -> Set LabelId
attrLabelIds :: Attribute -> Set LabelId
matchContext :: Context -> Maybe RuleContext -> [Subst]
objectMetaIds :: Object -> Set MetaId
bindingMetaIds :: Binding -> Set MetaId
attrMetaIds :: Attribute -> Set MetaId
objectHasMetavars :: Object -> Bool
bindingHasMetavars :: Binding -> Bool
attrHasMetavars :: Attribute -> Bool
checkCond :: Context -> Condition -> Subst -> Bool
hasAttr :: RuleAttribute -> [Binding] -> Bool
data OneHoleContext = OneHoleContext {
- holeMetaId :: !ObjectMetaId
- contextObject :: !Object
}
data Subst = Subst {
- objectMetas :: [(ObjectMetaId, Object)]
- bindingsMetas :: [(BindingsMetaId, [Binding])]
- attributeMetas :: [(LabelMetaId, Attribute)]
- bytesMetas :: [(BytesMetaId, Bytes)]
- contextMetas :: [(TailMetaId, OneHoleContext)]
}
emptySubst :: Subst
applySubst :: Subst -> Object -> Object
applySubstAttr :: Subst -> Attribute -> Attribute
applySubstBindings :: Subst -> [Binding] -> [Binding]
applySubstBinding :: Subst -> Binding -> [Binding]
mergeSubst :: Subst -> Subst -> Subst
matchObject :: Object -> Object -> [Subst]
matchOneHoleContext :: TailMetaId -> Object -> Object -> [(Subst, OneHoleContext)]
evaluateMetaFuncs :: Object -> Object -> Object
data MetaState = MetaState {
}
evaluateMetaFuncs' :: Object -> State MetaState Object
evaluateMetaFuncsBinding :: Binding -> State MetaState Binding
matchBindings :: [Binding] -> [Binding] -> [Subst]
select :: [a] -> [(a, [a])]
matchFindBinding :: Binding -> [Binding] -> [([Binding], Subst)]
matchBinding :: Binding -> Binding -> [Subst]
matchAttr :: Attribute -> Attribute -> [Subst]
substThis :: Object -> Object -> Object
substThisBinding :: Object -> Binding -> Binding
contextualize :: Object -> Object -> Object
contextualizeBinding :: Object -> Binding -> Binding

Documentation

>>> :set -XOverloadedStrings
>>> :set -XOverloadedLists

data RuleSet Source #

Constructors

RuleSet
Fields title :: String rules :: [Rule]

Instances

Instances details

FromJSON RuleSet Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser RuleSet # parseJSONList :: Value -> Parser [RuleSet] #
Generic RuleSet Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep RuleSet :: Type -> Type # Methods from :: RuleSet -> Rep RuleSet x # to :: Rep RuleSet x -> RuleSet #
Show RuleSet Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> RuleSet -> ShowS # show :: RuleSet -> String # showList :: [RuleSet] -> ShowS #
type Rep RuleSet Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep RuleSet = D1 ('MetaData "RuleSet" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "RuleSet" 'PrefixI 'True) (S1 ('MetaSel ('Just "title") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "rules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Rule])))

data RuleContext Source #

Constructors

RuleContext
Fields global_object :: Maybe Object current_object :: Maybe Object current_attribute :: Maybe Attribute

Instances

Instances details

FromJSON RuleContext Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser RuleContext # parseJSONList :: Value -> Parser [RuleContext] #
Generic RuleContext Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep RuleContext :: Type -> Type # Methods from :: RuleContext -> Rep RuleContext x # to :: Rep RuleContext x -> RuleContext #
Show RuleContext Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> RuleContext -> ShowS # show :: RuleContext -> String # showList :: [RuleContext] -> ShowS #
ToLatex RuleContext Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: RuleContext -> LaTeX Source # toLatexString :: RuleContext -> String Source #
type Rep RuleContext Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep RuleContext = D1 ('MetaData "RuleContext" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "RuleContext" 'PrefixI 'True) (S1 ('MetaSel ('Just "global_object") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Object)) :: (S1 ('MetaSel ('Just "current_object") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Object)) :: S1 ('MetaSel ('Just "current_attribute") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Attribute)))))

data Rule Source #

Constructors

Rule
Fields name :: String description :: String context :: Maybe RuleContext forall :: Maybe [MetaId] pattern :: Object result :: Object fresh :: Maybe [FreshMetaId] when :: Maybe [Condition] tests :: Maybe [RuleTest]

Instances

Instances details

FromJSON Rule Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser Rule # parseJSONList :: Value -> Parser [Rule] #
Generic Rule Source #
Instance details Defined in Language.EO.Phi.Rules.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 Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #
ToLatex Rule Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Rule -> LaTeX Source # toLatexString :: Rule -> String Source #
ToLatex [Rule] Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: [Rule] -> LaTeX Source # toLatexString :: [Rule] -> String Source #
type Rep Rule Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep Rule = D1 ('MetaData "Rule" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "Rule" 'PrefixI 'True) (((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "context") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe RuleContext)) :: S1 ('MetaSel ('Just "forall") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [MetaId])))) :: ((S1 ('MetaSel ('Just "pattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object) :: S1 ('MetaSel ('Just "result") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :: (S1 ('MetaSel ('Just "fresh") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [FreshMetaId])) :: (S1 ('MetaSel ('Just "when") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Condition])) :: S1 ('MetaSel ('Just "tests") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [RuleTest])))))))

data FreshMetaId Source #

Constructors

FreshMetaId
Fields name :: LabelMetaId prefix :: Maybe String

Instances

Instances details

FromJSON FreshMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser FreshMetaId # parseJSONList :: Value -> Parser [FreshMetaId] #
Generic FreshMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep FreshMetaId :: Type -> Type # Methods from :: FreshMetaId -> Rep FreshMetaId x # to :: Rep FreshMetaId x -> FreshMetaId #
Show FreshMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> FreshMetaId -> ShowS # show :: FreshMetaId -> String # showList :: [FreshMetaId] -> ShowS #
type Rep FreshMetaId Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep FreshMetaId = D1 ('MetaData "FreshMetaId" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "FreshMetaId" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LabelMetaId) :*: S1 ('MetaSel ('Just "prefix") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String))))

data RuleTest Source #

Constructors

RuleTest
Fields name :: String input :: Object output :: [Object] options :: Maybe [RuleTestOption]

Instances

Instances details

FromJSON RuleTest Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser RuleTest # parseJSONList :: Value -> Parser [RuleTest] #
Generic RuleTest Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep RuleTest :: Type -> Type # Methods from :: RuleTest -> Rep RuleTest x # to :: Rep RuleTest x -> RuleTest #
Show RuleTest Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> RuleTest -> ShowS # show :: RuleTest -> String # showList :: [RuleTest] -> ShowS #
type Rep RuleTest Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep RuleTest = D1 ('MetaData "RuleTest" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "RuleTest" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "input") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :: (S1 ('MetaSel ('Just "output") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Object]) :*: S1 ('MetaSel ('Just "options") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [RuleTestOption])))))

newtype RuleTestOption Source #

Constructors

TakeOne
Fields take_one :: Bool

Instances

Instances details

FromJSON RuleTestOption Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser RuleTestOption # parseJSONList :: Value -> Parser [RuleTestOption] #
Generic RuleTestOption Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep RuleTestOption :: Type -> Type # Methods from :: RuleTestOption -> Rep RuleTestOption x # to :: Rep RuleTestOption x -> RuleTestOption #
Show RuleTestOption Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> RuleTestOption -> ShowS # show :: RuleTestOption -> String # showList :: [RuleTestOption] -> ShowS #
Eq RuleTestOption Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods (==) :: RuleTestOption -> RuleTestOption -> Bool # (/=) :: RuleTestOption -> RuleTestOption -> Bool #
type Rep RuleTestOption Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep RuleTestOption = D1 ('MetaData "RuleTestOption" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'True) (C1 ('MetaCons "TakeOne" 'PrefixI 'True) (S1 ('MetaSel ('Just "take_one") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))

data AttrsInBindings Source #

Constructors

AttrsInBindings
Fields attrs :: [RuleAttribute] bindings :: [Binding]

Instances

Instances details

FromJSON AttrsInBindings Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser AttrsInBindings # parseJSONList :: Value -> Parser [AttrsInBindings] #
Generic AttrsInBindings Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep AttrsInBindings :: Type -> Type # Methods from :: AttrsInBindings -> Rep AttrsInBindings x # to :: Rep AttrsInBindings x -> AttrsInBindings #
Show AttrsInBindings Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> AttrsInBindings -> ShowS # show :: AttrsInBindings -> String # showList :: [AttrsInBindings] -> ShowS #
type Rep AttrsInBindings Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep AttrsInBindings = D1 ('MetaData "AttrsInBindings" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "AttrsInBindings" 'PrefixI 'True) (S1 ('MetaSel ('Just "attrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [RuleAttribute]) :*: S1 ('MetaSel ('Just "bindings") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Binding])))

data Condition Source #

Constructors

IsNF
Fields nf :: Object
IsNFInsideFormation
Fields nf_inside_formation :: Object
PresentAttrs
Fields present_attrs :: AttrsInBindings
AbsentAttrs
Fields absent_attrs :: AttrsInBindings
AttrNotEqual
Fields not_equal :: (Attribute, Attribute)
ApplyInSubformations
Fields apply_in_subformations :: Bool
ApplyInAbstractSubformations
Fields apply_in_abstract_subformations :: Bool

Instances

Instances details

FromJSON Condition Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods parseJSON :: Value -> Parser Condition # parseJSONList :: Value -> Parser [Condition] #
Generic Condition Source #
Instance details Defined in Language.EO.Phi.Rules.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 Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> Condition -> ShowS # show :: Condition -> String # showList :: [Condition] -> ShowS #
ToLatex Condition Source #
Instance details Defined in Language.EO.Phi.ToLaTeX Methods toLatex :: Condition -> LaTeX Source # toLatexString :: Condition -> String Source #
type Rep Condition Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep Condition = D1 ('MetaData "Condition" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) ((C1 ('MetaCons "IsNF" 'PrefixI 'True) (S1 ('MetaSel ('Just "nf") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: (C1 ('MetaCons "IsNFInsideFormation" 'PrefixI 'True) (S1 ('MetaSel ('Just "nf_inside_formation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)) :+: C1 ('MetaCons "PresentAttrs" 'PrefixI 'True) (S1 ('MetaSel ('Just "present_attrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttrsInBindings)))) :+: ((C1 ('MetaCons "AbsentAttrs" 'PrefixI 'True) (S1 ('MetaSel ('Just "absent_attrs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 AttrsInBindings)) :+: C1 ('MetaCons "AttrNotEqual" 'PrefixI 'True) (S1 ('MetaSel ('Just "not_equal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Attribute, Attribute)))) :+: (C1 ('MetaCons "ApplyInSubformations" 'PrefixI 'True) (S1 ('MetaSel ('Just "apply_in_subformations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)) :+: C1 ('MetaCons "ApplyInAbstractSubformations" 'PrefixI 'True) (S1 ('MetaSel ('Just "apply_in_abstract_subformations") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

parseRuleSetFromFile :: FilePath -> IO RuleSet Source #

convertRule :: Rule -> Rule Source #

convertRuleNamed :: Rule -> NamedRule Source #

mkFreshSubst :: Context -> Object -> Maybe [FreshMetaId] -> Subst Source #

mkFreshAttributes :: Set LabelId -> [FreshMetaId] -> [(LabelMetaId, Attribute)] Source #

mkFreshAttribute :: Set LabelId -> FreshMetaId -> ((LabelMetaId, Attribute), Set LabelId) Source #

usedLabelIds :: Context -> Set LabelId Source #

objectLabelIds :: Object -> Set LabelId Source #

bindingLabelIds :: Binding -> Set LabelId Source #

attrLabelIds :: Attribute -> Set LabelId Source #

matchContext :: Context -> Maybe RuleContext -> [Subst] Source #

objectMetaIds :: Object -> Set MetaId Source #

bindingMetaIds :: Binding -> Set MetaId Source #

attrMetaIds :: Attribute -> Set MetaId Source #

objectHasMetavars :: Object -> Bool Source #

bindingHasMetavars :: Binding -> Bool Source #

attrHasMetavars :: Attribute -> Bool Source #

checkCond :: Context -> Condition -> Subst -> Bool Source #

Given a condition, and a substition from object matching tells whether the condition matches the object

hasAttr :: RuleAttribute -> [Binding] -> Bool Source #

data OneHoleContext Source #

Constructors

OneHoleContext
Fields holeMetaId :: !ObjectMetaId contextObject :: !Object

Instances

Instances details

Show OneHoleContext Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> OneHoleContext -> ShowS # show :: OneHoleContext -> String # showList :: [OneHoleContext] -> ShowS #

data Subst Source #

Constructors

Subst
Fields objectMetas :: [(ObjectMetaId, Object)] bindingsMetas :: [(BindingsMetaId, [Binding])] attributeMetas :: [(LabelMetaId, Attribute)] bytesMetas :: [(BytesMetaId, Bytes)] contextMetas :: [(TailMetaId, OneHoleContext)]

Instances

Instances details

Monoid Subst Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods mempty :: Subst # mappend :: Subst -> Subst -> Subst # mconcat :: [Subst] -> Subst #
Semigroup Subst Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods (<>) :: Subst -> Subst -> Subst # sconcat :: NonEmpty Subst -> Subst # stimes :: Integral b => b -> Subst -> Subst #
Show Subst Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Methods showsPrec :: Int -> Subst -> ShowS # show :: Subst -> String # showList :: [Subst] -> ShowS #

emptySubst :: Subst Source #

applySubst :: Subst -> Object -> Object Source #

applySubstAttr :: Subst -> Attribute -> Attribute Source #

applySubstBindings :: Subst -> [Binding] -> [Binding] Source #

applySubstBinding :: Subst -> Binding -> [Binding] Source #

mergeSubst :: Subst -> Subst -> Subst Source #

matchObject :: Object -> Object -> [Subst] Source #

matchOneHoleContext :: TailMetaId -> Object -> Object -> [(Subst, OneHoleContext)] Source #

evaluateMetaFuncs :: Object -> Object -> Object Source #

Evaluate meta functions given top-level context as an object and an object

data MetaState Source #

Constructors

MetaState

Instances

Instances details

Generic MetaState Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml Associated Types type Rep MetaState :: Type -> Type # Methods from :: MetaState -> Rep MetaState x # to :: Rep MetaState x -> MetaState #
type Rep MetaState Source #
Instance details Defined in Language.EO.Phi.Rules.Yaml type Rep MetaState = D1 ('MetaData "MetaState" "Language.EO.Phi.Rules.Yaml" "eo-phi-normalizer-2.2.2-8uhvVJ4kNK79JRvN7mlnln" 'False) (C1 ('MetaCons "MetaState" 'PrefixI 'False) (U1 :: Type -> Type))

evaluateMetaFuncs' :: Object -> State MetaState Object Source #

evaluateMetaFuncsBinding :: Binding -> State MetaState Binding Source #

matchBindings :: [Binding] -> [Binding] -> [Subst] Source #

select :: [a] -> [(a, [a])] Source #

matchFindBinding :: Binding -> [Binding] -> [([Binding], Subst)] Source #

matchBinding :: Binding -> Binding -> [Subst] Source #

matchAttr :: Attribute -> Attribute -> [Subst] Source #

substThis :: Object -> Object -> Object Source #

substThisBinding :: Object -> Binding -> Binding Source #

contextualize :: Object -> Object -> Object Source #

contextualizeBinding :: Object -> Binding -> Binding Source #

Orphan instances

FromJSON AlphaIndex Source #
Instance details Methods parseJSON :: Value -> Parser AlphaIndex # parseJSONList :: Value -> Parser [AlphaIndex] #
FromJSON Attribute Source #
Instance details Methods parseJSON :: Value -> Parser Attribute # parseJSONList :: Value -> Parser [Attribute] #
FromJSON Binding Source #
Instance details Methods parseJSON :: Value -> Parser Binding # parseJSONList :: Value -> Parser [Binding] #
FromJSON BindingsMetaId Source #
Instance details Methods parseJSON :: Value -> Parser BindingsMetaId # parseJSONList :: Value -> Parser [BindingsMetaId] #
FromJSON BytesMetaId Source #
Instance details Methods parseJSON :: Value -> Parser BytesMetaId # parseJSONList :: Value -> Parser [BytesMetaId] #
FromJSON LabelId Source #
Instance details Methods parseJSON :: Value -> Parser LabelId # parseJSONList :: Value -> Parser [LabelId] #
FromJSON LabelMetaId Source #
Instance details Methods parseJSON :: Value -> Parser LabelMetaId # parseJSONList :: Value -> Parser [LabelMetaId] #
FromJSON MetaId Source #
Instance details Methods parseJSON :: Value -> Parser MetaId # parseJSONList :: Value -> Parser [MetaId] #
FromJSON Object Source #
Instance details Methods parseJSON :: Value -> Parser Object # parseJSONList :: Value -> Parser [Object] #
FromJSON ObjectMetaId Source #
Instance details Methods parseJSON :: Value -> Parser ObjectMetaId # parseJSONList :: Value -> Parser [ObjectMetaId] #
FromJSON RuleAttribute Source #
Instance details Methods parseJSON :: Value -> Parser RuleAttribute # parseJSONList :: Value -> Parser [RuleAttribute] #
FromJSON TailMetaId Source #
Instance details Methods parseJSON :: Value -> Parser TailMetaId # parseJSONList :: Value -> Parser [TailMetaId] #