Database.Algebra.Rewrite.PatternConstruction

Documentation

dagPatMatch :: Name -> String -> Q Exp -> Q Exp

Take a quoted variable with the root node on which to apply the pattern, a string description of the pattern and the body of the match and return the complete match statement. The body has to be a quoted ([| ...|]) do-block.

v :: String -> Q Exp

Reference a variable that is bound by a pattern in a quoted match body.