curry-base-1.1.0: Functions for manipulating Curry programs

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

Curry.FlatCurry.Files

Description

This module contains functions for reading and writing FlatCurry files.

Synopsis

Documentation

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

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

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

Reads a FlatCurry file (extension ".fcy") 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 :: Show a => FilePath -> a -> IO () Source #

Writes a FlatCurry program term into a file.