Module CPM.Query.Options

The options of the CPM querying tool.

Author: Michael Hanus

Version: November 2024

Summary of exported operations:

defaultOptions :: Options  Deterministic 
The default options of the query tool.
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:

CurryEntity

The kind of entity of a Curry module to be queried.

Constructors:

  • Operation :: CurryEntity
  • Type :: CurryEntity
  • Class :: CurryEntity
  • Unknown :: CurryEntity
Options

Constructors:

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

    Fields:

    • optVerb :: Int
    • optHelp :: Bool
    • optEntity :: CurryEntity
    • optCLS :: String
    • optDryRun :: Bool
    • optForce :: Bool
    • optGenerate :: Bool
    • optRequest :: [String]
    • optOutFormat :: String

Exported operations:

defaultOptions :: Options  Deterministic 

The default options of the query tool.

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

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