elynx-tools-0.0.1: Tools for ELynx

Copyright(c) Dominik Schrempf 2019
LicenseGPL-3
Maintainerdominik.schrempf@gmail.com
Stabilityunstable
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

ELynx.Tools.Options

Contents

Description

Creation date: Fri May 3 18:20:11 2019.

Synopsis

Log file

logHeader :: String -> IO String Source #

Short, globally usable string preceding all logs with obligatory description.

logFooter :: IO String Source #

See logHeader but footer.

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.

data Verbosity Source #

Verbosity levels.

Constructors

Quiet 
Warning 
Info 
Debug 

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.

seedOpt :: Parser (Maybe [Word32]) Source #

Seed option for MWC. Defaults to RANDOM.

Options meta

megaReadM :: Parsec Void String a -> ReadM a Source #

See eitherReader, but for Megaparsec.

Formatting

fillParagraph :: String -> Doc Source #

Fill a string so that it becomes a paragraph with line breaks. Useful for descriptions, headers and footers.