curry-base-1.2.0: Functions for manipulating Curry programs

Copyright(c) Michael Hanus 2004
Martin Engelke 2005
Björn Peemöller 2014
Finn Teegen 2016
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.AbstractCurry.Files

Description

This library contains I/O actions to read Curry programs and transform them into this abstract representation as well as write them to a file.

Synopsis

Documentation

readCurry :: FilePath -> IO (Maybe CurryProg) Source #

Read an AbstractCurry file and return the corresponding AbstractCurry program term of type CurryProg

writeCurry :: FilePath -> CurryProg -> IO () Source #

Write an AbstractCurry program term into a file.

showCurry :: CurryProg -> String Source #

Show an AbstractCurry program in a nicer way