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

Ideas.Common.Rewriting.Term

Contents

Symbols
Terms
Functions and symbols
Variables
Meta variables

Description

A simple data type for term rewriting

Synopsis

data Symbol
newSymbol :: IsId a => a -> Symbol
isAssociative :: Symbol -> Bool
makeAssociative :: Symbol -> Symbol
nothingSymbol :: Symbol
trueSymbol :: Symbol
falseSymbol :: Symbol
data Term
- = TVar String
- | TCon Symbol [Term]
- | TList [Term]
- | TNum Integer
- | TFloat Double
- | TMeta Int
class IsTerm a where
termView :: IsTerm a => View Term a
fromTermM :: (Monad m, IsTerm a) => Term -> m a
fromTermWith :: (Monad m, IsTerm a) => (Symbol -> [a] -> m a) -> Term -> m a
class WithFunctions a where
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)
class WithVars a where
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
class WithMetaVars a where
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

Symbols

data Symbol Source #

Instances

Eq Symbol Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details 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 Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
HasId Symbol Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods getId :: Symbol -> Id Source # changeId :: (Id -> Id) -> Symbol -> Symbol Source #

newSymbol :: IsId a => a -> Symbol Source #

isAssociative :: Symbol -> Bool Source #

makeAssociative :: Symbol -> Symbol Source #

nothingSymbol :: Symbol Source #

trueSymbol :: Symbol Source #

falseSymbol :: Symbol Source #

Terms

data Term Source #

Constructors

TVar String
TCon Symbol [Term]
TList [Term]
TNum Integer
TFloat Double
TMeta Int

Instances

Eq Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Ord Term Source #
Instance details 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 Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods readsPrec :: Int -> ReadS Term # readList :: ReadS [Term] # readPrec :: ReadPrec Term # readListPrec :: ReadPrec [Term] #
Show Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Arbitrary Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods arbitrary :: Gen Term shrink :: Term -> [Term]
Uniplate Term Source #
Instance details 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 Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods metaVar :: Int -> Term Source # getMetaVar :: Monad m => Term -> m Int Source #
WithVars Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods variable :: String -> Term Source # getVariable :: Monad m => Term -> m String Source #
WithFunctions Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods symbol :: Symbol -> Term Source # function :: Symbol -> [Term] -> Term Source # getSymbol :: Monad m => Term -> m Symbol Source # getFunction :: Monad m => Term -> m (Symbol, [Term]) Source #
IsTerm Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Term -> Term Source # toTermList :: [Term] -> Term Source # fromTerm :: MonadPlus m => Term -> m Term Source # fromTermList :: MonadPlus m => Term -> m [Term] Source #
Reference Term Source #
Instance details Defined in Ideas.Common.Environment Methods makeRef :: IsId n => n -> Ref Term Source # makeRefList :: IsId n => n -> Ref [Term] Source #
Different Term Source #
Instance details Defined in Ideas.Common.Rewriting.RewriteRule Methods different :: (Term, Term) Source #

class IsTerm a where Source #

Minimal complete definition

toTerm, fromTerm

Methods

toTerm :: a -> Term Source #

toTermList :: [a] -> Term Source #

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

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

Instances

IsTerm Bool Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Bool -> Term Source # toTermList :: [Bool] -> Term Source # fromTerm :: MonadPlus m => Term -> m Bool Source # fromTermList :: MonadPlus m => Term -> m [Bool] Source #
IsTerm Char Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Char -> Term Source # toTermList :: [Char] -> Term Source # fromTerm :: MonadPlus m => Term -> m Char Source # fromTermList :: MonadPlus m => Term -> m [Char] Source #
IsTerm Double Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Double -> Term Source # toTermList :: [Double] -> Term Source # fromTerm :: MonadPlus m => Term -> m Double Source # fromTermList :: MonadPlus m => Term -> m [Double] Source #
IsTerm Int Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Int -> Term Source # toTermList :: [Int] -> Term Source # fromTerm :: MonadPlus m => Term -> m Int Source # fromTermList :: MonadPlus m => Term -> m [Int] Source #
IsTerm Integer Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Integer -> Term Source # toTermList :: [Integer] -> Term Source # fromTerm :: MonadPlus m => Term -> m Integer Source # fromTermList :: MonadPlus m => Term -> m [Integer] Source #
IsTerm ShowString Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: ShowString -> Term Source # toTermList :: [ShowString] -> Term Source # fromTerm :: MonadPlus m => Term -> m ShowString Source # fromTermList :: MonadPlus m => Term -> m [ShowString] Source #
IsTerm Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Term -> Term Source # toTermList :: [Term] -> Term Source # fromTerm :: MonadPlus m => Term -> m Term Source # fromTermList :: MonadPlus m => Term -> m [Term] Source #
IsTerm a => IsTerm [a] Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: [a] -> Term Source # toTermList :: [[a]] -> Term Source # fromTerm :: MonadPlus m => Term -> m [a] Source # fromTermList :: MonadPlus m => Term -> m [[a]] Source #
IsTerm a => IsTerm (Maybe a) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Maybe a -> Term Source # toTermList :: [Maybe a] -> Term Source # fromTerm :: MonadPlus m => Term -> m (Maybe a) Source # fromTermList :: MonadPlus m => Term -> m [Maybe a] Source #
(IsTerm a, Ord a) => IsTerm (Set a) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Set a -> Term Source # toTermList :: [Set a] -> Term Source # fromTerm :: MonadPlus m => Term -> m (Set a) Source # fromTermList :: MonadPlus m => Term -> m [Set a] Source #
(IsTerm a, IsTerm b) => IsTerm (Either a b) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Either a b -> Term Source # toTermList :: [Either a b] -> Term Source # fromTerm :: MonadPlus m => Term -> m (Either a b) Source # fromTermList :: MonadPlus m => Term -> m [Either a b] Source #
(IsTerm a, IsTerm b) => IsTerm (a, b) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: (a, b) -> Term Source # toTermList :: [(a, b)] -> Term Source # fromTerm :: MonadPlus m => Term -> m (a, b) Source # fromTermList :: MonadPlus m => Term -> m [(a, b)] Source #
(IsTerm a, IsTerm b, Ord a) => IsTerm (Map a b) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: Map a b -> Term Source # toTermList :: [Map a b] -> Term Source # fromTerm :: MonadPlus m => Term -> m (Map a b) Source # fromTermList :: MonadPlus m => Term -> m [Map a b] Source #
(IsTerm s, IsTerm a) => IsTerm (Derivation s a) Source #
Instance details Defined in Ideas.Common.Derivation Methods toTerm :: Derivation s a -> Term Source # toTermList :: [Derivation s a] -> Term Source # fromTerm :: MonadPlus m => Term -> m (Derivation s a) Source # fromTermList :: MonadPlus m => Term -> m [Derivation s a] Source #
(IsTerm a, IsTerm b, IsTerm c) => IsTerm (a, b, c) Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods toTerm :: (a, b, c) -> Term Source # toTermList :: [(a, b, c)] -> Term Source # fromTerm :: MonadPlus m => Term -> m (a, b, c) Source # fromTermList :: MonadPlus m => Term -> m [(a, b, c)] Source #

termView :: IsTerm a => View Term a Source #

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

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

Functions and symbols

class WithFunctions a where Source #

Minimal complete definition

function, getFunction

Methods

symbol :: Symbol -> a Source #

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

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

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

Instances

WithFunctions Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods symbol :: Symbol -> Term Source # function :: Symbol -> [Term] -> Term Source # getSymbol :: Monad m => Term -> m Symbol Source # getFunction :: Monad m => Term -> m (Symbol, [Term]) Source #

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

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

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

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

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

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

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

Variables

class WithVars a where Source #

Minimal complete definition

variable, getVariable

Methods

variable :: String -> a Source #

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

Instances

WithVars Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods variable :: String -> Term Source # getVariable :: Monad m => Term -> m String Source #

isVariable :: WithVars a => a -> Bool Source #

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

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

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

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

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

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

variableView :: WithVars a => View a String Source #

Meta variables

class WithMetaVars a where Source #

Minimal complete definition

metaVar, getMetaVar

Methods

metaVar :: Int -> a Source #

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

Instances

WithMetaVars Term Source #
Instance details Defined in Ideas.Common.Rewriting.Term Methods metaVar :: Int -> Term Source # getMetaVar :: Monad m => Term -> m Int Source #

isMetaVar :: WithMetaVars a => a -> Bool Source #

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

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

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

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