Module PevalOpts

Command line options for the partial evaluator.

Author: Björn Peemöller

Version: April 2015

Summary of exported operations:

defaultOptions
                  ::  Options

the default options.

getOpts
                  ::  IO (Options,[String])

Retrieve the parsed options.

Exported datatypes:

Options

Options to the partial evaluator.

Constructors:

Options :: Bool -> Bool -> Bool -> Bool -> Bool -> Bool -> Verbosity -> ColorMode -> Semantics -> Abstraction -> ProceedMode -> String -> Options
Fields:
- optHelp :: Bool
- optVersion :: Bool
- optDebug :: Bool
- optAssert :: Bool
- optClosed :: Bool
- optFunPats :: Bool
- optVerbosity :: Verbosity
- optColorMode :: ColorMode
- optSemantics :: Semantics
- optAbstract :: Abstraction
- optProceedMode :: ProceedMode
- optSuffix :: String

Verbosity

Verbosity level.

Constructors:

Quiet :: Verbosity
Status :: Verbosity
Info :: Verbosity
Detail :: Verbosity
Debug :: Verbosity

Exported operations:

defaultOptions :: Options

the default options.

Further infos:

solution complete, i.e., able to compute all solutions

getOpts :: IO (Options,[String])

Retrieve the parsed options. This operation only returns if

the @--help@ option was not specified
the @--version@ option was not specified
there were no errors in the specified options.