| Safe Haskell | None |
|---|
CSPM.CommandLineOptions
- data Options = Options {}
- allOptions :: (a -> Options) -> (a -> Options -> a) -> [OptDescr (a -> a)]
- defaultOptions :: Options
- typeCheckerOptions :: (a -> Options) -> (a -> Options -> a) -> [OptDescr (a -> a)]
- setOptions :: CSPMMonad m => Options -> m ()
Documentation
The type of options for libcspm.
Constructors
| Options | |
Fields | |
allOptions :: (a -> Options) -> (a -> Options -> a) -> [OptDescr (a -> a)]Source
All available command line options.
defaultOptions :: OptionsSource
The default set of options.
typeCheckerOptions :: (a -> Options) -> (a -> Options -> a) -> [OptDescr (a -> a)]Source
All options for the type-checker.
setOptions :: CSPMMonad m => Options -> m ()Source
Sets the options to the values given.