Module CASS.Options

Defining and processing tool options of CASS.

Author: Michael Hanus

Version: December 2024

Summary of exported operations:

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

Exported datatypes:

Options

Constructors:

  • Options :: Bool -> Int -> Bool -> Bool -> Int -> Bool -> Bool -> OutputFormat -> Bool -> Bool -> [(String,String)] -> Options

    Fields:

    • optHelp :: Bool
    • optVerb :: Int
    • optServer :: Bool
    • optWorker :: Bool
    • optPort :: Int
    • optAll :: Bool
    • optGenerated :: Bool
    • optFormat :: OutputFormat
    • optReAna :: Bool
    • optDelete :: Bool
    • optProp :: [(String,String)]

Exported operations:

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