Module "AbsCurryIO.curry"

This module supports functions to read Curry program in the old AbsCurry representation (based on reading files in the new AbstractCurry format).

Author: Michael Hanus

Version: Nevember 2006

Functions:
readAbsCurryFile | readCurry | readCurryWithParseOptions | readUntypedCurry | readUntypedCurryWithParseOptions

readCurry  :: String -> IO CProg              I/O action which parses a Curry program and returns the corresonding typed Abstract Curry program.

readUntypedCurry  :: String -> IO CProg              I/O action which parses a Curry program and returns the corresonding untyped Abstract Curry program.

readCurryWithParseOptions  :: String -> FrontendParams -> IO CProg              I/O action which reads a typed Curry program from a file (with extension ".acy") with respect to some parser options.

readUntypedCurryWithParseOptions  :: String -> FrontendParams -> IO CProg              I/O action which reads an untyped Curry program from a file (with extension ".uacy") with respect to some parser options.

readAbsCurryFile  :: String -> IO CProg              I/O action which reads an Abstract Curry program from a file in ".acy" format.

I/O action which parses a Curry program and returns the corresonding typed Abstract Curry program. Thus, the argument is the file name without suffix ".curry" or ".lcurry" and the result is a Curry term representing this program.

---

readUntypedCurry :: String -> IO CProg   

I/O action which parses a Curry program and returns the corresonding untyped Abstract Curry program. Thus, the argument is the file name without suffix ".curry" or ".lcurry" and the result is a Curry term representing this program.

---

readCurryWithParseOptions :: String -> FrontendParams -> IO CProg   

I/O action which reads a typed Curry program from a file (with extension ".acy") with respect to some parser options. This I/O action is used by the standard action readCurry. It is currently predefined only in Curry2Prolog.

Example call:  (readCurryWithParseOptions progfile options)

Parameters:

progfile - the program file name (without suffix ".curry")

options - parameters passed to the front end

---

readUntypedCurryWithParseOptions :: String -> FrontendParams -> IO CProg   

I/O action which reads an untyped Curry program from a file (with extension ".uacy") with respect to some parser options. For more details see function 'readCurryWithParseOptions'

---

readAbsCurryFile :: String -> IO CProg   

I/O action which reads an Abstract Curry program from a file in ".acy" format. In contrast to readCurry, this action does not parse a source program. Thus, the argument must be the name of an existing file (with suffix ".acy") containing an AbstractCurry program in ".acy" format and the result is a Curry term representing this program.

---

---

Generated by CurryDoc (Version 0.4.1 of June 7, 2007) at Jun 16 17:26:31 2009