Safe Haskell | None |
---|
Documentation
Eq Rule | |
Show Rule | |
Binary Rule | |
FreeVars Rule IdSet | we delete the free variables of the heads of a rule from the rule's free variables. the reason for doing this is that the rule cannot fire if all its heads are in scope, and if it were not done then many functions seem recursive when they arn't actually. |
FreeVars Rule [Id] |
builtinRule :: MonadStats m => TVr' t -> [E] -> m (Maybe (E, [E]))Source
ruleUpdate :: Rule -> RuleSource
printRules :: RuleType -> Rules -> IO ()Source
rulesFromARules :: ARules -> [Rule]Source