Some operations to read type-annotated FlatCurry programs.
Author: Michael Hanus
Version: October 2021
readSimpTypedFlatCurryWithSpec
:: Options -> String -> IO (AProg TypeExpr)
Reads a typed FlatCurry program together with a possible _SPEC
program
(containing further contracts) and simplify some expressions
(see module FlatCurry.Typed.Simplify ).
|
readTypedFlatCurryWithSpec
:: Options -> String -> IO (AProg TypeExpr)
Reads a typed FlatCurry program together with a possible _SPEC
program
(containing further contracts).
|
readTypedFlatCurryWithoutForall
:: String -> IO (AProg TypeExpr)
Reads a typed FlatCurry program and remove all leading ForallType
quantifiers from function signatures.
|
stripForall
:: TypeExpr -> TypeExpr
|
getAllFunctions
:: IORef VState -> [(String,String)] -> IO [AFuncDecl TypeExpr]
Extract all user-defined typed FlatCurry functions that might be called by a given list of functions. |
Reads a typed FlatCurry program together with a possible |
Reads a typed FlatCurry program together with a possible |
Reads a typed FlatCurry program and remove all leading
|
|
Extract all user-defined typed FlatCurry functions that might be called by a given list of functions. |