Module CASS.Options
- Exported Datatypes
- Exported Functions
Imported modules:

Module CASS.Options

Defining and processing tool options of CASS.

Author

Michael Hanus

Version

January 2025

Exported Datatypes:

Options

Exported Functions:

defaultOptions options

Exported Datatypes

data Options

Constructors:

Options :: Bool -> Int -> Bool -> Bool -> Int -> Bool -> Bool -> OutputFormat -> Bool -> Bool -> Bool -> [String] -> [(String, String)] -> Options
Fields:
- optHelp :: Bool
- optVerb :: Int
- optServer :: Bool
- optWorker :: Bool
- optPort :: Int
- optAll :: Bool
- optGenerated :: Bool
- optFormat :: OutputFormat
- optReAna :: Bool
- optStats :: Bool
- optDelete :: Bool
- optNoCurryInfo :: [String]
- optProp :: [(String, String)]

Exported Functions

defaultOptions :: Options

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