Hets - the Heterogeneous Tool Set

Copyright(c) J. von Schroeder, DFKI Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilitynon-portable
Safe HaskellNone

THF.Utils

Description

 

Documentation

newtype Unique a

Constructors

Unique (UniqueT Identity a) 

Instances

data UniqueT m a

Instances

fresh :: MonadUnique m => m Integer

evalUniqueT :: Monad m => UniqueT m a -> m a

evalUnique :: Unique a -> a

numbered :: Monad m => AtomicWord -> UniqueT m AtomicWord

numberedTok :: Monad m => Token -> UniqueT m Token

mkNames :: Constant -> Name -> Int -> [(Constant, Name)]

addSuffix :: String -> AtomicWord -> AtomicWord

recreateSymbols :: SignTHF -> SignTHF

thfTopLevelTypeToType :: THFTopLevelType -> Maybe Type

typeToTopLevelType :: Type -> Result THFTopLevelType

typeToUnitaryType :: Type -> Result THFUnitaryType

typeToBinaryType :: Type -> Result THFBinaryType

toToken :: Constant -> Token

data RewriteFuns a

Constructors

RewriteFuns 

Fields

rewriteLogicFormula :: (RewriteFuns a, a) -> THFLogicFormula -> Result THFLogicFormula
 
rewriteBinaryFormula :: (RewriteFuns a, a) -> THFBinaryFormula -> Result THFBinaryFormula
 
rewriteUnitaryFormula :: (RewriteFuns a, a) -> THFUnitaryFormula -> Result THFUnitaryFormula
 
rewriteBinaryPair :: (RewriteFuns a, a) -> (THFUnitaryFormula, THFPairConnective, THFUnitaryFormula) -> Result THFBinaryFormula
 
rewriteBinaryTuple :: (RewriteFuns a, a) -> THFBinaryTuple -> Result THFBinaryTuple
 
rewriteQuantifiedFormula :: (RewriteFuns a, a) -> THFQuantifiedFormula -> Result THFQuantifiedFormula
 
rewriteAtom :: (RewriteFuns a, a) -> THFAtom -> Result THFUnitaryFormula
 
rewriteVariableList :: (RewriteFuns a, a) -> [THFVariable] -> Result [THFVariable]
 
rewriteConst :: (RewriteFuns a, a) -> Constant -> Result THFUnitaryFormula
 
rewriteConnTerm :: (RewriteFuns a, a) -> THFConnTerm -> Result THFConnTerm
 

rewriteSenFun :: (RewriteFuns a, a) -> Named THFFormula -> Result (Named THFFormula)

rewriteTHF0 :: RewriteFuns a