Module FlatCurry.Typed.Files

Category
meta
Author
Kai-Oliver Prott
Version
June 2018

This library supports meta-programming, i.e., the manipulation of Curry programs in Curry. This library defines I/O actions to read Curry programs and transform them into this representation.

This module is based on FlatCurry.Annotated.Files by Michael Hanus from October 2015

Exported Functions:
readTypedFlatCurryreadTypedFlatCurryAsAnnotatedreadTypedFlatCurryAsAnnotatedWithParseOptionsreadTypedFlatCurryFilereadTypedFlatCurryFileAsAnnotatedreadTypedFlatCurryWithParseOptions

Exported Functions

readTypedFlatCurryAsAnnotated :: String -> IO (AProg TypeExpr)  Deterministic 

Read a TypedFlatCurry program and convert it to AnnotatedFlatCurry

readTypedFlatCurry :: String -> IO TProg  Deterministic 

Read a TypedFlatCurry program

readTypedFlatCurryAsAnnotatedWithParseOptions :: String -> FrontendParams -> IO (AProg TypeExpr)  Deterministic 

Read a TypedFlatCurry program with given FrontendParameters to create the file and convert it to AnnotatedFlatCurry

readTypedFlatCurryWithParseOptions :: String -> FrontendParams -> IO TProg  Deterministic 

Read a TypedFlatCurry program with given FrontendParameters to create the file

readTypedFlatCurryFileAsAnnotated :: String -> IO (AProg TypeExpr)  Deterministic 

Read a file containing a TypedFlatCurry representation and convert it to AnnotatedFlatCurry

readTypedFlatCurryFile :: String -> IO TProg  Deterministic 

Read a file containing a TypedFlatCurry representation.