-
Exported names:
-
Imported modules:
Module FlatCurry.ShowIntMod
This module contains various operations to show a FlatCurry program
in human-readable forms, e.g., only the interface or also the
complete program translated back into pattern-based rules.
These operations are used in the Curry Browser and they are
also the basis to implement the :interface
command
of PAKCS or KiCS2.
The interface description contains the type declarations for all entities defined and exported by this module.
The human-readable presentation is (almost) Curry source code generated from a FlatCurry program.
Author: Michael Hanus
Version: February 2023
Summary of exported operations:
showInterface
:: Bool -> Prog -> String 
|
showCurryModule
:: Prog -> String 
|
showCurryDataDecl
:: ((String,String) -> String) -> TypeDecl -> String
|
showCurryFuncDecl
:: ((String,String) -> String) -> ((String,String) -> String) -> FuncDecl -> String
|
leqFunc
:: FuncDecl -> FuncDecl -> Bool
|
showFlatCurry
:: Prog -> String
Show FlatCurry module in pretty-printed form |
showFuncDeclAsCurry
:: FuncDecl -> String
|
showFuncDeclAsFlatCurry
:: FuncDecl -> String
|
funcModule
:: FuncDecl -> String
|
Exported operations:
|
|
|
|
|
|
|
|
|
Show FlatCurry module in pretty-printed form |
|
|
|
|
|
|