Ideas.Common.Rewriting.RewriteRule

Supporting type class

class Different a where

Minimal complete definition

different

Methods

different :: (a, a)

Instances

Different Char

Methods

different :: (Char, Char)

Different Term

Methods

different :: (Term, Term)

Different a => Different [a]

Methods

different :: ([a], [a])

Rewrite rules and specs

data RewriteRule a

Instances

Apply RewriteRule

Methods

applyAll :: RewriteRule a -> a -> [a]

IsStrategy RewriteRule

Methods

toStrategy :: RewriteRule a -> Strategy a

Show (RewriteRule a)

Methods

showsPrec :: Int -> RewriteRule a -> ShowS

show :: RewriteRule a -> String

showList :: [RewriteRule a] -> ShowS

HasId (RewriteRule a)

Methods

getId :: RewriteRule a -> Id

changeId :: (Id -> Id) -> RewriteRule a -> RewriteRule a

ruleSpecTerm :: RewriteRule a -> RuleSpec Term

data RuleSpec a

Constructors

a :~> a infixl 1

Instances

Functor RuleSpec

Methods

fmap :: (a -> b) -> RuleSpec a -> RuleSpec b

(<$) :: a -> RuleSpec b -> RuleSpec a

Show a => Show (RuleSpec a)

Methods

showsPrec :: Int -> RuleSpec a -> ShowS

show :: RuleSpec a -> String

showList :: [RuleSpec a] -> ShowS

(IsTerm a, Show a) => RuleBuilder (RuleSpec a) a

Methods

buildRuleSpec :: Int -> RuleSpec a -> RuleSpec Term

Compiling rewrite rules

makeRewriteRule :: (IsId n, RuleBuilder f a) => n -> f -> RewriteRule a

termRewriteRule :: (IsId n, IsTerm a, Show a) => n -> RuleSpec Term -> RewriteRule a

class (IsTerm a, Show a) => RuleBuilder t a | t -> a where

Minimal complete definition

buildRuleSpec

Methods

buildRuleSpec :: Int -> t -> RuleSpec Term

Instances

(IsTerm a, Show a) => RuleBuilder (RuleSpec a) a

Methods

buildRuleSpec :: Int -> RuleSpec a -> RuleSpec Term

(Different a, RuleBuilder t b) => RuleBuilder (a -> t) b

Methods

buildRuleSpec :: Int -> (a -> t) -> RuleSpec Term

Using rewrite rules

showRewriteRule :: Bool -> RewriteRule a -> Maybe String

metaInRewriteRule :: RewriteRule a -> [Int]

renumberRewriteRule :: Int -> RewriteRule a -> RewriteRule a

symbolMatcher :: Symbol -> SymbolMatch -> RewriteRule a -> RewriteRule a

symbolBuilder :: Symbol -> ([Term] -> Term) -> RewriteRule a -> RewriteRule a