Module Curry.Files

This library defines various I/O actions to read abstract syntax trees of Curry programs and transform them into the representation defined in module Curry.Types.

Assumption: the abstract syntax tree of a Curry program is stored in file with extension .sast (short AST) or .ast (full AST).

Version: February 2025

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