Exported names:
- Datatypes:
- EquivOption
- Options
- Constructors:
- Autoselect
- Ground
- Manual
- Options
- Safe
- Fields:
- optColor
- optDefType
- optDet
- optEquiv
- optHelp
- optIOTest
- optKeep
- optMainProg
- optMaxFail
- optMaxTest
- optProof
- optProp
- optSource
- optSpec
- optStatFile
- optTime
- optVerb
- Operations:
- defaultOptions
- isQuiet
- options
- processOpts
- putStrIfDetails
- putStrIfNormal
- putStrLnIfDebug
- withColor
Imported modules:

Module CC.Options

Definition and processing of options for CurryCheck

Summary of exported operations:

defaultOptions
                  ::  Options

Deterministic

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

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

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: