Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Ideas.Common.Rewriting.RewriteRule

Contents

Supporting type class
Rewrite rules and specs
Compiling rewrite rules
Using rewrite rules

Description

Synopsis

class Different a where
data RewriteRule a
ruleSpecTerm :: RewriteRule a -> RuleSpec Term
data RuleSpec a = a :~> a
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
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

Supporting type class

class Different a where Source #

Minimal complete definition

different

Methods

different :: (a, a) Source #

Instances

Different Bool Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Bool, Bool) Source #
Different Char Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Char, Char) Source #
Different Double Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Double, Double) Source #
Different Float Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Float, Float) Source #
Different Int Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Int, Int) Source #
Different Integer Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Integer, Integer) Source #
Different Rational Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Rational, Rational) Source #
Different Term Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Term, Term) Source #
Different a => Different [a] Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: ([a], [a]) Source #
(Different a, Different b) => Different (a, b) Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: ((a, b), (a, b)) Source #
(Different a, Different b, Different c) => Different (a, b, c) Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: ((a, b, c), (a, b, c)) Source #

Rewrite rules and specs

data RewriteRule a Source #

Instances

Apply RewriteRule Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods applyAll :: RewriteRule a -> a -> [a] Source #
IsStrategy RewriteRule Source #
Instance details Defined in Ideas.Common.Strategy.Abstract Methods toStrategy :: RewriteRule a -> Strategy a Source #
Show (RewriteRule a) Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods showsPrec :: Int -> RewriteRule a -> ShowS # show :: RewriteRule a -> String # showList :: [RewriteRule a] -> ShowS #
HasId (RewriteRule a) Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods getId :: RewriteRule a -> Id Source # changeId :: (Id -> Id) -> RewriteRule a -> RewriteRule a Source #

ruleSpecTerm :: RewriteRule a -> RuleSpec Term Source #

data RuleSpec a Source #

Constructors

a :~> a infixl 1

Instances

Functor RuleSpec Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods fmap :: (a -> b) -> RuleSpec a -> RuleSpec b # (<$) :: a -> RuleSpec b -> RuleSpec a #
Show a => Show (RuleSpec a) Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods showsPrec :: Int -> RuleSpec a -> ShowS # show :: RuleSpec a -> String # showList :: [RuleSpec a] -> ShowS #
(IsTerm a, Show a) => RuleBuilder (RuleSpec a) a Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods buildRuleSpec :: Int -> RuleSpec a -> RuleSpec Term Source #

Compiling rewrite rules

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

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

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

Minimal complete definition

buildRuleSpec

Methods

buildRuleSpec :: Int -> t -> RuleSpec Term Source #

Instances

(IsTerm a, Show a) => RuleBuilder (RuleSpec a) a Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods buildRuleSpec :: Int -> RuleSpec a -> RuleSpec Term Source #
(Different a, RuleBuilder t b) => RuleBuilder (a -> t) b Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods buildRuleSpec :: Int -> (a -> t) -> RuleSpec Term Source #

Using rewrite rules

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

metaInRewriteRule :: RewriteRule a -> [Int] Source #

renumberRewriteRule :: Int -> RewriteRule a -> RewriteRule a Source #

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

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