| Copyright | (c) A. Tsogias, DFKI Bremen 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Alexis.Tsogias@dfki.de |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | None |
THF.Translate
Description
translate Id to THF Constant
- mkTypesName :: Constant -> Name
- mkConstsName :: Constant -> Name
- mkDefName :: Constant -> Name
- transTypeId :: Id -> Result Constant
- transAssumpId :: Id -> Result Constant
- transAssumpsId :: Id -> Int -> Result Constant
- stringToConstant :: String -> Constant
- stringToLowerWord :: String -> Token
- stringToVariable :: String -> String
- transVarId :: Id -> Result Token
- transToTHFString :: String -> Maybe String
- transToTHFStringAux :: Bool -> String -> Maybe String
- isTHFChar :: Char -> Bool
- isLowerTHFChar :: Char -> Bool
- preDefHCTypeIds :: Map Id String
- preDefHCAssumpIds :: Map Id String
- maybeElem :: Id -> Map Id a -> Maybe a
- myEqId :: Id -> Id -> Bool
- charMap :: Map Char String
Documentation
mkTypesName :: Constant -> Name
mkConstsName :: Constant -> Name
transTypeId :: Id -> Result Constant
transAssumpId :: Id -> Result Constant
transAssumpsId :: Id -> Int -> Result Constant
stringToConstant :: String -> Constant
stringToLowerWord :: String -> Token
stringToVariable :: String -> String
transVarId :: Id -> Result Token
transToTHFString :: String -> Maybe String
transToTHFStringAux :: Bool -> String -> Maybe String
isLowerTHFChar :: Char -> Bool