Copyright | (c) Dominik Schrempf 2019 |
---|---|
License | GPL-3 |
Maintainer | dominik.schrempf@gmail.com |
Stability | unstable |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Creation date: Fri May 3 18:20:11 2019.
Synopsis
- logHeader :: String -> IO String
- logFooter :: IO String
- parseArgumentsWith :: [String] -> [String] -> Parser a -> IO a
- data Verbosity
- data GlobalArguments = GlobalArguments {}
- globalArguments :: Parser GlobalArguments
- seedOpt :: Parser (Maybe [Word32])
- megaReadM :: Parsec Void String a -> ReadM a
- fillParagraph :: String -> Doc
Log file
logHeader :: String -> IO String Source #
Short, globally usable string preceding all logs with obligatory description.
Options
parseArgumentsWith :: [String] -> [String] -> Parser a -> IO a Source #
Parse arguments. Provide a global description, header, footer, and so on. Custom additional description (first argument) and footer (second argument) can be provided. print help if needed.
Verbosity levels.
Instances
Bounded Verbosity Source # | |
Enum Verbosity Source # | |
Defined in ELynx.Tools.Options succ :: Verbosity -> Verbosity # pred :: Verbosity -> Verbosity # fromEnum :: Verbosity -> Int # enumFrom :: Verbosity -> [Verbosity] # enumFromThen :: Verbosity -> Verbosity -> [Verbosity] # enumFromTo :: Verbosity -> Verbosity -> [Verbosity] # enumFromThenTo :: Verbosity -> Verbosity -> Verbosity -> [Verbosity] # | |
Eq Verbosity Source # | |
Ord Verbosity Source # | |
Defined in ELynx.Tools.Options | |
Read Verbosity Source # | |
Show Verbosity Source # | |
data GlobalArguments Source #
A set of global arguments used by all programs. The idea is to provide a common framework for shared arguments.
globalArguments :: Parser GlobalArguments Source #
See GlobalArguments
, parser function.
TODO: Provide global --redo, -r option. Only overwrite files if this option is specified.
Options meta
Formatting
fillParagraph :: String -> Doc Source #
Fill a string so that it becomes a paragraph with line breaks. Useful for descriptions, headers and footers.