Module Curry.Files

Summary of exported operations:

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

Exported operations:

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

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

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

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

shortASTFileName :: String -> String  Deterministic 

fullASTFileName :: String -> String  Deterministic 

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

readShortASTFileRaw :: String -> IO String  Deterministic