| Safe Haskell | Safe-Infered |
|---|
Yi.Main
Contents
Description
This is the main module of Yi, called with configuration from the user. Here we mainly process command line arguments.
- main :: (Config, ConsoleConfig) -> Maybe Editor -> IO ()
- do_args :: Config -> [String] -> Either Err (Config, ConsoleConfig)
- data ConsoleConfig = ConsoleConfig {
- ghcOptions :: [String]
- selfCheck :: Bool
- data Err = Err String ExitCode
Static main
main :: (Config, ConsoleConfig) -> Maybe Editor -> IO ()Source
Static main. This is the front end to the statically linked
application, and the real front end, in a sense. dynamic_main calls
this after setting preferences passed from the boot loader.
Command line processing
do_args :: Config -> [String] -> Either Err (Config, ConsoleConfig)Source
Transform the config with options
data ConsoleConfig Source
Configuration information which can be set in the command-line, but not in the user's configuration file.
Constructors
| ConsoleConfig | |
Fields
| |