PAKCS
Exported names: Imported modules:

Module ReadTFCY

This module provides operations for reading TypedFlatCurry files.

Author: Jan Tikovsky

Version: December 2018

Summary of exported operations:

readTFCY :: String -> IO (AProg TypeExpr)   
Parse a Curry program and return corresponding TypedFlatCurry program
readTFCYWithParseOptions :: String -> FrontendParams -> IO (AProg TypeExpr)   
Parse a Curry program with parsing options and return corresponding TypedFlatCurry program
tfcyFile :: String -> String   
Transform name of a Curry program into file name of corresponding TypedFlatCurry program
readTFCYFile :: String -> IO (AProg TypeExpr)   
Reads a TypedFlatCurry program from a file in ".tfcy" format

Exported operations:

readTFCY :: String -> IO (AProg TypeExpr)   

Parse a Curry program and return corresponding TypedFlatCurry program

readTFCYWithParseOptions :: String -> FrontendParams -> IO (AProg TypeExpr)   

Parse a Curry program with parsing options and return corresponding TypedFlatCurry program

tfcyFile :: String -> String   

Transform name of a Curry program into file name of corresponding TypedFlatCurry program

readTFCYFile :: String -> IO (AProg TypeExpr)   

Reads a TypedFlatCurry program from a file in ".tfcy" format