Some operations to read type-annotated FlatCurry programs.
Author: Michael Hanus
Version: May 2021
readSimpTypedFlatCurryWithSpec
:: String -> StateT VState 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
:: String -> StateT VState IO (AProg TypeExpr)
Reads a typed FlatCurry program together with a possible _SPEC
program
(containing further contracts).
|
readTypedFlatCurryFromPath
:: String -> String -> IO (Maybe (AProg TypeExpr))
Reads a typed FlatCurry program from the load path or the given path. |
readTypedFlatCurryWithoutForall
:: String -> IO (AProg TypeExpr)
Reads a typed FlatCurry program and remove all leading ForallType
quantifiers from function signatures.
|
stripForall
:: TypeExpr -> TypeExpr
|
getAllFunctions
:: [AFuncDecl TypeExpr] -> [(String,String)] -> StateT VState 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 from the load path or the given path.
All leading |
Reads a typed FlatCurry program and remove all leading
|
|