Safe Haskell | None |
---|
Core language parser.
- pRule :: Ord n => Parser n (RewriteRule () n)
- pRuleMany :: Ord n => Parser n [(n, RewriteRule () n)]
Documentation
pRule :: Ord n => Parser n (RewriteRule () n)Source
Parse a rewrite rule.
pRuleMany :: Ord n => Parser n [(n, RewriteRule () n)]Source
Parse many rewrite rules.