curry-base-0.4.2: Functions for manipulating Curry programs

Copyright(c) Björn Peemöller 2014
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Curry.FlatCurry.Files

Description

This module contains functions for reading and writing FlatCurry files.

Synopsis

Documentation

readFlatCurry :: FilePath -> IO (Maybe Prog) Source #

Reads an ExtendedFlat file (extension ".efc") and eventually returns the corresponding FlatCurry program term (type Prog).

readFlatInterface :: FilePath -> IO (Maybe Prog) Source #

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

writeFlatCurry :: FilePath -> Prog -> IO () Source #

Writes a FlatCurry program term into a file.