rest-rewrite-0.3.0: Rewriting library with online termination checking
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.REST.RewriteRule

Documentation

class RewriteRule m rule term where Source #

Methods

apply :: term -> rule -> m (HashSet term) Source #

Instances

Instances details
Monad m => RewriteRule m Rewrite RuntimeTerm Source # 
Instance details

Defined in Language.REST.Internal.Rewrite

Methods

apply :: RuntimeTerm -> Rewrite -> m (HashSet RuntimeTerm) Source #