Module CC.Options

Definition and processing of options for CurryCheck

Summary of exported operations:

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

Exported datatypes:


Options

Constructors:

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

    Fields:

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

EquivOption

Options for equivalence tests.

Constructors:

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

Exported operations:

defaultOptions :: Options  Deterministic 

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

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

processOpts :: Options -> IO Options  Deterministic 

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

isQuiet :: Options -> Bool  Deterministic 

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

Print second argument if verbosity level is not quiet:

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

Print second argument if verbosity level > 1:

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

Print second argument if verbosity level > 3:

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

use some coloring (from System.Console.ANSI.Codes) if color option is on: