Ideas.Common.Rewriting.Term

A simple data type for term rewriting

Symbols

data Symbol

Instances

Eq Symbol

Ord Symbol

Read Symbol

Show Symbol

HasId Symbol

newSymbol :: IsId a => a -> Symbol

isAssociative :: Symbol -> Bool

makeAssociative :: Symbol -> Symbol

Terms

data Term

Constructors

TVar String

TCon Symbol [Term]

TList [Term]

TNum Integer

TFloat Double

TMeta Int

Instances

Eq Term

Ord Term

Read Term

Show Term

Typeable Term

Arbitrary Term

Uniplate Term

WithMetaVars Term

WithVars Term

WithFunctions Term

IsTerm Term

Reference Term

class IsTerm a where

Methods

toTerm :: a -> Term

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

Instances

IsTerm Char

IsTerm Double

IsTerm Int

IsTerm Integer

IsTerm ShowString

IsTerm Term

IsTerm a => IsTerm [a]

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

(IsTerm a, IsTerm b) => IsTerm (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

Methods

symbol :: Symbol -> a

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

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

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

Instances

WithFunctions 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

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

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

Variables

class WithVars a where

Methods

variable :: String -> a

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

Instances

WithVars Term

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

Methods

metaVar :: Int -> a

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

Instances

WithMetaVars Term

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