-
Exported names:
-
Imported modules:
Module ICurry.Options
Definition and processing of options for the ICurry compiler.
Author: Michael Hanus
Version: July 2021
Summary of exported operations:
defaultICOptions
:: ICOptions 
|
setConsFuns
:: ICOptions -> [(String,[((String,String),(Int,Int))])] -> [(String,[((String,String),Int)])] -> ICOptions
|
addQMap
:: ((String,String),a) -> [(String,Map String a)] -> [(String,Map String a)]
|
qmapLookup
:: (String,String) -> [(String,Map String a)] -> Maybe a
|
arityPosOfCons
:: ICOptions -> (String,String) -> (Int,Int)
|
posOfCons
:: ICOptions -> (String,String) -> Int
|
posOfFun
:: ICOptions -> (String,String) -> Int
|
printStatus
:: ICOptions -> String -> IO ()
|
printIntermediate
:: ICOptions -> String -> IO ()
|
printDetails
:: ICOptions -> String -> IO ()
|
funError
:: ICOptions -> String -> a
|
processOptions
:: String -> [String] -> IO (ICOptions,[String])
Process the actual command line argument and return the options and the name of the main program. |
usageText
:: String
|
options
:: [OptDescr (ICOptions -> ICOptions)]
|
showQName
:: (String,String) -> String
|
Exported datatypes:
ICOptions
Options for the ICurry compiler. Contains mappings from constructor and functions names into locally unique integers and other stuff.
Constructors:
-
ICOptions :: Int -> Bool -> Bool -> String -> String -> Int -> String -> Bool -> Bool -> FrontendParams -> [String] -> [(String,Map String (IArity,Int))] -> [(String,Map String Int)] -> QName -> ICOptionsFields:
-
optVerb :: Int -
optHelp :: Bool -
optLift :: Bool -
optOutput :: String -
optMain :: String -
optShowGraph :: Int -
optViewPDF :: String -
optInteractive :: Bool -
optVarDecls :: Bool -
optFrontendParams :: FrontendParams -
optModsMaps :: [String] -
optConsMap :: [(String,Map String (IArity,Int))] -
optFunMap :: [(String,Map String Int)] -
optFun :: QName
-
Exported operations:
|
|
|
|
|
|
|
|
|
|
|
|
|
Process the actual command line argument and return the options and the name of the main program. |
|
|
|
|