Module Curry.Files

Summary of exported operations:

readShortAST :: String -> IO (Module ())   
readFullAST :: String -> IO (Module ())   
readShortASTWithParseOptions :: String -> FrontendParams -> IO (Module ())   
readFullASTWithParseOptions :: String -> FrontendParams -> IO (Module ())   
shortASTFileName :: String -> String   
fullASTFileName :: String -> String   
readASTFile :: String -> IO (Module ())   
readShortASTFileRaw :: String -> IO String   

Exported operations:

readShortAST :: String -> IO (Module ())   

readFullAST :: String -> IO (Module ())   

readShortASTWithParseOptions :: String -> FrontendParams -> IO (Module ())   

readFullASTWithParseOptions :: String -> FrontendParams -> IO (Module ())   

shortASTFileName :: String -> String   

fullASTFileName :: String -> String   

readASTFile :: String -> IO (Module ())   

readShortASTFileRaw :: String -> IO String