Curry.AbstractCurry.Files

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.

Documentation

readCurry :: FilePath -> IO (Maybe CurryProg)

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

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

Write an AbstractCurry program term into a file.

showCurry :: CurryProg -> String

Show an AbstractCurry program in a nicer way