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

Symbols

data Symbol Source

Instances

Eq Symbol
Ord Symbol
Read Symbol
Show Symbol
HasId Symbol

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

isAssociative :: Symbol -> Bool Source

makeAssociative :: Symbol -> Symbol Source

Terms

data Term Source

Constructors

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

Instances

Eq Term
Ord Term
Read Term
Show Term
Arbitrary Term
Uniplate Term
WithMetaVars Term
WithVars Term
WithFunctions Term
IsTerm Term
Reference Term
Typeable * Term

class IsTerm a where Source

Methods

toTerm :: a -> Term Source

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

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 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

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

Methods

variable :: String -> a Source

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

Instances

WithVars Term

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

Methods

metaVar :: Int -> a Source

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

Instances

WithMetaVars Term

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