Curry.FlatCurry.Files

This module contains functions for reading and writing FlatCurry files.

Documentation

readTypedFlatCurry :: FilePath -> IO (Maybe (AProg TypeExpr))

Reads an typed FlatCurry file (extension ".tfcy") and eventually returns the corresponding FlatCurry program term (type AProg).

readFlatCurry :: FilePath -> IO (Maybe Prog)

Reads a FlatCurry file (extension ".fcy") and eventually returns the corresponding FlatCurry program term (type Prog).

readFlatInterface :: FilePath -> IO (Maybe Prog)

Reads a FlatInterface file (extension .fint) and returns the corresponding term (type Prog) as a value of type Maybe.

writeFlatCurry :: Show a => FilePath -> a -> IO ()

Writes a FlatCurry program term into a file.