algebra-dag-0.1.1.1: Infrastructure for DAG-shaped relational algebra plans

Safe HaskellNone
LanguageHaskell98

Database.Algebra.Rewrite.Rule

Synopsis

Documentation

type Rule o p e = AlgNode -> Match o p e (Rewrite o e ()) Source

type RuleSet o p e = [Rule o p e] Source

applyRuleSet :: e -> NodeMap p -> RuleSet o p e -> AlgNode -> Rewrite o e Bool Source

Try a set of rules on a node and apply the rewrite of the first rule that matches.