| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.REST.RewriteRule
Synopsis
- class RewriteRule m rule term where
Documentation
class RewriteRule m rule term where Source #
A class for datatypes that can be used as rewrite rules
Methods
apply :: term -> rule -> m (HashSet term) Source #
apply term rule returns the set of resulting terms that can be generated
from term using rule. Multiple terms are possible if the rule applies to
multiple subterms. The result is embedded in a computation context m;
this enables support for SMT-based conditional rewriting, for example.
Instances
| Monad m => RewriteRule m Rewrite RuntimeTerm Source # | |
Defined in Language.REST.Internal.Rewrite Methods apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm) Source # | |