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 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

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 System.Console.ANSI.Codes) if color option is on: