-
Exported names:
-
Imported modules:
Module FlatCurry.Typed.Files
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
Author: Kai-Oliver Prott
Version: June 2018
Summary of exported operations:
readTypedFlatCurryAsAnnotated
:: String -> IO (AProg TypeExpr) 
Read a TypedFlatCurry program and convert it to AnnotatedFlatCurry |
readTypedFlatCurry
:: String -> IO TProg
Read a TypedFlatCurry program |
readTypedFlatCurryAsAnnotatedWithParseOptions
:: String -> FrontendParams -> IO (AProg TypeExpr)
Read a TypedFlatCurry program with given FrontendParameters to create the file and convert it to AnnotatedFlatCurry |
readTypedFlatCurryWithParseOptions
:: String -> FrontendParams -> IO TProg
Read a TypedFlatCurry program with given FrontendParameters to create the file |
readTypedFlatCurryFileAsAnnotated
:: String -> IO (AProg TypeExpr)
Read a file containing a TypedFlatCurry representation and convert it to AnnotatedFlatCurry |
readTypedFlatCurryFile
:: String -> IO TProg
Read a file containing a TypedFlatCurry representation. |
Exported operations:
|
Read a TypedFlatCurry program and convert it to AnnotatedFlatCurry |
|
Read a TypedFlatCurry program |
|
Read a TypedFlatCurry program with given FrontendParameters to create the file and convert it to AnnotatedFlatCurry |
|
Read a TypedFlatCurry program with given FrontendParameters to create the file |
|
Read a file containing a TypedFlatCurry representation and convert it to AnnotatedFlatCurry |
|
Read a file containing a TypedFlatCurry representation. |