Copyright | (c) 2011-2012 Benedikt Schmidt |
---|---|
License | GPL v3 (see LICENSE) |
Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
Safe Haskell | None |
Language | Haskell98 |
Term.SubtermRule
Contents
Description
Context Subterm rewriting rules.
- data StRhs = StRhs [Position] LNTerm
- data CtxtStRule = CtxtStRule LNTerm StRhs
- rRuleToCtxtStRule :: RRule LNTerm -> Maybe CtxtStRule
- ctxtStRuleToRRule :: CtxtStRule -> RRule LNTerm
- prettyCtxtStRule :: HighlightDocument d => CtxtStRule -> d
- module Term.Rewriting.Definitions
Documentation
The righthand-side of a context subterm rewrite rule. Does not enforce that the term for RhsGround must be ground.
data CtxtStRule #
A context subterm rewrite rule. The left hand side as a LNTerm, and a StRHS.
Constructors
CtxtStRule LNTerm StRhs |
Instances
rRuleToCtxtStRule :: RRule LNTerm -> Maybe CtxtStRule #
Convert a rewrite rule to a context subterm rewrite rule if possible.
ctxtStRuleToRRule :: CtxtStRule -> RRule LNTerm #
Convert a context subterm rewrite rule to a rewrite rule.
Pretty Printing
prettyCtxtStRule :: HighlightDocument d => CtxtStRule -> d #
Pretty print an CtxtStRule
module Term.Rewriting.Definitions