PAKCS
Exported names: Imported modules:

Module Options

Summary of exported operations:

defaultOptions :: Options   
usageText :: String   
options :: [OptDescr (Options -> Options)]   

Exported datatypes:

Options

Constructors:

  • Options :: Bool -> Int -> Bool -> [QName] -> Options

    Fields:

    • optHelp :: Bool
    • optVerb :: Int
    • optStore :: Bool
    • optFunctions :: [QName]

Exported operations:

defaultOptions :: Options   

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

usageText :: String   

options :: [OptDescr (Options -> Options)]