Safe Haskell	Safe-Inferred
Language	Haskell2010

Striot.LogicalOptimiser.RewriteRule

Synopsis

data LabelledRewriteRule = LabelledRewriteRule {
- ruleLabel :: String
- rule :: RewriteRule
}
lrule :: Quasi m => Name -> m Exp

Documentation

data LabelledRewriteRule Source #

A pairing of a RewriteRule with its name, encoded in a String.

Constructors

LabelledRewriteRule
Fields ruleLabel :: String rule :: RewriteRule

lrule :: Quasi m => Name -> m Exp Source #

convenience function so one can write `$(lrule 'someRule)` rather than `LabelledRewriteRule "someRule" someRule`. This function needs to live in a separate module from LogicalOptimiser due to technical limitations with Template Haskell.