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

August 2025 ---------------------------------------------------------------------------

Exported Functions:

fullASTFileName readASTFile readFullAST readFullASTWithParseOptions readShortAST readShortASTFileRaw readShortASTWithParseOptions shortASTFileName

Exported Functions

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

Reads the short-AST from a specified module

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

Reads the AST from a specified module

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

Reads the short-AST with further options from a specified module

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

Reads the AST with further options from a specified module

shortASTFileName :: String -> String

Get the short-AST filename of a Curry programm

fullASTFileName :: String -> String

Get the AST filename of a Curry programm

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

Reads the AST from a specified file

readShortASTFileRaw :: String -> IO String

Reads the text from a specified file containing an AST