Ideas.Common.Rewriting.Term

Contents

• Symbols
• Terms
• Functions and symbols
• Variables
• Meta variables

Description

Synopsis

• data Symbol
• newSymbol :: IsId a => a -> Symbol
• isAssociative :: Symbol -> Bool
• makeAssociative :: Symbol -> Symbol
• data Term
  • = TVar String
  • | TCon Symbol [Term]
  • | TList [Term]
  • | TNum Integer
  • | TFloat Double
  • | TMeta Int
• class IsTerm a where
  • toTerm :: a -> Term
  • fromTerm :: MonadPlus m => Term -> m a
• 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
  • symbol :: Symbol -> a
  • function :: Symbol -> [a] -> a
  • getSymbol :: Monad m => a -> m Symbol
  • getFunction :: Monad m => a -> m (Symbol, [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)
• class WithVars a where
  • variable :: String -> a
  • getVariable :: Monad m => a -> 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
• class WithMetaVars a where
  • metaVar :: Int -> a
  • getMetaVar :: Monad m => a -> 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

Symbols

Terms

Functions and symbols

Variables

Meta variables