Ideas.Common.Rewriting.Term

A simple data type for term rewriting

Symbols

data Symbol

Instances

Eq Symbol

Methods

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

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

Ord Symbol

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

Methods

readsPrec :: Int -> ReadS Symbol

readList :: ReadS [Symbol]

readPrec :: ReadPrec Symbol

readListPrec :: ReadPrec [Symbol]

Show Symbol

Methods

showsPrec :: Int -> Symbol -> ShowS

show :: Symbol -> String

showList :: [Symbol] -> ShowS

HasId Symbol

Methods

getId :: Symbol -> Id

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

newSymbol :: IsId a => a -> Symbol

isAssociative :: Symbol -> Bool

makeAssociative :: Symbol -> Symbol

nothingSymbol :: Symbol

trueSymbol :: Symbol

falseSymbol :: Symbol

Terms

data Term

Constructors

TVar String

TCon Symbol [Term]

TList [Term]

TNum Integer

TFloat Double

TMeta Int

Instances

Eq Term

Methods

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

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

Ord 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

Methods

readsPrec :: Int -> ReadS Term

readList :: ReadS [Term]

readPrec :: ReadPrec Term

readListPrec :: ReadPrec [Term]

Show Term

Methods

showsPrec :: Int -> Term -> ShowS

show :: Term -> String

showList :: [Term] -> ShowS

Arbitrary Term

Methods

arbitrary :: Gen Term

shrink :: Term -> [Term]

Uniplate 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

Methods

metaVar :: Int -> Term

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

WithVars Term

Methods

variable :: String -> Term

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

WithFunctions Term

Methods

symbol :: Symbol -> Term

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

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

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

IsTerm Term

Methods

toTerm :: Term -> Term

toTermList :: [Term] -> Term

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

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

Reference Term

Methods

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

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

Different Term

Methods

different :: (Term, 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

Methods

toTerm :: Bool -> Term

toTermList :: [Bool] -> Term

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

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

IsTerm Char

Methods

toTerm :: Char -> Term

toTermList :: [Char] -> Term

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

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

IsTerm Double

Methods

toTerm :: Double -> Term

toTermList :: [Double] -> Term

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

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

IsTerm Int

Methods

toTerm :: Int -> Term

toTermList :: [Int] -> Term

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

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

IsTerm Integer

Methods

toTerm :: Integer -> Term

toTermList :: [Integer] -> Term

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

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

IsTerm ShowString

Methods

toTerm :: ShowString -> Term

toTermList :: [ShowString] -> Term

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

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

IsTerm Term

Methods

toTerm :: Term -> Term

toTermList :: [Term] -> Term

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

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

IsTerm a => IsTerm [a]

Methods

toTerm :: [a] -> Term

toTermList :: [[a]] -> Term

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

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

IsTerm a => IsTerm (Maybe a)

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)

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)

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)

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)

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]

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

Functions and symbols

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

Methods

symbol :: Symbol -> Term

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

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

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

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)

Variables

class WithVars a where

Minimal complete definition

variable, getVariable

Methods

variable :: String -> a

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

Instances

WithVars Term

Methods

variable :: String -> Term

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

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

Meta variables

class WithMetaVars a where

Minimal complete definition

metaVar, getMetaVar

Methods

metaVar :: Int -> a

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

Instances

WithMetaVars Term

Methods

metaVar :: Int -> Term

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

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