Documentation

nr :: Range Source #

sort :: SORT Source #

botTok :: Token Source #

bot :: CASLTERM Source #

folType :: Int -> [SORT] Source #

sigMap :: Sign -> CASLSign Source #

sigMapH :: Sign -> NAME -> CASLSign -> CASLSign Source #

generateAxioms :: Sign -> [Named CASLFORMULA] Source #

generatePredAxioms :: Sign -> [NAME] -> [Named CASLFORMULA] Source #

generatePredAxiomsH :: Sign -> NAME -> [Named CASLFORMULA] Source #

generateFuncAxioms :: Sign -> [NAME] -> [Named CASLFORMULA] Source #

generateFuncAxiomsH :: Sign -> NAME -> [Named CASLFORMULA] Source #

generateSortAxioms :: Sign -> [NAME] -> [Named CASLFORMULA] Source #

generateSortAxiomsH1 :: Sign -> NAME -> [Named CASLFORMULA] Source #

generateSortAxiomsH2 :: Sign -> NAME -> [Named CASLFORMULA] Source #

generateSortAxiomsH3 :: Sign -> [NAME] -> Named CASLFORMULA Source #

generateSortAxiomsH4 :: Sign -> [NAME] -> [Named CASLFORMULA] Source #

generateSortAxiomsH4H :: Sign -> (NAME, NAME) -> Named CASLFORMULA Source #

makeArgNames :: String -> Int -> [NAME] Source #

makeVar :: NAME -> CASLTERM Source #

makeApplication :: NAME -> [CASLTERM] -> Sign -> CASLTERM Source #

makePredication :: NAME -> [CASLTERM] -> Sign -> CASLFORMULA Source #

makeForall :: [NAME] -> CASLFORMULA -> CASLFORMULA Source #

makeExists :: [NAME] -> CASLFORMULA -> CASLFORMULA Source #

makeTypeHyp :: TYPE -> CASLTERM -> Sign -> CASLFORMULA Source #

makeTypeHyps :: [TYPE] -> [CASLTERM] -> Sign -> CASLFORMULA Source #

termTransl :: Sign -> TERM -> CASLTERM Source #

sigTransl :: Sign -> (CASLSign, [Named CASLFORMULA]) Source #

theoryTransl :: (Sign, [Named FORMULA]) -> (CASLSign, [Named CASLFORMULA]) Source #

morphTransl :: Morphism -> CASLMor Source #

addSymbolTransl :: Sign -> CASLMor -> (NAME, NAME) -> CASLMor Source #

makeTypesAndVars :: [DECL] -> ([TYPE], [NAME], [CASLTERM]) Source #

senTransl :: Sign -> FORMULA -> CASLFORMULA Source #

namedSenTransl :: Sign -> Named FORMULA -> Named CASLFORMULA Source #

symbolTransl :: Sign -> Symbol -> Set Symbol Source #