Documentation

sen_type_exp :: EXP Source #

gen_file :: String Source #

gen_sig1 :: String Source #

gen_sig2 :: String Source #

gen :: String Source #

genPref :: String -> String Source #

gen_ax :: String Source #

numSuf :: String -> Int -> String Source #

mkSig :: String -> String -> String Source #

mkIncl :: String -> String Source #

mkRead :: String -> String Source #

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

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

printSigItems :: [Annoted BASIC_ITEM] -> String Source #

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

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

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

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

getSigFromLibs :: MODULE -> LIBS -> IO Sign Source #

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

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

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

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

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

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

makeSymbMap :: SYMB_MAP_ITEMS -> Map RAW_SYM RAW_SYM Source #

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

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

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

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

badLibError :: String Source #

badSigError :: MODULE -> String Source #

badSymsError :: [String] -> String Source #

badValError :: String -> String Source #