Module CC.Options

Definition and processing of options for CurryCheck

Summary of exported operations:

defaultOptions :: Options   
options :: [OptDescr (Options -> Options)]   
processOpts :: Options -> IO Options   
Further option processing, e.g., setting coloring mode.
isQuiet :: Options -> Bool   
putStrIfNormal :: Options -> String -> IO ()   
Print second argument if verbosity level is not quiet:
putStrIfDetails :: Options -> String -> IO ()   
Print second argument if verbosity level > 1:
putStrLnIfDebug :: Options -> String -> IO ()   
Print second argument if verbosity level > 3:
withColor :: Options -> (String -> String) -> String -> String   
use some coloring (from library AnsiCodes) if color option is on:

Exported datatypes:


Options

Constructors:

  • Options :: Bool -> Int -> Bool -> Int -> Int -> String -> Bool -> Bool -> Bool -> Bool -> Bool -> EquivOption -> Bool -> Bool -> String -> Options

    Fields:

    • optHelp :: Bool
    • optVerb :: Int
    • optKeep :: Bool
    • optMaxTest :: Int
    • optMaxFail :: Int
    • optDefType :: String
    • optSource :: Bool
    • optProp :: Bool
    • optSpec :: Bool
    • optDet :: Bool
    • optProof :: Bool
    • optEquiv :: EquivOption
    • optTime :: Bool
    • optColor :: Bool
    • optMainProg :: String

EquivOption

Options for equivalence tests.

Constructors:

  • Safe :: EquivOption
  • Autoselect :: EquivOption
  • Manual :: EquivOption

Exported operations:

defaultOptions :: Options   

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

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

processOpts :: Options -> IO Options   

Further option processing, e.g., setting coloring mode.

isQuiet :: Options -> Bool   

putStrIfNormal :: Options -> String -> IO ()   

Print second argument if verbosity level is not quiet:

putStrIfDetails :: Options -> String -> IO ()   

Print second argument if verbosity level > 1:

putStrLnIfDebug :: Options -> String -> IO ()   

Print second argument if verbosity level > 3:

withColor :: Options -> (String -> String) -> String -> String   

use some coloring (from library AnsiCodes) if color option is on: