| 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
Synopsis
- 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 Source #
mkConstsName :: Constant -> Name Source #
stringToConstant :: String -> Constant Source #
stringToLowerWord :: String -> Token Source #
stringToVariable :: String -> String Source #
transToTHFString :: String -> Maybe String Source #
transToTHFStringAux :: Bool -> String -> Maybe String Source #
isLowerTHFChar :: Char -> Bool Source #
preDefHCTypeIds :: Map Id String Source #
preDefHCAssumpIds :: Map Id String Source #