Documentation

sen_type_exp :: EXP

gen_file :: String

gen_sig1 :: String

gen_sig2 :: String

gen :: String

genPref :: String -> String

gen_ax :: String

numSuf :: String -> Int -> String

mkSig :: String -> String -> String

mkIncl :: String -> String

mkRead :: String -> String

getSigItems :: [Annoted BASIC_ITEM] -> [Annoted BASIC_ITEM]

getSenItems :: [Annoted BASIC_ITEM] -> [Annoted BASIC_ITEM]

printSigItems :: [Annoted BASIC_ITEM] -> String

printSenItems :: String -> [Annoted BASIC_ITEM] -> String

printSenItemsH :: String -> Int -> [Annoted BASIC_ITEM] -> String

makeNamedForms :: [(NAME, Sentence)] -> [[Annotation]] -> [Named Sentence]

makeNamedForm :: ((NAME, Sentence), [Annotation]) -> Named Sentence

getSigFromLibs :: MODULE -> LIBS -> IO Sign

getUnknownSyms :: [RAW_SYM] -> Sign -> [RAW_SYM]

basicAnalysis :: (BASIC_SPEC, Sign, GlobalAnnos) -> Result (BASIC_SPEC, ExtSign Sign Symbol, [Named EXP])

makeSigSen :: Sign -> [Annoted BASIC_ITEM] -> IO (Sign, [(NAME, Sentence)])

getSens :: Sign -> [(NAME, Sentence)]

symbAnalysis :: [SYMB_ITEMS] -> Result [RAW_SYM]

symbMapAnalysis :: [SYMB_MAP_ITEMS] -> Result (Map RAW_SYM RAW_SYM)

makeSymbMap :: SYMB_MAP_ITEMS -> Map RAW_SYM RAW_SYM

renamMapAnalysis :: Map RAW_SYM RAW_SYM -> Sign -> Map Symbol Symbol

translMapAnalysis :: Map RAW_SYM RAW_SYM -> Sign -> Sign -> Map Symbol (EXP, EXP)

codAnalysis :: Map RAW_SYM RAW_SYM -> Sign -> IO (Map Symbol (EXP, EXP))

getMap :: Sign -> Map Symbol (EXP, EXP)

badLibError :: String

badSigError :: MODULE -> String

badSymsError :: [String] -> String

badValError :: String -> String