| Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
|---|---|
| Safe Haskell | None |
Term.SubtermRule
Contents
Description
Subterm rewriting rules.
- data StRhs
- data StRule = StRule LNTerm StRhs
- rRuleToStRule :: RRule LNTerm -> Maybe StRule
- stRuleToRRule :: StRule -> RRule LNTerm
- prettyStRule :: HighlightDocument d => StRule -> d
- module Term.Rewriting.Definitions
Documentation
The righthand-side of a subterm rewrite rule. Does not enforce that the term for RhsGround must be ground.
Constructors
| RhsGround LNTerm | |
| RhsPosition Position |
A subterm rewrite rule.
rRuleToStRule :: RRule LNTerm -> Maybe StRuleSource
Convert a rewrite rule to a subterm rewrite rule if possible.
stRuleToRRule :: StRule -> RRule LNTermSource
Convert a subterm rewrite rule to a rewrite rule.
Pretty Printing
prettyStRule :: HighlightDocument d => StRule -> dSource
Pretty print an StRule
module Term.Rewriting.Definitions