Module ICurry.Options

Exported Datatypes

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 -> Bool -> String -> String -> String -> Bool -> Int -> Int -> ICOptions

  Fields:

  • 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
  • optTermGraph :: Bool
  • optXMLOutput :: String
  • optGraphOutput :: String
  • optTreeOutput :: String
  • optShowNodeIDs :: Bool
  • optTreeDepth :: Int
  • optMaxSteps :: Int

Exported Functions

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   

Further infos:

• solution complete, i.e., able to compute all solutions