Ideas.Common.Rewriting

Documentation

class WithMetaVars a where

Minimal complete definition

metaVar, getMetaVar

Methods

metaVar :: Int -> a

getMetaVar :: Monad m => a -> m Int

Instances

WithMetaVars Term

Defined in Ideas.Common.Rewriting.Term

Methods

metaVar :: Int -> Term

getMetaVar :: Monad m => Term -> m Int

class WithVars a where

Minimal complete definition

variable, getVariable

Methods

variable :: String -> a

getVariable :: Monad m => a -> m String

Instances

WithVars Term

Defined in Ideas.Common.Rewriting.Term

Methods

variable :: String -> Term

getVariable :: Monad m => Term -> m String

class WithFunctions a where

Minimal complete definition

function, getFunction

Methods

symbol :: Symbol -> a

function :: Symbol -> [a] -> a

getSymbol :: Monad m => a -> m Symbol

getFunction :: Monad m => a -> m (Symbol, [a])

Instances

WithFunctions Term

Defined in Ideas.Common.Rewriting.Term

Methods

symbol :: Symbol -> Term

function :: Symbol -> [Term] -> Term

getSymbol :: Monad m => Term -> m Symbol

getFunction :: Monad m => Term -> m (Symbol, [Term])

class IsTerm a where

Minimal complete definition

toTerm, fromTerm

Methods

toTerm :: a -> Term

toTermList :: [a] -> Term

fromTerm :: MonadPlus m => Term -> m a

fromTermList :: MonadPlus m => Term -> m [a]

Instances

IsTerm Bool

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Bool -> Term

toTermList :: [Bool] -> Term

fromTerm :: MonadPlus m => Term -> m Bool

fromTermList :: MonadPlus m => Term -> m [Bool]

IsTerm Char

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Char -> Term

toTermList :: [Char] -> Term

fromTerm :: MonadPlus m => Term -> m Char

fromTermList :: MonadPlus m => Term -> m [Char]

IsTerm Double

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Double -> Term

toTermList :: [Double] -> Term

fromTerm :: MonadPlus m => Term -> m Double

fromTermList :: MonadPlus m => Term -> m [Double]

IsTerm Int

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Int -> Term

toTermList :: [Int] -> Term

fromTerm :: MonadPlus m => Term -> m Int

fromTermList :: MonadPlus m => Term -> m [Int]

IsTerm Integer

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Integer -> Term

toTermList :: [Integer] -> Term

fromTerm :: MonadPlus m => Term -> m Integer

fromTermList :: MonadPlus m => Term -> m [Integer]

IsTerm ShowString

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: ShowString -> Term

toTermList :: [ShowString] -> Term

fromTerm :: MonadPlus m => Term -> m ShowString

fromTermList :: MonadPlus m => Term -> m [ShowString]

IsTerm Term

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Term -> Term

toTermList :: [Term] -> Term

fromTerm :: MonadPlus m => Term -> m Term

fromTermList :: MonadPlus m => Term -> m [Term]

IsTerm a => IsTerm [a]

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: [a] -> Term

toTermList :: [[a]] -> Term

fromTerm :: MonadPlus m => Term -> m [a]

fromTermList :: MonadPlus m => Term -> m [[a]]

IsTerm a => IsTerm (Maybe a)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Maybe a -> Term

toTermList :: [Maybe a] -> Term

fromTerm :: MonadPlus m => Term -> m (Maybe a)

fromTermList :: MonadPlus m => Term -> m [Maybe a]

(IsTerm a, Ord a) => IsTerm (Set a)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Set a -> Term

toTermList :: [Set a] -> Term

fromTerm :: MonadPlus m => Term -> m (Set a)

fromTermList :: MonadPlus m => Term -> m [Set a]

(IsTerm a, IsTerm b) => IsTerm (Either a b)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Either a b -> Term

toTermList :: [Either a b] -> Term

fromTerm :: MonadPlus m => Term -> m (Either a b)

fromTermList :: MonadPlus m => Term -> m [Either a b]

(IsTerm a, IsTerm b) => IsTerm (a, b)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: (a, b) -> Term

toTermList :: [(a, b)] -> Term

fromTerm :: MonadPlus m => Term -> m (a, b)

fromTermList :: MonadPlus m => Term -> m [(a, b)]

(IsTerm a, IsTerm b, Ord a) => IsTerm (Map a b)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Map a b -> Term

toTermList :: [Map a b] -> Term

fromTerm :: MonadPlus m => Term -> m (Map a b)

fromTermList :: MonadPlus m => Term -> m [Map a b]

(IsTerm s, IsTerm a) => IsTerm (Derivation s a)

Defined in Ideas.Common.Derivation

Methods

toTerm :: Derivation s a -> Term

toTermList :: [Derivation s a] -> Term

fromTerm :: MonadPlus m => Term -> m (Derivation s a)

fromTermList :: MonadPlus m => Term -> m [Derivation s a]

(IsTerm a, IsTerm b, IsTerm c) => IsTerm (a, b, c)

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: (a, b, c) -> Term

toTermList :: [(a, b, c)] -> Term

fromTerm :: MonadPlus m => Term -> m (a, b, c)

fromTermList :: MonadPlus m => Term -> m [(a, b, c)]

data Term

Constructors

TVar String

TCon Symbol [Term]

TList [Term]

TNum Integer

TFloat Double

TMeta Int

Instances

Eq Term

Defined in Ideas.Common.Rewriting.Term

Methods

(==) :: Term -> Term -> Bool

(/=) :: Term -> Term -> Bool

Ord Term

Defined in Ideas.Common.Rewriting.Term

Methods

compare :: Term -> Term -> Ordering

(<) :: Term -> Term -> Bool

(<=) :: Term -> Term -> Bool

(>) :: Term -> Term -> Bool

(>=) :: Term -> Term -> Bool

max :: Term -> Term -> Term

min :: Term -> Term -> Term

Read Term

Defined in Ideas.Common.Rewriting.Term

Methods

readsPrec :: Int -> ReadS Term

readList :: ReadS [Term]

readPrec :: ReadPrec Term

readListPrec :: ReadPrec [Term]

Show Term

Defined in Ideas.Common.Rewriting.Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Arbitrary Term

Defined in Ideas.Common.Rewriting.Term

Methods

arbitrary :: Gen Term

shrink :: Term -> [Term]

Uniplate Term

Defined in Ideas.Common.Rewriting.Term

Methods

uniplate :: Term -> (Str Term, Str Term -> Term)

descend :: (Term -> Term) -> Term -> Term

descendM :: Monad m => (Term -> m Term) -> Term -> m Term

WithMetaVars Term

Defined in Ideas.Common.Rewriting.Term

Methods

metaVar :: Int -> Term

getMetaVar :: Monad m => Term -> m Int

WithVars Term

Defined in Ideas.Common.Rewriting.Term

Methods

variable :: String -> Term

getVariable :: Monad m => Term -> m String

WithFunctions Term

Defined in Ideas.Common.Rewriting.Term

Methods

symbol :: Symbol -> Term

function :: Symbol -> [Term] -> Term

getSymbol :: Monad m => Term -> m Symbol

getFunction :: Monad m => Term -> m (Symbol, [Term])

IsTerm Term

Defined in Ideas.Common.Rewriting.Term

Methods

toTerm :: Term -> Term

toTermList :: [Term] -> Term

fromTerm :: MonadPlus m => Term -> m Term

fromTermList :: MonadPlus m => Term -> m [Term]

Reference Term

Defined in Ideas.Common.Environment

Methods

makeRef :: IsId n => n -> Ref Term

makeRefList :: IsId n => n -> Ref [Term]

Different Term

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Term, Term)

data Symbol

Instances

Eq Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

(==) :: Symbol -> Symbol -> Bool

(/=) :: Symbol -> Symbol -> Bool

Ord Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

compare :: Symbol -> Symbol -> Ordering

(<) :: Symbol -> Symbol -> Bool

(<=) :: Symbol -> Symbol -> Bool

(>) :: Symbol -> Symbol -> Bool

(>=) :: Symbol -> Symbol -> Bool

max :: Symbol -> Symbol -> Symbol

min :: Symbol -> Symbol -> Symbol

Read Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

HasId Symbol

Defined in Ideas.Common.Rewriting.Term

Methods

getId :: Symbol -> Id

changeId :: (Id -> Id) -> Symbol -> Symbol

newSymbol :: IsId a => a -> Symbol

makeAssociative :: Symbol -> Symbol

termView :: IsTerm a => View Term a

trueSymbol :: Symbol

falseSymbol :: Symbol

nothingSymbol :: Symbol

fromTermM :: (Monad m, IsTerm a) => Term -> m a

fromTermWith :: (Monad m, IsTerm a) => (Symbol -> [a] -> m a) -> Term -> m a

isSymbol :: WithFunctions a => Symbol -> a -> Bool

isFunction :: (WithFunctions a, Monad m) => Symbol -> a -> m [a]

unary :: WithFunctions a => Symbol -> a -> a

binary :: WithFunctions a => Symbol -> a -> a -> a

ternary :: WithFunctions a => Symbol -> a -> a -> a -> a

isUnary :: (WithFunctions a, Monad m) => Symbol -> a -> m a

isBinary :: (WithFunctions a, Monad m) => Symbol -> a -> m (a, a)

isVariable :: WithVars a => a -> Bool

vars :: (Uniplate a, WithVars a) => a -> [String]

varSet :: (Uniplate a, WithVars a) => a -> Set String

hasVar :: (Uniplate a, WithVars a) => String -> a -> Bool

withoutVar :: (Uniplate a, WithVars a) => String -> a -> Bool

hasSomeVar :: (Uniplate a, WithVars a) => a -> Bool

hasNoVar :: (Uniplate a, WithVars a) => a -> Bool

variableView :: WithVars a => View a String

isMetaVar :: WithMetaVars a => a -> Bool

metaVars :: (Uniplate a, WithMetaVars a) => a -> [Int]

metaVarSet :: (Uniplate a, WithMetaVars a) => a -> IntSet

hasMetaVar :: (Uniplate a, WithMetaVars a) => Int -> a -> Bool

nextMetaVar :: (Uniplate a, WithMetaVars a) => a -> Int

toTermG :: Data a => a -> Term

fromTermG :: (MonadPlus m, Data a) => Term -> m 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

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

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

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

class Different a where

Minimal complete definition

different

Methods

different :: (a, a)

Instances

Different Bool

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Bool, Bool)

Different Char

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Char, Char)

Different Double

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Double, Double)

Different Float

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Float, Float)

Different Int

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Int, Int)

Different Integer

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Integer, Integer)

Different Rational

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Rational, Rational)

Different Term

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: (Term, Term)

Different a => Different [a]

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

(Different a, Different b) => Different (a, b)

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: ((a, b), (a, b))

(Different a, Different b, Different c) => Different (a, b, c)

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

different :: ((a, b, c), (a, b, c))

data RewriteRule a

Instances

Apply RewriteRule

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

IsStrategy RewriteRule

Defined in Ideas.Common.Strategy.Abstract

Methods

toStrategy :: RewriteRule a -> Strategy a

Show (RewriteRule a)

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

showsPrec :: Int -> RewriteRule a -> ShowS

show :: RewriteRule a -> String

showList :: [RewriteRule a] -> ShowS

HasId (RewriteRule a)

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

getId :: RewriteRule a -> Id

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

data RuleSpec a

Constructors

a :~> a infixl 1

Instances

Functor RuleSpec

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

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

Show a => Show (RuleSpec a)

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

Defined in Ideas.Common.Rewriting.RewriteRule

Methods

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

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

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

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

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

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

metaInRewriteRule :: RewriteRule a -> [Int]

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