Module CPM.Query.Options

The options of the CPM querying tool.

Author: Michael Hanus

Version: January 2025

Summary of exported operations:

defaultOptions :: Options  Deterministic 
The default options of the query tool.
getDefaultOptions :: IO Options  Deterministic 
The default options with values from the RC file taken into account.
processOptions :: String -> [String] -> IO (Options,[String])  Deterministic 
Process the actual command line arguments and return the options and the name of the main program.
usageText :: String  Deterministic 
printWhenStatus :: Options -> String -> IO ()  Deterministic 
printWhenIntermediate :: Options -> String -> IO ()  Deterministic 
printWhenAll :: Options -> String -> IO ()  Deterministic 

Exported datatypes:

Options

Constructors:

  • Options :: Int -> Bool -> String -> String -> String -> String -> CurryEntity -> String -> Bool -> Bool -> Bool -> Int -> Bool -> String -> [String] -> [String] -> [String] -> [String] -> String -> Bool -> Bool -> String -> Options

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optPackage :: String
    • optVersion :: String
    • optModule :: String
    • optEName :: String
    • optEntity :: CurryEntity
    • optCLS :: String
    • optAll :: Bool
    • optColor :: Bool
    • optDryRun :: Bool
    • optForce :: Int
    • optGenerate :: Bool
    • optGenFrom :: String
    • optCRequests :: [String]
    • optTRequests :: [String]
    • optORequests :: [String]
    • optRequest :: [String]
    • optOutFormat :: String
    • optShowAll :: Bool
    • optRemote :: Bool
    • optRemoteURL :: String

Exported operations:

defaultOptions :: Options  Deterministic 

The default options of the query tool.

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

getDefaultOptions :: IO Options  Deterministic 

The default options with values from the RC file taken into account.

processOptions :: String -> [String] -> IO (Options,[String])  Deterministic 

Process the actual command line arguments and return the options and the name of the main program.

usageText :: String  Deterministic 

printWhenStatus :: Options -> String -> IO ()  Deterministic 

printWhenIntermediate :: Options -> String -> IO ()  Deterministic 

printWhenAll :: Options -> String -> IO ()  Deterministic