Hets - the Heterogeneous Tool Set

Copyright(c) A. Tsogias DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerAlexis.Tsogias@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

THF.Translate

Description

translate Id to THF Constant

Synopsis

Documentation

stringToVariable :: String -> String Source #

transToTHFString :: String -> Maybe String Source #

transToTHFStringAux :: Bool -> String -> Maybe String Source #

isTHFChar :: Char -> Bool Source #

isLowerTHFChar :: Char -> Bool Source #

preDefHCTypeIds :: Map Id String Source #

maybeElem :: Id -> Map Id a -> Maybe a Source #

myEqId :: Id -> Id -> Bool Source #

charMap :: Map Char String Source #

a separate Map speeds up lookup